---
res:
  bibo_abstract:
  - 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.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Jan
      foaf_name: Hendrik Hausmann, Jan
      foaf_surname: Hendrik Hausmann
  - foaf_Person:
      foaf_givenName: Reiko
      foaf_name: Heckel, Reiko
      foaf_surname: Heckel
  - foaf_Person:
      foaf_givenName: Stefan
      foaf_name: Sauer, Stefan
      foaf_surname: Sauer
      foaf_workInfoHomepage: http://www.librecat.org/personId=447
  dct_date: 2000^xs_gYear
  dct_language: eng
  dct_title: Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische
    Metamodellierung@
...