Inhoudsopgave:
- Definitie - Wat betekent Abstract State Machine Language (AsmL)?
- Techopedia verklaart Abstract State Machine Language (AsmL)
Definitie - Wat betekent Abstract State Machine Language (AsmL)?
Abstract State Machine Language (AsmL) is een uitvoerbare specificatietaal gebaseerd op de theorie van Abstract State Machine (ASM). AsmL wordt gebruikt voor systeemmodellering, analyse, simulatie en conformiteitstests.
AsmL is ontwikkeld door het onderzoeksteam van Foundations of Software Engineering (FSE) van Microsoft. Het integreert volledig met de .NET-omgeving en de ontwikkeltools van Microsoft, waaronder Word en Visual Studio .NET.
Techopedia verklaart Abstract State Machine Language (AsmL)
In tegenstelling tot een aantal programmeertalen die zijn gespecificeerd voor codering en testen, is AsmL gericht op het communiceren van projectontwerp. Bovendien kan AsmL tijdens elke ontwikkelingsfase worden gebruikt. Met de uitvoering van de AsmL-specificatie kunnen modeltests worden uitgevoerd, functie-interactiecontroles, verwezenlijking van het ontwerpdoel of onverwachte planning van evenementen.
AsmL wordt ook gebruikt voor systeemspecificatie, die gebruikers een systeembeeld biedt op basis van ASM, een wiskundig model van de zich ontwikkelende runtime-status van het systeem.
AsmL verschilt van traditionele programma's doordat het minimale specificaties biedt die alles beschrijven dat verband houdt met geselecteerde details. AsmL faciliteert systeemstatusbeschrijvingen in termen van variabelen en bewerkingen die logisch zijn voor de gebruiker.
AsmL is beschikbaar als softwaremodelleringstaal in de tool Spec Explorer, een onderdeel van Visual Studio 2010. Een open-source implementatie van AsmL is beschikbaar als XASM-taal (Extensible Abstract State Machines).
