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

Conference paper

DOI: 10.1007/978-3-319-23781-7_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9344)
Cite this paper as:
Ojamaa A., Haav HM., Penjam J. (2015) Semi-automated Generation of DSL Meta Models from Formal Domain Ontologies. In: Bellatreche L., Manolopoulos Y. (eds) Model and Data Engineering. Lecture Notes in Computer Science, vol 9344. Springer, Cham


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.


Model-driven software engineering Ontology-based modelling Model transformations DSL meta-models 

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Institute of Cybernetics, Laboratory of Software ScienceTallinn University of TechnologyTallinnEstonia

Personalised recommendations