Spezifikation der dynamischen Semantik von Basic-Lotos

Kurzfassung

Thema der vorliegenden Diplomarbeit ist die Spezifikation der dynamischen Semantik von BASIC-LOTOS . Dieser Teil einer Sprachbeschreibung ermöglicht die automatische Generierung eines Interpretierers oder Simulators. Der von CENTAUR, ein System zur Generierung sprachspezifischer Programmierumgebungen, aus der erarbeiteten Spezifikation generierte Simulator dient als Prototyp für den im Rahmen von GIPE II entstehenden LOTOS Simulator. Zunächst erfolgen Einführungen in die Konzepte von LOTOS, dessen Simulation und CENTAUR. Anschließend werden der Entwurf, die Kommentierung der Spezifikation und Vorschläge zur Verbesserung bzw. Erweiterung der Spezifikation vorgestellt. Es folgt eine Bewertung von CENTAUR bezüglich der verwendeten Formalismen und Konzepte. Abschließend wird die verwendete Spezifikationsmethodik von CENTAUR mit der Idee des TSK Formalismus verglichen. Handlungsbedarf und -aufwand für das direkte Spezifizieren eines Simulators mit CENTAUR einerseits und die Abbildung auf einen Formalismus zur Beschreibung paralleler Prozesse mit vorhandener Simulationsumgebung andererseits werden abgeschätzt.

105 pages.