Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

Front Matter....Pages -
Quantitative Reactive Models....Pages 1-2
Bottom-Up Meta-Modelling: An Interactive Approach....Pages 3-19
FacadeMetamodel: Masking UML....Pages 20-35
 T □ : A Domain Specific Language for Rapid Workflow Development....Pages 36-52
Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time....Pages 53-69
Dynamic Evolution of Context-Aware Systems with Models at Runtime....Pages 70-86
An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements....Pages 87-101
Automated and Transparent Model Fragmentation for Persisting Large Models....Pages 102-118
Formally Defining and Iterating Infinite Models....Pages 119-133
Query-Driven Soft Interconnection of EMF Models....Pages 134-150
Modeling the Linguistic Architecture of Software Products....Pages 151-167
Cross-Language Support Mechanisms Significantly Aid Software Development....Pages 168-184
Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension....Pages 185-201
Incremental Consistency Checking for Complex Design Rules and Larger Model Changes....Pages 202-218
Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment....Pages 219-234
On Integrating Structure and Behavior Modeling with OCL....Pages 235-251
Multi-perspectives on Feature Models....Pages 252-268
Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines....Pages 269-284
Towards Business Application Product Lines....Pages 285-301
Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines....Pages 302-318
The Coroutine Model of Computation....Pages 319-334
Assume-Guarantee Scenarios: Semantics and Synthesis....Pages 335-351
An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development....Pages 352-367
A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software....Pages 368-382
Managing Related Models in Vehicle Control Software Development....Pages 383-398
Detecting Specification Errors in Declarative Languages with Constraints....Pages 399-414
From UML and OCL to Relational Logic and Back....Pages 415-431
On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers....Pages 432-448
ATLTest: A White-Box Test Generation Approach for ATL Transformations....Pages 449-464
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis....Pages 465-479
Seeing Errors: Model Driven Simulation Trace Visualization....Pages 480-496
A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data....Pages 497-513
Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System....Pages 514-530
Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines....Pages 531-545
Generation of Operational Transformation Rules from Examples of Model Transformations....Pages 546-561
Using Feature Model to Build Model Transformation Chains....Pages 562-578
A Generic Approach Simplifying Model-to-Model Transformation Chains....Pages 579-594
An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling....Pages 595-608
Model Matching for Trace Link Generation in Model-Driven Software Development....Pages 609-625
Matching Business Process Workflows across Abstraction Levels....Pages 626-641
Experiences of Applying UML/MARTE on Three Industrial Projects....Pages 642-658
Cost Estimation for Model-Driven Engineering....Pages 659-675
Evaluating the Effort of Composing Design Models: A Controlled Experiment....Pages 676-691
Transition to Model-Driven Engineering....Pages 692-708
Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions....Pages 709-725
A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study....Pages 726-742
Sensitivity Analysis in Model-Driven Engineering....Pages 743-758
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing....Pages 759-775
Weaving-Based Configuration and Modular Transformation of Multi-layer Systems....Pages 776-792
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering....Pages 793-809
An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design....Pages 810-826
Back Matter....Pages -