Di, 03. Nov. 2020   Mario Nolte

Beitrag zur diesjährigen PoEM Konferenz

Am 25. November wird Sybren de Kinderen den Beitrag “Towards Extending the Validation Possibilities of ADOxx with Alloy” auf der 13. internationalen Konferenz zur Practice of Enterprise Modeling (PoEM) vorstellen. Der gemeinsam mit Qin Ma (Universität von Luxembourg) und Monika Kaczmarek-Heß verfasste Beitrag beschäftigt sich mit Beziehungen zwischen den beiden Meta-Modellierungs-Plattformen ADOxx und Alloy. Der Aufbau und die Nutzung von Beziehungen erlaubt es die Stärken beider Plattformen zu bündeln, so dass ADOxx u.a. für die Erstellung von Sprachen der Unternehmensmodellierung genutzt werden kann um darauf aufbauend Alloy für die Überprüfung der sogenannten "well-formedness" zu nutzen.