Dimitrios S. Kolovos
Juan De Lara
Jordi Cabot
ABSTRACT
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.
- Frederick P. Brooks, Jr. No silver bullet essence and accidents of software engineering. Computer, 20(4):10--19, April 1987. Google Scholar
Digital Library
- Jean Bezivin. On the Unification Power of Models. Software and System Modeling (SoSym), 4(2):171--188, 2005.Google Scholar
- D. Schmidt. Model-driven engineering. IEEE Computer, 39(2):25, 2006.Google ScholarDigital Library
- Jaaksi, A. Developing Mobile Browsers in a Product Line. IEEE Software, pages 73--80, July/August 2002. Google ScholarDigital Library
- J Karna, J-P Tolvanen, S Kelly. Evaluating the Use of Domain-Specific Modeling in Practice. In Proc 9th Workshop on Domain-Specific Modeling, 2009.Google Scholar
- Parastoo Mohagheghi, Vegard Dehlen. Where is the Proof? - A Review of Experiences from Applying MDE in Industry. In Schieferdecker, Ina and Hartman, Alan, editor, Proc. 4th European Conference on Model Driven Architecture, Foundations and Applications (ECMDA-FA), volume 5095 of Lecture Notes in Computer Science, pages 432--443. Springer Berlin/Heidelberg, 2008. Google ScholarDigital Library
- Mikaël Barbero, Frédéric Jouault, and Jean Bézivin. Model driven management of complex systems: Implementing the macroscopes vision. In 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), pages 277--286. IEEE Computer Society, 2008. Google ScholarDigital Library
- Dimitris Kolovos and Richard Paige and Fiona Polack. The Grand Challenge of Scalability for Model Driven Engineering. In Chaudron, Michel, editor, Models in Software Engineering, volume 5421 of Lecture Notes in Computer Science, pages 48--53. Springer Berlin/Heidelberg, 2009. Google ScholarDigital Library
- Florian Heidenreich, Jakob Henriksson, Jendrik Johannes, and Steffen Zschaler. On language-independent model modularisation. T. Aspect-Oriented Software Development VI, 6:39--82, 2009.Google ScholarDigital Library
- Ingo Weisemöller and Andy Schürr. Formal definition of mof 2.0 metamodel components and composition. In Model Driven Engineering Languages and Systems, 11th International Conference, volume 5301 of Lecture Notes in Computer Science, pages 386--400. Springer, 2008. Google ScholarDigital Library
- Stefan Jurack and Gabriele Taentzer. A component concept for typed graphs with inheritance and containment structures. In Graph Transformations - 5th International Conference, ICGT 2010, volume 6372 of Lecture Notes in Computer Science, pages 187--202. Springer, 2010. Google ScholarDigital Library
- Mathias Frisch, Raimund Dachselt, and Tobias Brückmann. Towards seamless semantic zooming techniques for UML diagrams. In SOFTVIS, pages 207--208. ACM, 2008. Google ScholarDigital Library
- Oliver Köth and Mark Minas. Structure, abstraction, and direct manipulation in diagram editors. In Diagrams, volume 2317 of LNCS, pages 290--304. Springer, 2002. Google ScholarDigital Library
- Juan de Lara, Esther Guerra, and Jesús Sánchez Cuadrado. Abstracting modelling languages: A reutilization approach. In Proc. CAiSE 2012, volume 7328 of Lecture Notes in Computer Science, pages 127--143. Springer, 2012. Google ScholarDigital Library
- Antonio Cicchetti, Davide Di Ruscio, Dimitris Kolovos, and Alfonso Pierantonio. A test-driven approach for metamodel development. In Emerging Technologies for the Evolution and Maintenance of Software Models, pages 319--342. IGI Global, 2012.Google ScholarCross Ref
- Albert Tort and Antoni Olivé. An approach to testing conceptual schemas. Data Knowl. Eng., 69(6):598--618, 2010. Google ScholarDigital Library
- Hyun Cho, Yu Sun, Jeff Gray, and Jules White. Key challenges for modeling language creation by demonstration. In ICSE'11 Workshop on Flexible Modeling Tools, 2011.Google Scholar
- Jesús Sánchez Cuadrado, Juan de Lara, and Esther Guerra. Bottom-up meta-modelling: An interactive approach. In Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings, volume 7590 of Lecture Notes in Computer Science, pages 3--19. Springer, 2012. Google ScholarDigital Library
- Javier Luis Cánovas Izquierdo and Jordi Cabot. Community-driven language development. In Proc. MISE'12 at ICSE, 2012.Google Scholar
- Louis Rose, Dimitrios Kolovos, Nicholas Drivalos, James Williams, Richard Paige, Fiona Polack, and Kiran Fernandes. Concordance: A framework for managing model integrity. In Modelling Foundations and Applications, volume 6138 of LNCS, pages 245--260. Springer Berlin/Heidelberg, 2010. Google ScholarDigital Library
- Ábel Hegedüs, Ákos Horváth, István Ráth, and Dániel Varró. Query-driven soft interconnection of emf models. In Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria. Proceedings, volume 7590 of LNCS, pages 134--150, 2012. Google ScholarDigital Library
- Cauê Clasen, Frédéric Jouault, and Jordi Cabot. Virtual Composition of EMF Models. In 7èmes Journées sur l'Ingénierie Dirigée par les Modèles (IDM 2011), 2011.Google Scholar
- Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, and Hong Mei. Towards automatic model synchronization from model transformations. Proc. of ASE'07, page 164, 2007. Google ScholarDigital Library
- D. Hearnden, M. Lawley, and K. Raymond. Incremental model transformation for the evolution of model-driven systems. LNCS, 4199:321, 2006. Google ScholarDigital Library
- G. Bergmann, I. Ráth, and D. Varró. Parallelization of graph transformation based on incremental pattern matching. Electronic Communications of EASST, 18, 2009.Google Scholar
- Gabor Bergmann, Istvan Rath, Gergely Varro, and Daniel Varro. Change-driven model transformations. Software and Systems Modeling, pages 1--31, 2011. 10.1007/s10270-011-0197-9. Google ScholarDigital Library
- Holger Giese and Robert Wagner. From model transformation to incremental bidirectional model synchronization. Software & Systems Modeling, 8(1):21--43, 2008.Google ScholarCross Ref
- J. Cabot and E. Teniente. Incremental evaluation of OCL constraints. Lecture Notes in Computer Science, 4001:81, 2006. Google ScholarDigital Library
- Eelco Visser. Program transformation with Stratego/XT: Rules, strategies, tools, and systems in Stratego/XT 0.9. In Domain-Specific Program Generation, volume 3016 of LNCS, pages 216-238. Springer, 2003.Google Scholar
- Jonne Van Wijngaarden and Eelco Visser. Program transformation mechanics: A classification of mechanisms for program transformation with a survey of existing transformation systems. Technical report, UU-CS, 2003.Google Scholar
- Dániel Varró and András Balogh. The model transformation language of the VIATRA2 framework. Science of Computer Programming, 68(3):214--234, October 2007. Google ScholarDigital Library
- Gabriele Taentzer, Karsten Ehrig, Esther Guerra, J. de Lara, L. Lengyel, Tihamer Levendovszky, Ulrike Prange, D. Varró, and S. Varró-Gyapay. Model transformation by graph transformation: A comparative study. In Proc. Workshop Model Transformation in Practice, 2005.Google Scholar
- Steffen Schott and Markus L. Noga. Lazy XSL transformations. In ACM Symposium on Document Engineering, pages 9--18. ACM, 2003. Google ScholarDigital Library
- Paul Hudak, John Hughes, Simon L. Peyton Jones, and Philip Wadler. A history of Haskell: being lazy with class. In HOPL, pages 1--55. ACM, 2007. Google ScholarDigital Library
- Peter Henderson and James H. Morris, Jr. A lazy evaluator. In Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, POPL '76, pages 95--103. ACM, 1976. Google ScholarDigital Library
- Olivier Beaudoux, Arnaud Blouin, Olivier Barais, and Jean-Marc Jézéquel. Active operations on collections. In MoDELS, volume 6394 of LNCS, pages 91-105. Springer, 2010. Google ScholarDigital Library
- Manuel Clavel, Marina Egea, and Miguel Angel García de Dios. Building an efficient component for OCL evaluation. ECEASST, 15, 2008.Google Scholar
- Gergely Varró, Katalin Friedl, and Dániel Varró. Adaptive graph pattern matching for model transformations using model-sensitive search plans. Electr. Notes Theor. Comput. Sci., 152:191--205, 2006. Google ScholarDigital Library
- Rubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack, and Adam Szalkowski. GrGen: A fast SPO-based graph rewriting tool. In ICGT, volume 4178 of LNCS, pages 383--397. Springer, 2006. Google ScholarDigital Library
- Jouault, Frédéric and Bézivin, Jean and Barbero, Mikaël. Towards an advanced model-driven engineering toolbox. Innovations in Systems and Software Engineering, 5:5--12, 2009.Google ScholarCross Ref
- Tamás Mészáros, Gergely Mezei, Tihamer Levendovszky, and Márk Asztalos. Manual and automated performance optimization of model transformation systems. STTT, 12:231--243, 2010. Google ScholarDigital Library
- David Hearnden, Michael Lawley, and Kerry Raymond. Incremental model transformation for the evolution of model-driven systems. In MoDELS, volume 4199 of LNCS, pages 321--335. Springer, 2006. Google ScholarDigital Library
- T. Goldschmidt and A. Uhl. Retainment Rules for Model Transformations. In 1st International Workshop on Model Co-Evolution and Consistency Management at Models 2008, 2008.Google Scholar
- D. Harel and A. Pnueli. On the development of reactive systems, pages 477--498. Springer-Verlag New York, Inc., New York, NY, USA, 1985. Google ScholarDigital Library
- Kerstin Altmanninger, Martina Seidl, and Manuel Wimmer. A survey on model versioning approaches. International Journal of Web Information Systems (IJWIS), 5(3):271--304, 2009.Google Scholar
- Eclipse. The connected data objects model repository (CDO) project, 2012. http://eclipse.org/cdo.Google Scholar
- Martin Fluegge et al. Dawn: Collaborative modeling with CDO, 2011. http://wiki.eclipse.org/Dawn.Google Scholar
- Javier Espinazo Pagan, Jesus Sanchez Cuadrado, and Jesus García Molina. Morsa: A scalable approach for persisting and accessing large models. In Jon Whittle, Tony Clark, and Thomas Khne, editors, Model Driven Engineering Languages and Systems, volume 6981 of Lecture Notes in Computer Science, pages 77--92. Springer Berlin/Heidelberg, 2011. 10.1007/978-3-642-24485-8_7. Google ScholarDigital Library
- Javier et al. Espinazo Pagán. Morsa: a NoSQL-based model persistence solution, 2012. http://modelum.es/trac/morsa/.Google Scholar
- Niels Pinkwart. A Plug-In Architecture for Graph Based Collaborative Modeling Systems. In V. Aleven et al, editor, Supplementary Proceedings of the 11th Conference on Artificial Intelligence in Education, Sydney (Australia), pages 89--94, Sydney, Australia, 2003. SIT.Google Scholar
- Andras Schmidt et al. Emfcollab, 2011. http://qgears.com/products/emfcollab.Google Scholar
- Jesus Gallardo, Ana I. Molina, Crescencio Bravo, Miguel A. Redondo, and Cesar A. Collazos. An ontological conceptualization approach for awareness in domain-independent collaborative modeling systems: Application to a model-driven development method. Expert Systems with Applications, 38(2):1099--1118, 2011. Intelligent Collaboration and Design. Google ScholarDigital Library
- G. Kramler, G. Kappel, T. Reiter, E. Kapsammer, W. Retschitzegger, and W. Schwinger. Towards a semantic infrastructure supporting model-based tool integration. In Proceedings of the 2006 international workshop on Global integrated model management, GaMMa '06, pages 43--46, New York, NY, USA, 2006. ACM. Google ScholarDigital Library
- The ModelCVS project. A semantic infrastructure for model-based tool integration, 2006. http://modelcvs.org.Google Scholar
- Kerstin Altmanninger, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Martina Seidl, Wieland Schwinger, and Manuel Wimmer. Amor - towards adaptable model versioning. In 1st Int. Workshop on Model Co-Evolution and Consistency Management, in conjunction with Models'08, 2008. Vortrag: 1st International Workshop on Model Co-Evolution and Consistency Management, Toulouse, Frankreich; 2008-09-30.Google Scholar
- The AMOR project. Adaptible model versioning project website, 2009. http://modelversioning.org.Google Scholar
- Inc. Pentaho. Conflict resolution reasoner, 2010. http://pentaho.com.Google Scholar
- Eclipse. Modeling team framework proposal, 2011. http://www.eclipse.org/proposals/mtf/.Google Scholar
- Maximilian Koegel and Jonas Helming. Emfstore: a model repository for emf models. In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE '10, pages 307--308, New York, NY, USA, 2010. ACM. Google ScholarDigital Library
- Eclipse. Emfstore project, 2011. http://eclipse.org/emfstore.Google Scholar
- C. Brun et al. EMF compare 2.0, 2012. http://www.eclipse.org/emf/compare/.Google Scholar
- O. Constant. EMF Diff/Merge, 2012. http://eclipse.org/diffmerge/.Google Scholar
- T. Ritter et al. ModelBus: a model-driven tool integration framework to build a seamlessly integrated tool environment for system engineering processes., 2012. http://www.modelbus.org/modelbus/.Google Scholar
- Eric Armengaud, Markus Zoier, Andreas Baumgart, Matthias Biehl, DeJiu Chen, Gerhard Griessnig, Christian Hein, Tom Ritter, and Ramin Tavakoli Kolagari. Model-based toolchain for the efficient development of safety-relevant automotive embedded systems. Technical Report 2011-01-0056, SAE International, Warrendale, PA, April 2011.Google Scholar
- Gábor Bergmann, Ákos Horváth, Istvan Rath, and Dániel Varró. Incremental evaluation of model queries over EMF models. In Dorina Petriu, Nicolas Rouquette, and Oystein Haugen, editors, Model Driven Engineering Languages and Systems, volume 6394 of Lecture Notes in Computer Science, pages 76--90. Springer Berlin/Heidelberg, 2010. Acceptance rate: 21%; DOI: 10.1007/978-3-642-16145-2_6. Google Scholar
- Ábel Hegedüs, Ákos Horváth, István Ráth, and Dániel Varró. A model-driven framework for guided design space exploration. In 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, 11/2011 2011. IEEE Computer Society, IEEE Computer Society. ACM Distinguished Paper Award, Acceptance rate: 15%. Google ScholarDigital Library
- Pagán, Javier Espinazo and Cuadrado, Jesús Sánchez and Molina, Jesús García. Morsa: a scalable approach for persisting and accessing large models. In Proceedings of the 14th international conference on Model driven engineering languages and systems, MODELS'11, pages 77--92, Wellington, New Zealand, 2011. Springer-Verlag. Google ScholarDigital Library
- Bryan Hunt. Mongo-EMF, 2011. https://github.com/BryanHunt/mongo-emf/.Google Scholar
- Object Management Group. XML Metadata Interchange 2.0 Specification. http://www.omg.org/technology/documents/formal/xmi.htm.Google Scholar
Index Terms
- A research roadmap towards achieving scalability in model driven engineering
Recommendations
Model-driven engineering
During the last decade a new trend of approaches has emerged, which considers models not just documentation artefacts, but also central artefacts in the software engineering field, allowing the creation or automatic execution of software systems ...
Model-driven engineering with domain-specific meta-modelling languages
Domain-specific modelling languages are normally defined through general-purpose meta-modelling languages like the MOF. While this is satisfactory for many model-driven engineering (MDE) projects, several researchers have identified the need for domain-...
Bridging existing Web modeling languages to model-driven engineering: a metamodel for WebML
ICWE '06: Workshop proceedings of the sixth international conference on Web engineeringMetamodels are a prerequisite for model-driven engineering (MDE) in general and consequently for model-driven web engineering in particular. Various modeling languages, just as in the web engineering field, however, are not based on metamodels and ...
Comments