Innehållsförteckning:
- Definition - Vad betyder Abstract State Machine Language (AsmL)?
- Techopedia förklarar Abstract State Machine Language (AsmL)
Definition - Vad betyder Abstract State Machine Language (AsmL)?
Abstract State Machine Language (AsmL) är ett körbart specifikationsspråk baserat på teorin om Abstract State Machine (ASM). AsmL används för systemmodellering, analys, simulering och överensstämmelsestestning.
AsmL är utvecklad av Microsofts forskargrupp Foundations of Software Engineering (FSE). Den integreras fullständigt med .NET-miljön och Microsofts utvecklingsverktyg, inklusive Word och Visual Studio .NET.
Techopedia förklarar Abstract State Machine Language (AsmL)
Till skillnad från ett antal programmeringsspråk som specificeras för kodning och testning är AsmL inriktat på att kommunicera projektdesign. Dessutom kan AsmL användas under varje utvecklingsstadium. Exekvering av AsmL-specifikation möjliggör modelltestning, kontroll av funktionsinteraktion, uppfyllande av designmål eller oförutsedd händelseplanering.
AsmL är också van vid systemspecifikation, som ger användare en systembild baserad på ASM, en matematisk modell av systemets utvecklande körtid.
AsmL skiljer sig från traditionella program genom att det ger minimala specifikationer som beskriver allt relaterat till utvalda detaljer. AsmL underlättar beskrivningar av systemtillstånd när det gäller variabler och operationer som är vettiga för användaren.
AsmL är tillgängligt som ett programvaramodellspråk i verktyget Spec Explorer, som är en Visual Studio 2010-komponent. En öppen källkodsimplementering av AsmL är tillgänglig som XASM (Extensible Abstract State Machines).
