Abstracting Modelling Languages: A Reutilization Approach

Model-Driven Engineering automates the development of information systems. This approach is based on the use of Domain-Specific Modelling Languages (DSMLs) for the description of the relevant aspects of the systems to be built. The increasing complexity of the target systems has raised the need for abstraction techniques able to produce simpler versions of the models, but retaining certain properties of interest. However, developing such abstractions for each DSML from scratch is a time and resource consuming activity. Our solution to this situation is a number of techniques to build reusable abstractions that are defined once and can be reused over families of modelling languages sharing certain requirements. As a proof of concept, we present a catalogue of reusable abstractions, together with an implementation in the MetaDepth multi-level meta-modelling tool.

[1]  Thomas Kühne,et al.  Matters of (Meta-) Modeling , 2006, Software & Systems Modeling.

[2]  C. Maria Keet.  Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions , 2007, AI*IA.

[3]  Roland H. Kaschek,et al.  On the evolution of conceptual modeling , 2008, The Evolution of Conceptual Modeling.

[4]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[5]  David Kelley.  A theory of abstraction. , 1984 .

[6]  Mathias Weske,et al.  The Triconnected Abstraction of Process Models , 2009, BPM.

[7]  Mathias Weske,et al.  A Semantic Approach for Business Process Model Abstraction , 2011, CAiSE.

[8]  Brian Henderson-Sellers,et al.  Granularity in Conceptual Modelling: Application to Metamodels , 2010, ER.

[9]  Moe Thandar Wynn,et al.  Reduction rules for YAWL workflows with cancellation regions and OR-joins , 2009, Inf. Softw. Technol..

[10]  Pieter J. Mosterman,et al.  Computer Automated Multi-Paradigm Modeling : An Introduction , 2000 .

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

[12]  Juan de Lara,et al.  From types to type requirements: genericity for model-driven engineering , 2011, Software & Systems Modeling.

[13]  Brian Henderson-Sellers,et al.  Random Thoughts on Multi-level Conceptual Modelling , 2008, The Evolution of Conceptual Modeling.

[14]  Roland H. Kaschek,et al.  A little theory of abstraction , 2004, Modellierung.

[15]  Stefanie Rinderle-Ma,et al.  Change Patterns and Change Support Features in Process-Aware Information Systems , 2007, Seminal Contributions to Information Systems Engineering.

[16]  Fausto Giunchiglia,et al.  A Semantics for Abstraction , 2004, ECAI.

[17]  Jacques D. Fleuriot,et al.  Diagrammatically-Driven Formal Verification of Web-Services Composition , 2012, Diagrams.

[18]  Inderjeet Mani,et al.  A Theory of Granularity and its Application to Problems of Polysemy and Underspecification of Meaning , 1998, KR.

[19]  Benoît Combemale,et al.  Modeling model slicers , 2011, MODELS'11.

[20]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[21]  Kevin Lano,et al.  Slicing Techniques for UML Models , 2011, J. Object Technol..

[22]  Roberto Basili,et al.  AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings , 2007, AI*IA.

[23]  Peretz Shoval,et al.  Conceptual Modeling - ER 2010, 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings , 2010, ER.

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

[25]  Olivier Barais,et al.  Generic Model Refactorings , 2009, MoDELS.