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. 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 - 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

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

Metamodel
Electromagnetic Fields
Ontology
Electric potential
Requirements
Pattern Language
Reasoning
Semantics
Industry
Query
Specification
Specifications
Engineers
Defects
Design
Graph in graph theory
Modeling
Model

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) https://doi.org/10.1145/2428516.2428523

Ontology driven design of EMF metamodels and well-formedness constraints. / Izsó, Benedek; Szatmári, Zoltán; Bergmann, Gábor; Horváth, Ákos; Ráth, István; Varró, D.

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. 2012. p. 37-42.

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

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, 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, Innsbruck, Austria, 9/30/12. https://doi.org/10.1145/2428516.2428523
Izsó B, Szatmári Z, Bergmann G, Horváth Á, Ráth I, Varró D. 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. 2012. p. 37-42 https://doi.org/10.1145/2428516.2428523
Izsó, Benedek ; Szatmári, Zoltán ; Bergmann, Gábor ; Horváth, Ákos ; Ráth, István ; Varró, D. / Ontology driven design of EMF metamodels and well-formedness constraints. 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. 2012. pp. 37-42
@inproceedings{f2f8924f0cdb4e1c88166e6a463e97f4,
title = "Ontology driven design of EMF metamodels and well-formedness constraints",
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.",
keywords = "D.2.13 [Reusable Software]: Domain engineering, ontology, requirement specification",
author = "Benedek Izs{\'o} and Zolt{\'a}n Szatm{\'a}ri and G{\'a}bor Bergmann and {\'A}kos Horv{\'a}th and Istv{\'a}n R{\'a}th and D. Varr{\'o}",
year = "2012",
doi = "10.1145/2428516.2428523",
language = "English",
isbn = "9781450317993",
pages = "37--42",
booktitle = "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",

}

TY - GEN

T1 - Ontology driven design of EMF metamodels and well-formedness constraints

AU - Izsó, Benedek

AU - Szatmári, Zoltán

AU - Bergmann, Gábor

AU - Horváth, Ákos

AU - Ráth, István

AU - Varró, D.

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - D.2.13 [Reusable Software]: Domain engineering

KW - ontology

KW - requirement specification

UR - http://www.scopus.com/inward/record.url?scp=84873348754&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84873348754&partnerID=8YFLogxK

U2 - 10.1145/2428516.2428523

DO - 10.1145/2428516.2428523

M3 - Conference contribution

SN - 9781450317993

SP - 37

EP - 42

BT - 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

ER -