A research roadmap towards achieving scalability in model driven engineering

As Model-Driven Engineering (MDE) is increasingly applied to larger and more complex systems, the current generation of modelling and model management technologies are being pushed to their limits in terms of capacity and efficiency. Additional research and development is imperative in order to enable MDE to remain relevant with industrial practice and to continue delivering its widely recognised productivity, quality, and maintainability benefits. Achieving scalability in modelling and MDE involves being able to construct large models and domain-specific languages in a systematic manner, enabling teams of modellers to construct and refine large models in a collaborative manner, advancing the state of the art in model querying and transformations tools so that they can cope with large models (of the scale of millions of model elements), and providing an infrastructure for efficient storage, indexing and retrieval of large models. This paper attempts to provide a research roadmap for these aspects of scalability in MDE and outline directions for work in this emerging research area.

[1]  Niels Pinkwart,et al.  A Plug-In Architecture for Graph Based Collaborative Modeling Systems , 2003 .

[2]  Markus L. Noga,et al.  Lazy XSL transformations , 2003, DocEng '03.

[3]  Manuel Clavel,et al.  ECEASST Building an Efficient Component for OCL Evaluation , 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[4]  Gabriele Taentzer,et al.  A Component Concept for Typed Graphs with Inheritance and Containment Structures , 2010, ICGT.

[5]  Dániel Varró,et al.  Graph Transformation and Visual Modeling Techniques ( GT-VMT 2009 ) Parallelization of Graph Transformation Based on Incremental Pattern Matching , 2009 .

[6]  César A. Collazos,et al.  An ontological conceptualization approach for awareness in domain-independent collaborative modeling systems: Application to a model-driven development method , 2011, Expert Syst. Appl..

[7]  Parastoo Mohagheghi,et al.  Where Is the Proof? - A Review of Experiences from Applying MDE in Industry , 2008, ECMDA-FA.

[8]  Juan de Lara,et al.  Bottom-up meta-modelling: an interactive approach , 2012, MODELS'12.

[9]  Simon L. Peyton Jones,et al.  A history of Haskell: being lazy with class , 2007, HOPL.

[10]  Richard F. Paige,et al.  The Grand Challenge of Scalability for Model Driven Engineering , 2009, MoDELS.

[11]  Daniel Grund,et al.  GrGen: A Fast SPO-Based Graph Rewriting Tool , 2006, ICGT.

[12]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[13]  Olivier Barais,et al.  Active operations on collections , 2010, MODELS'10.

[14]  Antonio Cicchetti,et al.  A Test-Driven Approach for Metamodel Development , 2011 .

[15]  Ari Jaaksi,et al.  Developing Mobile Browsers in a Product Line , 2002, IEEE Softw..

[16]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[17]  Jordi Cabot,et al.  Incremental Evaluation of OCL Constraints , 2006, CAiSE.

[18]  Wladyslaw M. Turski,et al.  No Silver Bullet - Essence and Accidents of Software Engineering - Response , 1986, IFIP Congress.

[19]  Juha Kärnä,et al.  Evaluating the Use of Domain-Specific Modeling in Practice , 2009 .

[20]  Michael Lawley,et al.  Incremental model transformation for the evolution of model-driven systems , 2006, MoDELS'06.

[21]  Antoni Olivé,et al.  An approach to testing conceptual schemas , 2010, Data Knowl. Eng..

[22]  Peter Henderson,et al.  A lazy evaluator , 1976, POPL.

[23]  E. Visser,et al.  Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation Systems , 2003 .

[24]  Andy Schürr,et al.  Formal Definition of MOF 2.0 Metamodel Components and Composition , 2008, MoDELS.

[25]  Eelco Visser,et al.  Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9 , 2003, Domain-Specific Program Generation.

[26]  Jeffrey G. Gray,et al.  Key Challenges for Modeling Language Creation By Demonstration , 2011 .

[27]  Dániel Varró,et al.  The model transformation language of the VIATRA2 framework , 2007, Sci. Comput. Program..

[28]  Juan de Lara,et al.  Tools of model transformation by graph transformation: A comparative study , 2012, International Conference on Education and e-Learning Innovations.

[29]  Frédéric Jouault,et al.  Model Driven Management of Complex Systems: Implementing the Macroscope's Vision , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[30]  Gerti Kappel,et al.  AMOR – Towards Adaptable Model Versioning , 2008 .

[31]  Jesús Sánchez Cuadrado,et al.  Morsa: a scalable approach for persisting and accessing large models , 2011, MODELS'11.

[32]  Ákos Horváth,et al.  Query-driven soft interconnection of EMF models , 2012, MODELS'12.

[33]  Manuel Clavel,et al.  Building an Efficient Component for OCL Evaluation , 2008 .

[34]  Mark Minas,et al.  Structure, Abstraction, and Direct Manipulation in Diagram Editors , 2002, Diagrams.

[35]  Holger Giese,et al.  From model transformation to incremental bidirectional model synchronization , 2009, Software & Systems Modeling.

[36]  Jordi Cabot,et al.  Community-driven language development , 2012, 2012 4th International Workshop on Modeling in Software Engineering (MISE).

[37]  Raimund Dachselt,et al.  Towards seamless semantic zooming techniques for UML diagrams , 2008, SOFTVIS.

[38]  Dániel Varró,et al.  Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans , 2006, GRaMoT@GPCE.

[39]  T. Reiter,et al.  Towards a semantic infrastructure supporting model-based tool integration , 2006, GaMMa '06.

[40]  Eric Armengaud,et al.  Model-based Toolchain for the Efficient Development of Safety-Relevant Automotive Embedded Systems , 2011 .

[41]  Dániel Varró,et al.  Change-driven model transformations , 2011, Software & Systems Modeling.

[42]  Dongxi Liu,et al.  Towards automatic model synchronization from model transformations , 2007, ASE.

[43]  Ákos Horváth,et al.  A model-driven framework for guided design space exploration , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

[44]  Steffen Zschaler,et al.  On Language-Independent Model Modularisation , 2009, LNCS Trans. Aspect Oriented Softw. Dev..

[45]  Márk Asztalos,et al.  Manual and automated performance optimization of model transformation systems , 2010, International Journal on Software Tools for Technology Transfer.

[46]  Jordi Cabot,et al.  Virtual Composition of EMF Models , 2011 .

[47]  Manuel Wimmer,et al.  A survey on model versioning approaches , 2009, Int. J. Web Inf. Syst..

[48]  Juan de Lara,et al.  Abstracting Modelling Languages: A Reutilization Approach , 2012, CAiSE.

[49]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[50]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[51]  Ákos Horváth,et al.  Incremental evaluation of model queries over EMF models , 2010, MODELS'10.

[52]  Jean Bézivin,et al.  Towards an advanced model-driven engineering toolbox , 2009, Innovations in Systems and Software Engineering.

[53]  Richard F. Paige,et al.  Concordance: A Framework for Managing Model Integrity , 2010, ECMFA.

[54]  Jonas Helming,et al.  EMFStore: a model repository for EMF models , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.