Logo der Universität Wien

A Formal Specification of the Horus Modeling Language Using FDMM

Kurzbeschreibung

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.

Grafik Top
Autoren
Grafik Top
Referenz
Kategorie
Paper in Conference Proceedings or in Workshop Proceedings (Full Paper in Proceedings)
Veranstaltungstitel
Internationale Tagung Wirtschaftsinformatik 2013
Institut
Knowledge Engineering
Subjects
Angewandte Informatik
Veranstaltungsort
Leipzig
Veranstaltungsart
Conference
Veranstaltungsdatum
27.2.2013-1.3.2013
Datum
February 2013
Export
Grafik Top
Kontakt
Fakultät für Informatik
Universität Wien

Währinger Straße 29
1090 Wien