Modelling Foundations and Applications

1. Front Matter

   PDF

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

   14. A MOF-Based Framework for Defining Metrics to Measure the Quality of Models

       • Tao Yue, Shaukat Ali

       Pages 213-229

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

   2. Towards an Infrastructure for Domain-Specific Languages in a Multi-domain Cloud Platform

      • Thomas Goldschmidt

      Pages 242-253

   3. Experiences with Business Process Model and Notation for Modeling Integration Patterns

      • Daniel Ritter

      Pages 254-266

4. Back Matter

   PDF

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

• Computer Science Department, AtlanMod team (Inria, Mines Nantes, LINA), École des Mines de Nantes, Nantes Cedex 3, France

  Jordi Cabot

• IBM Research, Haifa University Campus, Haifa, Israel

  Julia Rubin

Policies and ethics