Model-Driven Engineering Languages and Systems

1. Front Matter

   PDF

2. Cloud, Mobile and Web Computing

   1. Model-Driven Development of Mobile Applications Allowing Role-Driven Variants

      • Steffen Vaupel, Gabriele Taentzer, Jan Peer Harries, Raphael Stroh, René Gerlach, Michael Guckert

      Pages 1-17

      PDF

   2. A Model-Based System to Automate Cloud Resource Allocation and Optimization

      • Yu Sun, Jules White, Sean Eade

      Pages 18-34

      PDF

   3. An Evaluation of the Effectiveness of the Atomic Section Model

      • Sunitha Thummala, Jeff Offutt

      Pages 35-49

      PDF

3. Model Transformation 1

   1. Parsing in a Broad Sense

      • Vadim Zaytsev, Anya Helene Bagge

      Pages 50-67

      PDF

   2. Streaming Model Transformations By Complex Event Processing

      • István Dávid, István Ráth, Dániel Varró

      Pages 68-83

      PDF

   3. On the Use of Signatures for Source Incremental Model-to-text Transformation

      • Babajide Ogunyomi, Louis M. Rose, Dimitrios S. Kolovos

      Pages 84-98

      PDF

4. Behavioral Modeling

   1. Modeling Systemic Behavior by State-Based Holonic Modular Units

      • Luca Pazzi

      Pages 99-115

      PDF

   2. Semantic Model Differencing Utilizing Behavioral Semantics Specifications

      • Philip Langer, Tanja Mayerhofer, Gerti Kappel

      Pages 116-132

      PDF

   3. Formalizing Execution Semantics of UML Profiles with fUML Models

      • Jérémie Tatibouët, Arnaud Cuccuru, Sébastien Gérard, François Terrier

      Pages 133-148

      PDF

5. MDE: Past, Present and Future

   1. Who Knows/Uses What of the UML: A Personal Opinion Survey

      • Gianna Reggio, Maurizio Leotta, Filippo Ricca

      Pages 149-165

      PDF

   2. Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain

      • Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner, Jörgen Hansson

      Pages 166-182

      PDF

   3. The Relevance of Model-Driven Engineering Thirty Years from Now

      • Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H. C. Cheng, Philippe Collet et al.

      Pages 183-200

      PDF

6. Formal Semantics, Specification and Verification

   1. Model-Driven Verifying Compilation of Synchronous Distributed Applications

      • Sagar Chaki, James Edmondson

      Pages 201-217

      PDF

   2. Environment-Centric Contracts for Design of Cyber-Physical Systems

      • Jonas Westman, Mattias Nyberg

      Pages 218-234

      PDF

   3. Removing Redundancies and Deducing Equivalences in UML Class Diagrams

      • Azzam Maraee, Mira Balaban

      Pages 235-251

      PDF

7. Models at Runtime

   1. A Native Versioning Concept to Support Historized Models at Runtime

      • Thomas Hartmann, Francois Fouquet, Gregory Nain, Brice Morin, Jacques Klein, Olivier Barais et al.

      Pages 252-268

      PDF

   2. Modelling Adaptation Policies as Domain-Specific Constraints

      • Hui Song, Xiaodong Zhang, Nicolas Ferry, Franck Chauvel, Arnor Solberg, Gang Huang

      Pages 269-285

      PDF

   3. Scalable Armies of Model Clones through Data Sharing

      • Erwan Bousse, Benoit Combemale, Benoit Baudry

      Pages 286-301

      PDF

8. Feature and Variability Modeling

   1. Three Cases of Feature-Based Variability Modeling in Industry

      • Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, Andrzej Wąsowski

      Pages 302-319

      PDF

This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web computing, model transformation behavioral modeling, MDE: past, present, future, formal semantics, specification, and verification, models at runtime, feature and variability modeling, composition and adaptation, practices and experience, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.

• Web applications
• android
• automatic code generation
• cloud computing
• component-based modeling
• context-aware
• domain-specific language
• embedded systems
• genetic programming
• graph transformations
• model checking
• model driven software development
• model transformation
• model-driven engineering
• resource optimization
• software product lines
• variability models
• virtual testing
• visual notation

• Queen’s University, Kingston, Canada

  Juergen Dingel

• Microsoft Research, Redmond, USA

  Wolfram Schulte

• Universitat Politècnica de València, Spain

  Isidro Ramos, Silvia Abrahão, Emilio Insfran

Policies and ethics