A Formal Specification of the Horus Modeling Language Using FDMM

Authors

Hans-Georg Fill, University of Vienna, Research Group Knowledge Engineering, Vienna, AustriaFollow
Susan Hickl, Karlsruhe Institute of Technology, Institute of Applied Informatics and Formal Description Methods, Karlsruhe, GermanyFollow
Dimitris Karagiannis, University of Vienna, Research Group Knowledge Engineering, Vienna, AustriaFollow
Andreas Oberweis, Karlsruhe Institute of Technology, Institute of Applied Informatics and Formal Description Methods, Karlsruhe, GermanyFollow
Andreas Schoknecht, Karlsruhe Institute of Technology, Institute of Applied Informatics and Formal Description Methods, Karlsruhe, GermanyFollow

Abstract

In this paper we show how a modeling language from the area of business process engineering can be formally specified using meta modeling concepts. This serves as a basis for the implementation on an industry-scale meta modeling platform. For this purpose we revert to the Horus modeling method and the FDMM formalism that has recently been introduced to formally describe meta models and models. Subsequently we report on the implementation of the modeling language on the ADOxx meta modeling platform and discuss the lessons learned by the application of this approach.

Recommended Citation

Fill, Hans-Georg; Hickl, Susan; Karagiannis, Dimitris; Oberweis, Andreas; and Schoknecht, Andreas, "A Formal Specification of the Horus Modeling Language Using FDMM" (2013). Wirtschaftsinformatik Proceedings 2013. 73.
https://aisel.aisnet.org/wi2013/73