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

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9344)


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