Semantikdefinition von ODIS

Zusammenfassung

In diesem Kapitel wird die Semantik von ODIS durch Übersetzung von Dialogablaufbeschreibungen in ein System von kommunizierenden, partiell hierarchisch angeordneten Prozessen, also der Ansatz einer Übersetzersemantik, definiert. Entsprechend dem inhaltlichen Schwerpunkt diese Buches ist dieser Ansatz auf die ODISSprachkonstrukte beschränkt, die unmittelbar auf dem zugrundeliegenden Dialogmodell aufsetzen. Die Semantik der objektorientierten Konzepte von ODIS, wie z.B. Vererbung, Komposition und die Kommunikation über Nachrichten wird deshalb nicht behandelt. In [Pap91] wird die Semantik von parallelen, objektorientierten Sprachen und Konzepten ebenfalls durch Übersetzung in eine Prozeßalgebra (mathematische Beschreibung kommunizierender Prozesse) definiert. Entsprechend dem dabei gewählten Vorgehen kann der in diesem Kapitel vorgestellte Ansatz um die Semantik der objektorientierten ODIS-Sprachkonstrukte erweitert werden. Die Beschränkung auf die ODIS-Sprachkonstrukte für die Dialogablaufbeschreibung stellt also keine wesentliche konzeptionelle Einschränkung des Ansatzes dar.