Ontology driven design of EMF metamodels and well-formedness constraints

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

  • Affiliations:
  • Budapest University of Technology and Economics, Budapest, Hungary;Budapest University of Technology and Economics, Budapest, Hungary;Budapest University of Technology and Economics, Budapest, Hungary;Budapest University of Technology and Economics, Budapest, Hungary;Budapest University of Technology and Economics, Budapest, Hungary;Budapest University of Technology and Economics, Budapest, Hungary

  • Venue:
  • Proceedings of the 12th Workshop on OCL and Textual Modelling
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

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.