Die Ausdruckskraft von Abstract State Machines

抽象状态机的表达能力

• 批准号: 5450692
• 负责人: Professor Dr. Wolfgang Reisig
• 金额: --
• 依托单位: Institut für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2005
• 资助国家: 德国
• 起止时间: 2004-12-31 至 2010-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5450692?language=en
• 关键词: Die; Ausdruckskraft; von; Abstract; State

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.

摘要状态机(ASM)是一种新的系统模型和直观的算法模型。死于凝胶，INDEM的Zustände and Schritte eines算法和手套相信大Gewählter Objekte and Operationen Beschrieben是。ASM是对环境和分析技术进行建模和分析的。Aurden mehrere von asms entwickelt，the hirer Ausderungen Aus der Praxis Wurden mehrere von ASMS entwickelt，ISHER HER Ausdruckskraft unterscheiden.我是2000年1月Gelang Gurevich eine erstaunlich Eine erstaunlich Eine erstaunlich Elgante Formale Charakterisierung der Ausdrucksstärke Sequentieller ASMS。Später haben Blass and Gurevich auch Paralle and Interakative ASMS characterisiert.Im Rahman dieses Projektes ist es es uns Gelungen，die Ausdrucksstärke vertiilter and NichtDefinistischer ASMS Intuitiv and einfach verständlich zu charakterisieren.在这里，我们有一条平行的、确定的、具有特征的、以此为基础的系统，它是一种特殊的服务。这是一项重要的工程，也是一项重要的工作。