Model Driven Engineering Languages and Systems: 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings

Front Matter....Pages -
The Value in Muddling Around Modelling....Pages 1-1
Towards Quality Driven Exploration of Model Transformation Spaces....Pages 2-16
Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation....Pages 17-31
Lazy Execution of Model-to-Model Transformations....Pages 32-46
Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework....Pages 47-61
Modeling Model Slicers....Pages 62-76
Morsa: A Scalable Approach for Persisting and Accessing Large Models....Pages 77-92
Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain....Pages 93-107
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms....Pages 108-122
Aspect-Oriented Modelling for Distributed Systems....Pages 123-137
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments....Pages 138-152
Semantically Configurable Consistency Analysis for Class and Object Diagrams....Pages 153-167
Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension....Pages 168-182
Engineering Android Applications Based on UML Activities....Pages 183-197
Domain-Specific Model Transformation in Building Quantity Take-Off....Pages 198-212
Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks....Pages 213-227
A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice....Pages 228-242
Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal....Pages 243-257
Semantic Clone Detection for Model-Based Development of Embedded Systems....Pages 258-272
Instant and Incremental QVT Transformation for Runtime Models....Pages 273-288
Service–Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior....Pages 289-303
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case....Pages 304-318
Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches....Pages 319-333
A Model-Based and Automated Approach to Size Estimation of Embedded Software Components....Pages 334-348
MDE to Manage Communications with and between Resource-Constrained Systems....Pages 349-363
Diagram Definition: A Case Study with the UML Class Diagram....Pages 364-378
Reducing Multiplicities in Class Diagrams....Pages 379-393
Creating Models for Simulating the Face....Pages 394-394
EUnit: A Unit Testing Framework for Model Management Tasks....Pages 395-409
Verifying UML-RT Protocol Conformance Using Model Checking....Pages 410-424
Model-Based Coverage-Driven Test Suite Generation for Software Product Lines....Pages 425-439
Constraint-Based Model Refactoring....Pages 440-454
Supporting Design Model Refactoring for Improving Class Responsibility Assignment....Pages 455-469
Vision Paper: The Essence of Structural Models....Pages 470-479
Vision Paper: Towards Model-Based Energy Testing....Pages 480-489
Vision Paper: Make a Difference! (Semantically)....Pages 490-500
Automatic Derivation of Utility Functions for Monitoring Software Requirements....Pages 501-516
Logic-Based Model-Level Software Development with F-OML....Pages 517-532
Formal Verification of QVT Transformations for Code Generation....Pages 533-547
Model-Based (Mechanical) Product Design....Pages 548-562
Applying a Model-Based Approach to IT Systems Development Using SysML Extension....Pages 563-577
Early Experience with Agile Methodology in a Model-Driven Approach....Pages 578-590
Finding Models in Model-Based Development....Pages 591-591
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited....Pages 592-607
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?....Pages 608-622
Towards a General Composition Semantics for Rule-Based Model Transformation....Pages 623-637
Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible....Pages 638-652
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs....Pages 653-667
Correctness of Model Synchronization Based on Triple Graph Grammars....Pages 668-682
A Toolchain for the Detection of Structural and Behavioral Latent System Properties....Pages 683-698
Defining MARTE’s VSL as an Extension of Alf....Pages 699-713
Using Delta Model for Collaborative Work of Industrial Large-Scaled E/E Architecture Models....Pages 714-728
Back Matter....Pages -