Semi-automated Generation of DSL Meta Models from Formal Domain Ontologies

This paper addresses the problem of alignment of domain ontologies and meta-models of Domain Specific Languages DSL in order to facilitate the DSL development process by formal methods. The solution presented in this paper automatically generates design templates of a DSL meta-model that are consistent with a given domain ontology represented in OWL DL. Consistency of alignment is ensured by predefined mapping rules between constructs of ontology modelling language OWL DL and a modelling language used for representing DSL meta-models. The approach is implemented as an extension to the CoCoViLa system and the CoCoViLa modelling language is used for representing DSL meta-models. The evaluation of the provided method is carried out by developing the DSL for the IT risk analysis and management domain.

[1]  Andres Ojamaa,et al.  CoCoViLa as a multifunctional simulation platform , 2011, SimuTools.

[2]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[3]  Jan Willemson,et al.  Rational Choice of Security Measures Via Multi-parameter Attack Trees , 2006, CRITIS.

[4]  Gerd Wagner,et al.  Ontologies, Meta-models, and the Model-Driven Paradigm , 2006, Ontologies for Software Engineering and Software Technology.

[5]  Marjan Mernik,et al.  Ontology driven development of domain-specific languages , 2011, Comput. Sci. Inf. Syst..

[6]  Stephan Roser,et al.  Automatic Generation and Evolution of Model Transformations Using Ontology Engineering Space , 2008, J. Data Semant..

[7]  Artem Katasonov Ontology-Driven Software Engineering: beyond Model Checking and Transformations , 2012, Int. J. Semantic Comput..

[8]  Enn Tyugu,et al.  Propositional Logic Programming and Priz System , 1990, J. Log. Program..

[9]  Enn Tyugu,et al.  Justifications of the Structural Synthesis of Programs , 1982, Sci. Comput. Program..

[10]  Hele-Mai Haav,et al.  A Practical Methodology for Development of a Network of e-Government Domain Ontologies , 2011, I3E.

[11]  Steffen Staab,et al.  An ontology-based framework for domain-specific modeling , 2014, Software & Systems Modeling.

[12]  Richard C. Gronback Eclipse Modeling Project: A Domain-Specific Language Toolkit , 2009 .

[13]  Jeffrey G. Gray,et al.  Using Ontologies in the Domain Analysis of Domain-Specific Languages , 2009, TWOMDE@MoDELS.

[14]  Maria João Varanda Pereira,et al.  Converting Ontologies into DSLs , 2014, SLATE.

[15]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[16]  Steffen Staab,et al.  Joint Language and Domain Engineering , 2010, ECMFA.