Die Ausdruckskraft von Abstract State Machines II

Vor dem Hintergrund der klassischen Konzepte zur Systemmodellierung sind Gurevich's Abstract State Machines (ASM) ein theoretisch alternativer und in Anwendungen zunehmend wichtiger Ansatz. Dieses Projekt verfolgt zwei zentrale Teilziele: Die Ausdrucksstärke der wichtigen Klasse der verteilten ASM wird charakterisiert und es werden eigenschaftserhaltende Verfeinerungs- und Kompositionsmethoden für ASM entwickelt. Damit trägt das Projekt zum Verständnis der grundlegenden Aspekte und Konsequenzen des ASM-Ansatzes bei und hilft, ihn in sein wissenschaftliches Umfeld der Methoden der Systemmodellierung einzuordnen.