This book is part II of a two-volume work that contains the refereed proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, MODELS 2010, held in Oslo, Norway, during October 3-8, 2010. The 54 revised full papers presented were carefully reviewed and selected from 252 submissions. The papers are organized in topical sections on genericity and generalization, model migration and incremental manipulation, modeling model transformations, verifying consistency and conformance, taming modeling complexity, modeling user-system interaction, model-driven quality assurance, managing variability, multi-modeling approaches, distributed/embedded software development, (de)composition and refactoring, model change, (meta)models at runtime, requirements engineering, slicing and model transformations, incorporating quality concerns in MDD, model-driven engineering in practice, and modeling architecture.
Author(s): Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen
Edition: 1st Edition.
Publisher: Springer
Year: 2010
Language: English
Pages: 439
Front matter......Page 1
Modeling the Internet......Page 19
Introduction......Page 20
Request Flows and Flow Signatures......Page 22
Models and Transformations of RPAs......Page 23
Performance Estimates ($PROF$ Transformation)......Page 24
Task Parallelism ($PIPE$ Transformation)......Page 25
Data Parallelism ($REP$ Transformation)......Page 26
Case Studies......Page 28
The $FT$ Application......Page 29
Experimental Results......Page 30
Extensibility of Lagniappe......Page 31
Related Work......Page 32
References......Page 33
Introduction......Page 35
Modeling Process Behavior......Page 37
Modelling Process Interaction......Page 39
Behavior Comparison......Page 42
Checking Service Compatiblity......Page 43
Design for Service Compatibility......Page 47
Related Work and Conclusion......Page 48
References......Page 49
Problems and Challenges in Embedded Systems Development......Page 50
Proposed Solution......Page 52
Language Workbenches and JetBrains MPS......Page 53
Proof of Concept......Page 56
Discussion......Page 61
Future Work......Page 62
Related Work......Page 63
References......Page 64
Introduction......Page 65
Motivating Example......Page 67
ModelSoC for Multi-dimensional SoC in MDSD......Page 69
Multi-format Units: Realisation of Concerns in Different Formats......Page 70
Meta-level Concern Mappings and Compositions......Page 71
Implementation Based on Reuseware......Page 73
Example Realisation and Discussion......Page 75
Related Work......Page 77
Conclusion......Page 78
References......Page 79
Introduction......Page 81
Motivating Example: A (not so) Simple Log Aspect......Page 82
A Simple Metamodel for Pointcut-Based Weavers......Page 85
A Metamodel for Sharing of Introduced Model Elements......Page 86
Implementation of Advice Sharing......Page 88
Using Flexible Introduction Policies to Implement Recovery......Page 90
Related Work......Page 92
References......Page 94
Introduction......Page 96
Related Work......Page 97
Specifying Refactorings with Role Models......Page 99
Specifying Structural Constraints Using Role Models......Page 100
Role Mappings......Page 102
Executing Refactorings......Page 103
Preserving Semantics......Page 105
Evaluation......Page 106
Conclusion and Future Work......Page 108
References......Page 109
Introduction......Page 111
Motivation......Page 112
Process Structure Tree......Page 114
Process Models Terms......Page 115
Syntactic and Semantic Conflicts of Change Operations......Page 116
Computation of Conflicting Change Operations......Page 117
Conflict Detection of Independent Change Operations......Page 118
Conflict Detection of Dependent Change Operations......Page 120
Related Work......Page 123
References......Page 124
Introduction......Page 126
Example and Terminology......Page 127
Problem......Page 129
Conceptual Solution......Page 130
Model-Independent Difference Representation......Page 131
Symbolic References......Page 132
Model Descriptors......Page 133
Abstracting Atomic Changes to Semantic Changes......Page 134
Change Application: Initial Matching......Page 136
Implementation and Evaluation......Page 137
Related Work......Page 138
References......Page 139
Introduction......Page 141
Illustrative Example......Page 142
Related Work......Page 144
User Actions and Impact......Page 145
Naïve but Unscalable Solution......Page 146
Part 1: Incremental Consistency Checking......Page 147
Part 2: Incremental Version Exploration......Page 148
Validation......Page 151
Scalability Drivers......Page 152
Memory Consumption......Page 153
Conclusion......Page 154
References......Page 155
Introduction......Page 156
Live Feature Analysis with Partial Behavioral Reflection......Page 158
Feature Annotation......Page 160
Model-at-Runtime......Page 161
Towards Optional Tracing......Page 162
Live Analysis......Page 163
Growing Features......Page 164
Number of Events Generated......Page 165
Related Work......Page 166
Conclusions and Future Work......Page 167
References......Page 169
Introduction......Page 171
Architecture of a Metamodel-Based Integration Framework......Page 172
Example Domain......Page 173
Model Level Interaction......Page 174
Concepts of a Metamodel-Based Information Integration Tool......Page 175
Metamodel Level Concepts......Page 177
Model Level Concepts......Page 178
Instance-Level Concepts......Page 180
Tool Support and Experience......Page 182
References......Page 184
Introduction......Page 186
Motivating Example......Page 187
Inferring Meta-Models from the API Clients......Page 189
Extracting Data Transition Graphs......Page 190
The Meta-model Inferring Algorithm......Page 192
Simplifying the Raw Meta-model......Page 194
The JOnAS Case Study......Page 196
Experiment Evaluation......Page 197
Related Work......Page 198
Conclusion......Page 199
References......Page 200
Introduction......Page 201
Foundation and Related Work......Page 203
REMsES......Page 206
REMbIS......Page 207
Analysis and Inference......Page 209
Meta Model for Artefact-Oriented RE......Page 210
Discussion......Page 212
References......Page 214
Introduction......Page 216
Background: Big-Step Modelling Languages (BSMLs)......Page 217
Synchronization Syntax......Page 219
Synchronization Types and Semantics......Page 220
Modelling Multi-source, Multi-destination Transitions......Page 222
Modelling BSML Semantic Variations......Page 223
Modelling Composition Operators......Page 224
Modelling Signals and Negations of Signals......Page 226
Related Work......Page 228
Conclusion and Future Work......Page 229
References......Page 230
Introduction......Page 231
Research Method......Page 232
Identifying and Selecting Primary Studies......Page 233
Data Extraction Strategy......Page 234
Results......Page 236
Threats to Validity......Page 241
Conclusions and Future Work......Page 242
References......Page 243
Introduction......Page 246
Slicing of Class Diagrams......Page 247
Behaviour State Machine Slicing......Page 255
Slicing of Communicating State Machines......Page 258
References......Page 259
Introduction......Page 261
Comparison of OWL and Ecore Fundamentals......Page 262
Class Hierarchy......Page 264
Properties......Page 265
Local Restrictions......Page 266
Property Characteristics......Page 268
Further Modeling Primitives......Page 269
OWL 2 Modeling Primitives......Page 270
Realization of an Adjustable Transformation......Page 272
Related Work......Page 273
Conclusion......Page 274
References......Page 275
Introduction......Page 276
Related Work......Page 277
Example Input and Output Model......Page 278
Mapping Rules......Page 280
Description of the Solutions......Page 281
Conceptual Classification......Page 284
Design Specific Classification......Page 285
Language Specific Classification......Page 286
Tool Specific Classification......Page 287
Quantitative Evaluation......Page 288
Conclusions......Page 289
References......Page 290
Introduction......Page 291
Heterogeneity......Page 293
A Common Abstract Syntax......Page 294
The Actor Abstract Semantics......Page 295
Execution Control......Page 296
Communication......Page 297
Models of Time......Page 298
Models of Computation......Page 299
Related Work......Page 301
References......Page 303
Introduction......Page 306
Related Work......Page 307
A Quality-Driven Model Transformations Architecture......Page 308
The Quality Model......Page 309
The Transformations Model......Page 310
Design Guidelines......Page 311
Refactoring of Transformation Rules......Page 312
Defining Transformation Rules......Page 313
Avoiding Conflicts among Rules......Page 314
Identifying Alternative Transformations......Page 315
Top-Level and Non-top Level Rule Definition......Page 316
The Transformations Model......Page 317
Applying the Transformation......Page 318
Conclusions and Further Work......Page 319
References......Page 320
Introduction......Page 321
Issues in Detecting Deviations in Modeling Activities......Page 322
Requirements and Architecture for Process Deviation Detection Environments......Page 324
Praxis......Page 325
PraxisRules......Page 326
Prototype Implementation......Page 329
Case Study: A Process for Refactoring Models into MVC......Page 330
Case Study and Prototype Evaluation......Page 332
Related Work......Page 333
References......Page 334
Introduction......Page 336
Experiment Definition and Planning......Page 337
Experiment Planning......Page 338
Hypothesis......Page 341
Basic Views......Page 342
Process Guidance View......Page 343
Execution of the Experiment......Page 344
Results and Analysis......Page 345
Discussion......Page 346
Conclusion......Page 347
References......Page 348
Introduction......Page 349
Our Model-Driven Development Approach......Page 351
MDE Infrastructure......Page 352
Modeling Infrastructure......Page 353
Model Transformation Infrastructure......Page 355
Building Blocks......Page 356
Component-Based Development......Page 357
Delta-Driven Processes......Page 358
Commonality and Variability......Page 360
Discussion......Page 361
References......Page 363
Introduction......Page 364
Introducing Mod4J......Page 365
Evaluation Criteria......Page 366
Case Selection......Page 367
Criteria Evaluation......Page 368
Conformance to the Reference Architecture......Page 369
Functional Requirement Satisfaction......Page 371
Reduction of Hand-Written Code......Page 372
Discussion......Page 375
Related Work......Page 376
References......Page 377
Introduction......Page 379
Pure Modeling Concepts......Page 380
The OMG Approach to Modeling Concepts and Relationships......Page 382
OO Modeling Issues......Page 383
Model Layers Issues......Page 385
Metamodeling Issues......Page 387
Conclusions......Page 389
References......Page 390
Introduction......Page 394
Approach......Page 395
Meta-model......Page 397
Transformation to Alloy Specification......Page 398
Architectural Mapping......Page 399
Case Study......Page 400
The Abstract Syntax Definition for Lunar-Lander......Page 401
Satisfying Architectural Models......Page 402
Related Work......Page 404
Conclusion......Page 406
References......Page 407
Introduction......Page 409
Application Domain: Distributed Sensor / Actuator Systems......Page 410
Approach......Page 412
Modeling of the Attributes Used to Describe Components......Page 413
Specification of the Available Components......Page 415
Creation of the Application through Selection of Components......Page 417
Implementation Details......Page 418
Code Generation......Page 419
Related Work......Page 420
References......Page 422
Introduction......Page 424
Our Case – A Unit Developing Base Stations......Page 426
Validation......Page 427
Single Common View of the System Built......Page 428
Coordination of Interfaces......Page 429
Free Form Annotation and Diagramming......Page 430
Support for Hyperlinks, Drill Down, and Tagging......Page 431
Integration Point Interlocking......Page 432
Recognition of SAD Evolution......Page 433
Generality of Findings......Page 434
Related Work......Page 435
References......Page 436
Back matter......Page 438
