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