Dokument 1.pdf - Opus - Friedrich-Alexander-Universität Erlangen ...

42
Die Unified Modeling Language 2
Eine spezielle Variante ist der Protokoll-Zustandsautomat, der speziell zur Spezifikation
von Kommunikationsprotokollen geeignet ist. Er beschreibt ausschließlich erlaubte Aufrufreihenfolgen
von Operationen, was der einfachen Definition eines Protokolls entspricht.
Der Protokollzustandsautomat unterscheidet sich von den Verhaltenszustandsautomaten
in zwei Punkten. Protokollzustände können neben ihren Namen zusätzlich Invarianten
enthalten, durch die sie definiert sind. Der zweite Unterschied ist das Fehlen jeglicher
Aktivitäten in den Zuständen.
Der Protokollzustandsautomat besteht also nur aus Zuständen, die durch Invarianten definiert
sind, und aus Operationen, die durch Vor- und Nachbedingungen eingeschränkt
sind. Abbildung 14 zeigt die Syntax der Protokolltransition.
Abbildung 14 Protokolltransition
3.5 XML Metadata Interchange (XMI)
Die XMI ist das Austauschformat für Modelle der MOF und aller von ihr abgeleiteten
Sprachen. Die Motivation war die Modellbeschreibung in einer herstellerunabhängigen
Notation zum Austausch zwischen beliebigen UML-Werkzeugen. Sie ist von der OMG
standardisiert und basiert auf der „Extensible Markup Language“ (XML) [W3C04a]. Mit
Hilfe der XML lassen sich beliebige hierarchische Auszeichnungssprachen beschreiben,
so sind z.B. die Namen der „Tag“-Bezeichner, deren Anordnung oder die Wertebereiche
von Daten frei wählbar.
Um einen sinnvollen Datenaustausch mit einer XML-Sprache zu ermöglichen, ist es notwendig,
diese Freiheiten einzuschränken und eine Grammatik zu definieren, die für einen
bestimmten Anwendungszweck „gültige“ Dokumente beschreibt. Das „World Wide Web
Consortium“ (W3C) sieht für deren Definition zwei Möglichkeiten vor, mit einer „Document
Type Definition“ (DTD) [W3C04a] oder mit einem XML-Schema [W3C04b]. Für
eine Diskussion der Vorteile letzterer und der konzeptuellen Unterschiede sei auf umfangreiche
XML-Literatur hingewiesen [W3C04b, BDD+01].
Da die XMI als Austauschformat für alle auf MOF basierenden Sprachen konzipiert ist,
enthält deren Spezifikation zwei Teile:
- Produktionsregeln zur Erzeugung von XML-DTDs bzw. XML-Schematas aus
XMI-kodierten Metadaten