Abstract State Machine

Abstract State Machine

Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen. Anders als bei endlichen Automaten, deren Zustände lediglich Namen haben, sind die Zustände einer ASM allgemeine mathematische Strukturen.

Insbesondere im Gebiet des Übersetzerbaus dient das Modell der Beschreibung der Semantik des zu übersetzenden Programms, und es hilft sicherzustellen, dass die Semantik des zu übersetzenden Programms erhalten bleibt (Verifizierung). Aber auch bei der Entwicklung von Software im Allgemeinen erlaubt das Modell in der Analyse- und Entwurfsphase eine formale Beschreibung der funktionalen Anforderungen. Diese mathematische Herangehensweise verbessert beispielsweise Verifizierbarkeit und Wiederverwendbarkeit.

Inhaltsverzeichnis

Ursprung

Der Erfinder des Modells ist Yuri Gurevich von Microsoft.[1] Der in Italien an der Universität Pisa ansässige Informatiker Egon Börger erforscht Methoden zur Anwendung abstrakter Zustandsmaschinen bei Entwurf und Analyse von Hardware- und Softwaresystemen.[2]

Mittlerweile gibt es unterschiedliche Implementierungen des Modells, sodass Entwurf und Interpretation von Programmen für die abstrakten Maschine rechnergestützt erfolgen kann.

Literatur

  • Y. Gurevich, P. Kutter, M. Odersky, L. Thiele (Hrsg.), Abstract State Machines: Theory and Applications, Lecture Notes in Computer Science, Vol. 1912, Springer-Verlag, 2000. (ISBN 3-540-67959-6)

Quellen

  1. A New Thesis, Abstracts, American Mathematical Society, Vol. 6, No. 4 (August 1985), page 317, abstract 85T-68-203
  2. E. Börger, R. Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis, Springer-Verlag, 2003. (ISBN 3-540-00702-4)

Weblinks

Informationen

Implementierungen


Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Abstract State Machine Language — infobox programming language name = AsmL year = designer = Microsoft Corporation latest release version = latest release date = latest test version = latest test date = implementations = XASM influenced by = typing = dialects = influenced =… …   Wikipedia

  • Abstract state machines — In computer science, an abstract state machine (ASM) is a state machine in which the number of states need not be finite and in which the states are not mere points in the state space. More precisely, an ASM state is a structure in the sense of… …   Wikipedia

  • Abstract State Machines — Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationalen Beschreibung von Algorithmen. Anders als bei endlichen Automaten,… …   Deutsch Wikipedia

  • Finite-state machine — State machine redirects here. For infinite state machines, see State transition system. For fault tolerance methodology, see State machine replication. SFSM redirects here. For the Italian railway company, see Circumvesuviana. A finite state… …   Wikipedia

  • Finite state machine — A finite state machine (FSM) or finite state automaton (plural: automata ) or simply a state machine, is a model of behavior composed of a finite number of states, transitions between those states, and actions. A finite state machine is an… …   Wikipedia

  • State machine replication — Introduction from Schneider s 1990 survey: : Distributed software is often structured in terms of clients and services. Each service comprises one or more servers and exports operations that clients invoke by making requests. Although using a… …   Wikipedia

  • Extended finite state machine — In a conventional finite state machine, the transition is associated with a set of input Boolean conditions and a set of output Boolean functions. In an extended finite state machine (EFSM) model, the transition can be expressed by an “if… …   Wikipedia

  • Liquid state machine — A liquid state machine (LSM) is a computational construct, like a neural network. An LSM consists of a large collection of units (called nodes , or neurons ). Each node receives time varying input from external sources (the inputs) as well as… …   Wikipedia

  • Deterministic finite-state machine — An example of a Deterministic Finite Automaton that accepts only binary numbers that are multiples of 3. The state S0 is both the start state and an accept state. In the theory of computation and automata theory, a deterministic finite state… …   Wikipedia

  • Abstract machine — An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in Automata theory. Abstraction of computing processes is used in both the computer science and computer engineering… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”