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 me-ta modeling platform. For this purpose we revert to the Horus modeling method and the FDMM formalism that has recently been introduced to formally de-scribe 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.

Top