Die Ausdruckskraft von Abstract State Machines

[摘要]状态机（asm）的研究进展与发展展望：1 .状态机（asm）的研究进展与展望：1 .状态机的研究进展与展望：1 .状态机的研究进展与展望：die gelingt， indem die Zustände and Schritte eines Algorithmus mittelels believe gewählter object和Operationen beschrieben werden。它们要么是基于复杂工业系统分析技术，要么是基于复杂工业系统分析技术。Aufgrund der vielffältigen Anforderungen as der Praxis wurden mehere Varianten von asm entwickelt, die sich in ihrer Ausdruckskraft unterscheiden。2000年1月，葛朗·古列维奇，《优雅的女性特征》，作者：Ausdrucksstärke。Später哈本·布拉斯和古列维奇的平行和相互作用的asm特征。在拉赫曼的研究项目中，我们发现了两个问题：一是直觉，二是直觉，三是直觉，三是直觉，三是直觉，三是直觉，三是直觉，三是直觉，三是直觉，三是直觉。在德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国Zudem möchten wir dieses project abschliessen, indem wir die bisher isoliterterisierungen von asm in the eineheitichlich begriffffeswederderen and miteinderdervergleichen。

Abstract State Machines (ASMs) wurden von Yuri Gurevich schon Mitte der 80 er Jahre als ein neues Systemmodell vorgeschlagen, das im Vergleich zu herkömmlichen System- modellen eine natürlichere und intuitivere formale Beschreibung von Algorithmen erlaubt. Dies gelingt, indem die Zustände und Schritte eines Algorithmus mittels beliebig gewählter Objekte und Operationen beschrieben werden. ASMs werden seither erfolgreich als modellbasierte Entwurfs- und Analysetechnik für komplexe industrielle Systeme eingesetzt. Aufgrund der vielffältigen Anforderungen aus der Praxis wurden mehrere Varianten von ASMs entwickelt, die sich in ihrer Ausdruckskraft unterscheiden. Im Jahr 2000 gelang Gurevich eine erstaunlich elegante formale Charakterisierung der Ausdrucksstärke sequentieller ASMs. Später haben Blass und Gurevich auch parallele und interaktive ASMs charakterisiert. Im Rahmen dieses Projektes ist es uns gelungen, die Ausdrucksstärke verteilter und nichtdeterministischer ASMs intuitiv und einfach verständlich zu charakterisieren. In der hier beantragten Fortsetzung des Projektes möchten wir in entsprechender Weise die Ausdrucksstärke parallel-nichtdeterministischer ASMs charakterisieren, welche für den ASM-basierten Systementwurf eine besonders wichtige Rolle spielen. Zudem möchten wir dieses Projekt abschliessen, indem wir die bisher isolierten Charakterisierungen von ASMs in eine einheitliche Begriffswelt einordnen und miteinander vergleichen.