Taula de continguts:
- Definició: què significa el llenguatge de màquines abstractes d'estat (AsmL)?
- Techopedia explica el llenguatge de màquines abstractes de l'estat (AsmL)
Definició: què significa el llenguatge de màquines abstractes d'estat (AsmL)?
Abstract State Machine Language (AsmL) és un llenguatge d’especificacions executable basat en la teoria de Abstract State Machine (ASM). AsmL s'utilitza per a la modelització, anàlisi, simulació i proves de conformitat del sistema.
AsmL està desenvolupat per l’equip de recerca de Microsoft Engineering Fundations of Software Engineering (FSE). S'integra completament amb l'entorn .NET i les eines de desenvolupament de Microsoft, inclosos Word i Visual Studio .NET.
Techopedia explica el llenguatge de màquines abstractes de l'estat (AsmL)
A diferència de diversos llenguatges de programació especificats per a la codificació i les proves, AsmL està orientat a comunicar el disseny del projecte. Addicionalment, AsmL es pot utilitzar durant qualsevol fase de desenvolupament. L’execució d’especificacions AsmL permet provar models, comprovar la interacció de funcions, complir els objectius de disseny o planificar esdeveniments no anticipats.
AsmL també s’utilitza per a l’especificació del sistema, que proporciona als usuaris una imatge del sistema basada en ASM, un model matemàtic de l’estat d’execució en evolució del sistema.
AsmL es diferencia dels programes tradicionals, ja que proporciona especificacions mínimes per descriure qualsevol cosa relacionada amb els detalls seleccionats. AsmL facilita les descripcions de l'estat del sistema en termes de variables i operacions que tenen sentit per a l'usuari.
AsmL està disponible com a llenguatge de modelatge de programari a l'eina Spec Explorer, que és un component de Visual Studio 2010. Una implementació de codi obert d’AsmL està disponible com a llenguatge XASM (Extensible Abstract State Machines).
