ASM
Abstract State Machine
Definition
Eine Abstract State Machine (ASM) ist ein mathematisches Modell zur formalen Spezifikation und Verifikation von Algorithmen und Systemen. ASMs erweitern das Konzept endlicher Automaten um beliebig komplexe Zustände und Zustandsübergänge und werden in der Softwareentwicklung zur präzisen Beschreibung von Systemverhalten eingesetzt.