On the Combination of Domain Specific Modeling Languages

Domain Specific Modeling Languages (DSMLs) are essential elements in Model-based Engineering. Each DSML allows capturing certain properties of the system, while abstracting other properties away. Nowadays DSMLs are mostly used in silos to solve specific problems. However, there are many occasions when multiple DSMLs need to be combined to design systems in a modular way. In this paper we discuss some scenarios of use and several mechanisms for DSML combination. We propose a general framework for combining DSMLs that subsumes them, based on the concept of viewpoint unification, and its realization using model-driven techniques.

[1]  Jürgen Dingel,et al.  Package merge in UML 2: practice vs. theory? , 2006, MoDELS'06.

[2]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[3]  Sherif Abdelwahed,et al.  Semantic Anchoring with Model Transformations , 2005, ECMDA-FA.

[4]  Didier Buchs,et al.  Composing Visual Syntax for Domain Specific Languages , 2009, HCI.

[5]  Eelco Visser,et al.  WebDSL: a domain-specific language for dynamic web applications , 2008, OOPSLA Companion.

[6]  Antonio Vallecillo,et al.  Realizing Correspondences in Multi-viewpoint Specifications , 2009, 2009 IEEE International Enterprise Distributed Object Computing Conference.

[7]  Peter F. Linington.  Black Cats and Coloured Birds ­ What do Viewpoint Correspondences Do? , 2007, 2007 Eleventh International IEEE EDOC Conference Workshop.

[8]  G. Nordstrom,et al.  On metamodel composition , 2001, Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204).

[9]  Jacky Estublier,et al.  Composing domain-specific languages for wide-scope software engineering applications , 2005, MoDELS'05.

[10]  Antonio Vallecillo,et al.  WebML modelling in UML , 2007, IET Softw..

[11]  Jean Bézivin,et al.  A Canonical Scheme for Model Composition , 2006, ECMDA-FA.

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

[13]  Luis Pedro.  Foundations for a Domain Specific Modeling Language Prototyping Environment A compositional approach , 2008 .

[14]  Manuel Wimmer,et al.  A semi-automatic approach for bridging DSMLs with UML , 2009, Int. J. Web Inf. Syst..

[15]  Mourad Debbabi,et al.  Systems Modeling Language , 2010 .

[16]  Aniruddha S. Gokhale,et al.  Improving Domain-Specific Language Reuse with Software Product Line Techniques , 2009, IEEE Software.

[17]  Peter D. Mosses,et al.  Composing programming languages by combining action-semantics modules , 2001, Sci. Comput. Program..

[18]  J. Bézivin,et al.  A Practical Approach to Bridging Domain Specific Languages with UML profiles , 2005 .

[19]  Jean Bézivin,et al.  Bridging the MS/DSL Tools and the Eclipse Modeling Framework , 2005, OOPSLA 2005.

[20]  Jean Bézivin,et al.  Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs , 2006 .

[21]  Howard Bowman,et al.  A Formal Framework for Viewpoint Consistency , 2002, Formal Methods Syst. Des..

[22]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[23]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[24]  Matthew J. Emerson,et al.  Techniques for Metamodel Composition , 2006 .

[25]  Nora Koch,et al.  Uml-Based Web Engineering - An Approach Based on Standards , 2008, Web Engineering.

[26]  Philip A. Bernstein,et al.  Merging Models Based on Given Correspondences , 2003, VLDB.

[27]  Marco Brambilla,et al.  A Transformation Framework to Bridge Domain Specific Languages to MDA , 2008, MoDELS Workshops.

[28]  Gustavo Rossi,et al.  Web Engineering: Modelling and Implementing Web Applications , 2008, Human-Computer Interaction Series.

[29]  Christian Hofer,et al.  Polymorphic embedding of dsls , 2008, GPCE '08.

[30]  Paul Hudak,et al.  Building domain-specific embedded languages , 1996, CSUR.

[31]  Jean Bézivin,et al.  A Practical Approach to Model Extension , 2007, ECMDA-FA.

[32]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[33]  Arend Rensink.  Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.

[34]  Frédéric Jouault,et al.  Model Transformation and Weaving in the AMMA Platform , 2005 .

[35]  Jochen Ludewig,et al.  Models in software engineering – an introduction , 2003, Software and Systems Modeling.

[36]  Colin Atkinson,et al.  Orthographic Modeling Environment , 2008, FASE.

[37]  Bran Selic,et al.  Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems , 2009, ECMDA-FA.