Was ist Abstract State Machine Language (AsmL)?
Abstract State Machine Language (AsmL) ist eine ausführbare Spezifikationssprache, die auf der Theorie der Abstract State Machine (ASM) basiert. Asml wird für Systemmodellierung, Analyse, Simulation und Konformitätstests verwendet.
AsmL wird vom Microsoft-Forschungsteam Foundations of Software Engineering (FSE) entwickelt. Es integriert sich vollständig in die .NET-Umgebung und die Entwicklungstools von Microsoft, einschließlich Word und Visual Studio .NET.
Im Gegensatz zu einer Reihe von Programmiersprachen, die für das Codieren und Testen spezifiziert wurden, ist AsmL darauf ausgerichtet, das Projektdesign zu kommunizieren. Darüber hinaus kann Asml in jeder Phase der Entwicklung verwendet werden. Die Ausführung der Asml-Spezifikation ermöglicht Modellprüfungen, Funktionsinteraktionsprüfungen, Design-Zielerfüllung oder unvorhergesehene Ereignisplanung.
AsmL wird auch für die Systemspezifikation verwendet, die Benutzern ein Systembild auf ASM-Basis zur Verfügung stellt, ein mathematisches Modell des sich entwickelnden Laufzeitstatus des Systems.
Asml unterscheidet sich von herkömmlichen Programmen darin, dass es minimale Spezifikationen liefert, die alles beschreiben, was mit ausgewählten Details zusammenhängt. Asml erleichtert die Beschreibung des Systemzustands in Bezug auf Variablen und Operationen, die für den Benutzer sinnvoll sind.
AsmL ist als Softwaremodellierungssprache im Tool Spec Explorer, einer Visual Studio 2010-Komponente, verfügbar. Eine Open-Source-Implementierung von Asml ist als XASM-Sprache (Extensible Abstract State Machines) verfügbar.