Model Driven Engineering Languages and Systems

1. Front Matter

   PDF

2. Keynote 1

   1. The Value in Muddling Around Modelling

      • Marian Petre

      Pages 1-1

3. Model Transformations 1

   1. Towards Quality Driven Exploration of Model Transformation Spaces

      • Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola

      Pages 2-16

   2. Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation

      • Gerd Kainz, Christian Buckl, Alois Knoll

      Pages 17-31

   3. Lazy Execution of Model-to-Model Transformations

      • Massimo Tisi, Salvador Martínez, Frédéric Jouault, Jordi Cabot

      Pages 32-46

4. Model Complexity

   1. Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework

      • Joanna Chimiak-Opoka

      Pages 47-61

   2. Modeling Model Slicers

      • Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux

      Pages 62-76

   3. Morsa: A Scalable Approach for Persisting and Accessing Large Models

      • Javier Espinazo Pagán, Jesúss Sánchez Cuadrado, Jesús García Molina

      Pages 77-92

5. Aspect-Oriented Modeling

   1. Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain

      • Johan Fabry, Arturo Zambrano, Silvia Gordillo

      Pages 93-107

   2. An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms

      • Shaukat Ali, Lionel C. Briand, Andrea Arcuri, Suneth Walawege

      Pages 108-122

   3. Aspect-Oriented Modelling for Distributed Systems

      • Wisam Al Abed, Jörg Kienzle

      Pages 123-137

6. Analysis and Comprehension of Models

   1. A Precise Style for Business Process Modelling: Results from Two Controlled Experiments

      • Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero

      Pages 138-152

   2. Semantically Configurable Consistency Analysis for Class and Object Diagrams

      • Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

      Pages 153-167

   3. Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension

      • Gabriele Bavota, Carmine Gravino, Rocco Oliveto, Andrea De Lucia, Genoveffa Tortora, Marcela Genero et al.

      Pages 168-182

7. Domain-Specific Modeling

   1. Engineering Android Applications Based on UML Activities

      • Frank Alexander Kraemer

      Pages 183-197

   2. Domain-Specific Model Transformation in Building Quantity Take-Off

      • Jim Steel, Robin Drogemuller

      Pages 198-212

   3. Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks

      • Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel

      Pages 213-227

8. Models for Embedded Systems

   1. A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice

      • Michael Lettner, Michael Tschernuth, Rene Mayrhofer

      Pages 228-242

   2. Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal

      • Ali Koudri, Arnaud Cuccuru, Sebastien Gerard, François Terrier

      Pages 243-257

   3. Semantic Clone Detection for Model-Based Development of Embedded Systems

      • Bakr Al-Batran, Bernhard Schätz, Benjamin Hummel

      Pages 258-272

This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications track). For the first time a new category of research papers, vision papers, are included presenting "outside the box" thinking. The foundations track received 167 full paper submissions, of which 34 were selected for presentation. Out of these, 3 papers were vision papers. The application track received 27 submissions, of which 13 papers were selected for presentation. The papers are organized in topical sections on model transformation, model complexity, aspect oriented modeling, analysis and comprehension of models, domain specific modeling, models for embedded systems, model synchronization, model based resource management, analysis of class diagrams, verification and validation, refactoring models, modeling visions, logics and modeling, development methods, and model integration and collaboration.

• aspect-oriented modeling
• computer supported cooperative work
• formal modeling
• model checking
• software product lines

• School of Computing and Communications, Lancaster University, Lancaster, UK

  Jon Whittle

• School of Engineering and Information Sciences, Middlesex University, London, UK

  Tony Clark

• School of Engineering and Computer Science, Victoria University, Wellington, New Zealand

  Thomas Kühne

Policies and ethics