Inhaltsverzeichnis:
- Definition - Was bedeutet Abstract State Machine Language (AsmL)?
- Techopedia erklärt Abstract State Machine Language (AsmL)
Definition - Was bedeutet Abstract State Machine Language (AsmL)?
Abstract State Machine Language (AsmL) ist eine ausführbare Spezifikationssprache, die auf der Theorie von Abstract State Machine (ASM) basiert. AsmL wird zur Systemmodellierung, Analyse, Simulation und zum Testen der Konformität verwendet.
AsmL wurde vom Forschungsteam der Microsoft Foundations of Software Engineering (FSE) entwickelt. Es lässt sich vollständig in die .NET-Umgebung und in die Entwicklungstools von Microsoft, einschließlich Word und Visual Studio .NET, integrieren.
Techopedia erklärt Abstract State Machine Language (AsmL)
Im Gegensatz zu einer Reihe von Programmiersprachen, die für das Codieren und Testen spezifiziert sind, ist AsmL auf die Kommunikation des Projektdesigns ausgerichtet. Darüber hinaus kann AsmL in jedem Entwicklungsstadium verwendet werden. Die Ausführung von AsmL-Spezifikationen ermöglicht Modelltests, Funktionsinteraktionsprüfungen, die Erfüllung von Entwurfszielen oder eine unerwartete Ereignisplanung.
AsmL wird auch für die Systemspezifikation verwendet, die den Benutzern ein auf ASM basierendes Systembild liefert, ein mathematisches Modell des sich entwickelnden Laufzeitzustands des Systems.
AsmL unterscheidet sich von herkömmlichen Programmen dadurch, dass es minimale Spezifikationen enthält, die alles beschreiben, was mit ausgewählten Details zu tun hat. AsmL erleichtert die Beschreibung von Systemzuständen in Bezug auf Variablen und Operationen, die für den Benutzer sinnvoll sind.
AsmL ist als Software-Modellierungssprache im Tool Spec Explorer verfügbar, einer Visual Studio 2010-Komponente. Eine Open-Source-Implementierung von AsmL ist als XASM-Sprache (Extensible Abstract State Machines) verfügbar.
