Formal Semantics for Conceptual Modeling Languages based on Model Theory

Formal Semantics for Conceptual Modeling Languages based on Model Theory

Abstract

The era of models as executable entities rather than descriptive pictures is on the rise. Nowadays modeling languages provide a variety of additional features like transformation, simulation, or code generation and the consumers of models are persons as well as machines. This development brings about the necessity to make models machine-processable, i.e. to formalize modeling languages. The goal of this research project is to find a suitable formalism for this purpose. This formalism will be grounded on mathematical theories, adopting their unambiguity and expressiveness and enabling the application of established mathematical methods. Therefore the plan for this research project is to examine several promising mathematical theories regarding their possibilities and limitations. A first result of this examination is presented in this paper: the formalization of the semantics of a metamodel based on model theory, a branch of mathematical logic. We outline the analogy between the concepts of metamodeling and model theory and describe how a metamodel can be formalized with this approach. A proof of concept is given by applying the formalism on a simple example, namely the entity-relationship modeling language.

Grafik Top
Authors
  • Döller, Victoria
Grafik Top
Editors
  • Ralyté, Jolita
  • Wautelet, Yves
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings (Paper)
Event Title
11th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling (PoEM)
Divisions
Knowledge Engineering
Event Location
Vienna
Event Type
Other
Event Dates
31.10. - 02.11.2018
Series Name
Proceedings of the Doctoral Consortium Papers presented at the 11th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modelling (PoEM 2018)
Page Range
pp. 61-73
Date
2018
Export
Grafik Top