Modelling Foundations and Applications

10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

  • Jordi Cabot
  • Julia Rubin
Conference proceedings ECMFA 2014

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

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

Table of contents (17 papers)

  1. Front Matter
  2. Foundations

    1. Efficient Model Synchronization with View Triple Graph Grammars
      Anthony Anjorin, Sebastian Rose, Frederik Deckwerth, Andy Schürr
      Pages 1-17
    2. Level-Agnostic Designation of Model Elements
      Colin Atkinson, Ralph Gerbig
      Pages 18-34
    3. Towards Scalable Querying of Large-Scale Models
      Konstantinos Barmpis, Dimitrios S. Kolovos
      Pages 35-50
    4. OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL
      Wei Dou, Domenico Bianculli, Lionel Briand
      Pages 51-66
    5. Interpretation of Linguistic Architecture
      Ralf Lämmel, Andrei Varanovich
      Pages 67-82
    6. Alloy4SPV : A Formal Framework for Software Process Verification
      Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais
      Pages 83-100
    7. Sensor Data Visualisation: A Composition-Based Approach to Support Domain Variability
      Ivan Logre, Sébastien Mosser, Philippe Collet, Michel Riveill
      Pages 101-116
    8. Identifying and Visualising Commonality and Variability in Model Variants
      Jabier Martinez, Tewfik Ziadi, Jacques Klein, Yves le Traon
      Pages 117-131
    9. Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio
      Antonio Moreno-Delgado, Francisco Durán, Steffen Zschaler, Javier Troya
      Pages 132-147
    10. Language-Independent Traceability with Lässig
      Rolf-Helge Pfeiffer, Jan Reimann, Andrzej Wąsowski
      Pages 148-163
    11. A Family-Based Framework for i-DSML Adaptation
      Samson Pierre, Eric Cariou, Olivier Le Goaer, Franck Barbier
      Pages 164-179
    12. Normalizing Heterogeneous Service Description Models with Generated QVT Transformations
      Simon Schwichtenberg, Christian Gerth, Zille Huma, Gregor Engels
      Pages 180-195
    13. Towards the Systematic Construction of Domain-Specific Transformation Languages
      Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara
      Pages 196-212
  3. Applications

    1. Neo4EMF, A Scalable Persistence Layer for EMF Models
      Amine Benelallam, Abel Gómez, Gerson Sunyé, Massimo Tisi, David Launay
      Pages 230-241
  4. Back Matter

About these proceedings


This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation track papers and the 3 applications track papers presented in this volume were carefully reviewed and selected from 58 submissions. They are on all aspects of MDE, including topics such as model provenance; model transformations and code generation; model synthesis; model-driven testing; formal modeling approaches; business modeling; and usability of models.


UML business process management systems business process modeling business process monitoring domain-specific languages formal methods middleware model-driven engineering ontologies software product lines

Editors and affiliations

  • Jordi Cabot
    • 1
  • Julia Rubin
    • 2
  1. 1.Computer Science DepartmentAtlanMod team (Inria, Mines Nantes, LINA), École des Mines de NantesNantes Cedex 3France
  2. 2.IBM ResearchHaifa University CampusHaifaIsrael

Bibliographic information

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