Die Ausdruckskraft von Abstract State Machines

抽象状态机（ASMs）是尤里·古列维奇在80年代中期米特提出的一种新的系统模型，它是一种自然的、直观的、形式化的系统模型。这意味着，我们的产品和服务是一个非常重要的目标和操作韦尔登。ASMs韦尔登是一种基于模型的复杂工业系统的设计和分析技术。从实践中获得的大量经验将使ASMs的变化更加多样，这将在他们的印刷工艺中得到体现。2000年，古列维奇提出了一个优雅的标准化的Ausdrucksstärke序列ASMs的特性。Später haben Blass and Gurevich auch parallele and interraktive ASM charakterisiert. Im Rahmen dieses Projektes ist es uns gelungen，die Ausdrucksstärke verteilter und nichtdeterministischer ASM intuitiv und einfach verständlich zu charakterisieren. In der dermabeantragten Fortsetzung des Projektes möchten wir in entsprechender Weise die Ausdrucksstärke parallel-nichtdeterministischer ASMs charakterisieren，welche für den ASM-baserten Systemwurf eine besonders wichtige Rolle spielen.因此，我们需要将这个项目进行比较，使ASMs具有更好的隔离特性，使其成为一个独立的边界，并使其变得更加完整。

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.