MONDO: Scalable Modelling and Model Management on the Cloud

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 collaboration, 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 outlines how MONDO, a collaborative EC-funded project, has contributed to tackling some of these scalability-related challenges.

[1]  Abel Gómez,et al.  Decentralized Model Persistence for Distributed Computing , 2015, BigMDE@STAF.

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

[3]  Juan de Lara,et al.  Streaming Model Transformations: Scenarios, Challenges and Initial Solutions , 2013, ICMT.

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

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

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

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

[8]  Ákos Horváth,et al.  A model-driven framework for guided design space exploration , 2011, ASE.

[9]  Dániel Varró,et al.  IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud , 2014, MoDELS.

[10]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

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

[12]  Dimitrios S. Kolovos,et al.  Towards Scalable Querying of Large-Scale Models , 2014, ECMFA.

[13]  Jordi Cabot,et al.  Lazy execution of model-to-model transformations , 2011, MODELS'11.

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

[15]  Juan de Lara,et al.  EMF Splitter: A Structured Approach to EMF Modularity , 2014, XM@MoDELS.

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

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

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

[19]  Juan de Lara,et al.  Example-driven meta-model development , 2015, Software & Systems Modeling.

[20]  István Ráth,et al.  Towards an Open Set of Real-World Benchmarks for Model Queries and Transformations , 2014, BigMDE@STAF.

[21]  Ákos Horváth,et al.  EMF-IncQuery: An integrated development environment for live model queries , 2015, Sci. Comput. Program..

[22]  Dániel Varró,et al.  MONDO-SAM: A Framework to Systematically Assess MDE Scalability , 2014, BigMDE@STAF.

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

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

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

[26]  Frédéric Jouault,et al.  Towards Incremental Execution of ATL Transformations , 2010, ICMT@TOOLS.

[27]  Juan de Lara,et al.  Pattern-based development of Domain-Specific Modelling Languages , 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).

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

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

[30]  Frédéric Jouault,et al.  fUML as an Assembly Language for Model Transformation , 2014, SLE.

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

[32]  Dániel Varró,et al.  Streaming Model Transformations By Complex Event Processing , 2014, MoDELS.

[33]  Wolfgang De Meuter,et al.  A survey on reactive programming , 2013, CSUR.

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

[35]  Ákos Horváth,et al.  Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework , 2016, Software & Systems Modeling.

[36]  Tihamer Levendovszky,et al.  Towards truly parallel model transformations: A distributed pattern matching approach , 2009, IEEE EUROCON 2009.

[37]  Juan de Lara,et al.  Meta-Model validation and verification with MetaBest , 2014, ASE.

[38]  Ákos Horváth,et al.  Local Search-Based Pattern Matching Features in EMF-IncQuery , 2015, ICGT.

[39]  Ákos Horváth,et al.  Query-driven incremental synchronization of view models , 2014, VAO '14.

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

[41]  Dániel Varró,et al.  Automated Model Merge by Design Space Exploration , 2016, FASE.

[42]  Antonio Vallecillo,et al.  On the concurrent execution of model transformations with Linda , 2013, BigMDE '13.

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

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

[45]  Juan de Lara,et al.  Assessing the Quality of Meta-models , 2014, MoDeVVa@MoDELS.