Ontology driven design of EMF metamodels and well-formedness constraints

Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Ontologies provide high-level means for capturing requirements of systems with precise semantics and automated meta-level reasoning techniques to identify specification flaws early in the design even if certain parts of the system is underspecified. Domain-specific modeling environments effectively support domain engineers for designing the system by providing efficient means for instance-level validation of well-formedness constraints. In the current paper, we aim at a combined use of ontologies and DSM techniques where domain requirements captured in textual ontology languages like OWL2/SWRL will drive the development of a DSM environment. More specifically, we provide (i) an automated mapping from OWL2 ontologies to metamodels defined by the industry-standard EMF platform, which is extended by a (ii) mapping of requirements and constraints (captured in OWL2 and SWRL) into a textual graph pattern language efficiently evaluated by the EMF-IncQuery incremental model query technology.

Original languageEnglish
Title of host publicationProceedings of the 12th Workshop on OCL and Textual Modelling, OCL 2012 - Being Part of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012
Pages37-42
Number of pages6
DOIs
Publication statusPublished - Dec 1 2012
Event12th Workshop on OCL and Textual Modelling, OCL 2012 - Being Part of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012 - Innsbruck, Austria
Duration: Sep 30 2012Sep 30 2012

Publication series

NameProceedings of the 12th Workshop on OCL and Textual Modelling, OCL 2012 - Being Part of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012

Other

Other12th Workshop on OCL and Textual Modelling, OCL 2012 - Being Part of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012
CountryAustria
CityInnsbruck
Period9/30/129/30/12

    Fingerprint

Keywords

  • D.2.13 [Reusable Software]: Domain engineering
  • ontology
  • requirement specification

ASJC Scopus subject areas

  • Modelling and Simulation

Cite this

Izsó, B., Szatmári, Z., Bergmann, G., Horváth, Á., Ráth, I., & Varró, D. (2012). Ontology driven design of EMF metamodels and well-formedness constraints. In Proceedings of the 12th Workshop on OCL and Textual Modelling, OCL 2012 - Being Part of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012 (pp. 37-42). (Proceedings of the 12th Workshop on OCL and Textual Modelling, OCL 2012 - Being Part of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012). https://doi.org/10.1145/2428516.2428523