Indholdsfortegnelse:
- Definition - Hvad betyder Abstract State Machine Language (AsmL)?
- Techopedia forklarer Abstract State Machine Language (AsmL)
Definition - Hvad betyder Abstract State Machine Language (AsmL)?
Abstract State Machine Language (AsmL) er et eksekverbart specifikationssprog baseret på teorien om Abstract State Machine (ASM). AsmL bruges til systemmodellering, analyse, simulering og konformitetstest.
AsmL er udviklet af Microsofts Research Team of Foundations of Software Engineering (FSE). Det integreres fuldstændigt med .NET-miljøet og Microsofts udviklingsværktøjer, herunder Word og Visual Studio .NET.
Techopedia forklarer Abstract State Machine Language (AsmL)
I modsætning til et antal programmeringssprog, der er specificeret til kodning og test, er AsmL rettet mod at kommunikere projektdesign. Derudover kan AsmL anvendes i ethvert udviklingsstadium. Udførelse af AsmL-specifikation muliggør modelafprøvning, funktion af interaktionskontrol, opfyldelse af designmål eller uventet begivenhedsplanlægning.
AsmL er også vant til systemspecifikation, der giver brugerne et systembillede baseret på ASM, en matematisk model for systemets udviklende runtime-tilstand.
AsmL adskiller sig fra traditionelle programmer, idet det giver minimale specifikationer, der beskriver alt, der er relateret til udvalgte detaljer. AsmL letter systemtilstandsbeskrivelser med hensyn til variabler og operationer, der giver mening for brugeren.
AsmL er tilgængeligt som et softwaremodelleringssprog i værktøjet Spec Explorer, som er en Visual Studio 2010-komponent. En open source-implementering af AsmL er tilgængelig som XASM-sprog (Extensible Abstract State Machines).
