Innholdsfortegnelse:
- Definisjon - Hva betyr Abstract State Machine Language (AsmL)?
- Techopedia forklarer Abstract State Machine Language (AsmL)
Definisjon - Hva betyr Abstract State Machine Language (AsmL)?
Abstract State Machine Language (AsmL) er et kjørbart spesifikasjonsspråk basert på teorien om Abstract State Machine (ASM). AsmL brukes til systemmodellering, analyse, simulering og konformitetstesting.
AsmL er utviklet av Microsofts forskerteam for Foundations of Software Engineering (FSE). Det integreres fullt ut med .NET-miljøet og Microsofts utviklingsverktøy, inkludert Word og Visual Studio .NET.
Techopedia forklarer Abstract State Machine Language (AsmL)
I motsetning til et antall programmeringsspråk som er spesifisert for koding og testing, er AsmL rettet mot å formidle prosjektdesign. I tillegg kan AsmL brukes i ethvert utviklingsstadium. Gjennomføring av AsmL-spesifikasjoner muliggjør testing av modeller, interaksjonskontroller av funksjonen, oppfyllelse av designmål eller uventet hendelsesplanlegging.
AsmL er også vant til for systemspesifikasjon, som gir brukerne et systembilde basert på ASM, en matematisk modell av systemets utviklingstime.
AsmL skiller seg fra tradisjonelle programmer ved at den gir minimale spesifikasjoner som beskriver alt relatert til utvalgte detaljer. AsmL letter systemtilstandsbeskrivelser med tanke på variabler og operasjoner som gir mening for brukeren.
AsmL er tilgjengelig som programvaremodelleringsspråk i verktøyet Spec Explorer, som er en Visual Studio 2010-komponent. En åpen kildekodeimplementering av AsmL er tilgjengelig som XASM (Extensible Abstract State Machines).
