Model-Driven Engineering Languages and Systems

17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings

  • Juergen Dingel
  • Wolfram Schulte
  • Isidro Ramos
  • Silvia Abrahão
  • Emilio Insfran
Conference proceedings MODELS 2014

DOI: 10.1007/978-3-319-11653-2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8767)

Table of contents (41 papers)

  1. Front Matter
  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
    2. An Evaluation of the Effectiveness of the Atomic Section Model
      Sunitha Thummala, Jeff Offutt
      Pages 35-49
  3. Model Transformation 1

    1. Parsing in a Broad Sense
      Vadim Zaytsev, Anya Helene Bagge
      Pages 50-67
    2. Streaming Model Transformations By Complex Event Processing
      István Dávid, István Ráth, Dániel Varró
      Pages 68-83
    3. On the Use of Signatures for Source Incremental Model-to-text Transformation
      Babajide Ogunyomi, Louis M. Rose, Dimitrios S. Kolovos
      Pages 84-98
  4. Behavioral Modeling

    1. Semantic Model Differencing Utilizing Behavioral Semantics Specifications
      Philip Langer, Tanja Mayerhofer, Gerti Kappel
      Pages 116-132
    2. 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
  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
    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
    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
  6. Formal Semantics, Specification and Verification

  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
    2. Modelling Adaptation Policies as Domain-Specific Constraints
      Hui Song, Xiaodong Zhang, Nicolas Ferry, Franck Chauvel, Arnor Solberg, Gang Huang
      Pages 269-285
    3. Scalable Armies of Model Clones through Data Sharing
      Erwan Bousse, Benoit Combemale, Benoit Baudry
      Pages 286-301
  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

About these proceedings


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

Editors and affiliations

  • Juergen Dingel
    • 1
  • Wolfram Schulte
    • 2
  • Isidro Ramos
    • 3
  • Silvia Abrahão
    • 3
  • Emilio Insfran
    • 3
  1. 1.Queen’s UniversityKingstonCanada
  2. 2.Microsoft ResearchRedmondUSA
  3. 3.Universitat Politècnica de ValènciaSpain

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-11652-5
  • Online ISBN 978-3-319-11653-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349