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

Abstract

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.

Keywords

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