Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung

In diesem Beitrag stellen wir eine Methode zur Spezifikation der dynamischen Semantik von UML im Sinne einer Metamodellierung vor. Die dynamische Metamodellierung verwendet dabei UMLKollaborationsdiagramme als eine dem Modellierer bekannte Notation. Diese werden durch eine Interpretation als Regeln einer graphischen operationalen Semantik (GOS) semantisch präzisiert. Die GOS-Formalisierung beruht dabei sowohl auf Konzepten von Graphtransformationen als auch dem Ansatz der Structured Operational Semantics. GOS-Regeln werden als Deduktionsregeln für die Spezifikation eines Interpreters betrachtet, der basierend auf einer Prolog-Ausführungsmaschine realisert werden soll.