Cuprins:
- Definiție - Ce înseamnă limbajul Abstract State Machine (AsmL)?
- Techopedia explică limbajul Abstract State Machine (AsmL)
Definiție - Ce înseamnă limbajul Abstract State Machine (AsmL)?
Abstract State Machine Language (AsmL) este un limbaj de specificare executabil bazat pe teoria Abstract State Machine (ASM). AsmL este utilizat pentru modelarea, analiza, simularea și testarea conformității sistemului.
AsmL este dezvoltat de echipa de cercetare Microsoft Foundations of Software Engineering (FSE). Se integrează pe deplin cu mediul .NET și instrumentele de dezvoltare Microsoft, inclusiv Word și Visual Studio .NET.
Techopedia explică limbajul Abstract State Machine (AsmL)
Spre deosebire de o serie de limbaje de programare specificate pentru codare și testare, AsmL este orientat către comunicarea proiectării proiectului. În plus, AsmL poate fi utilizat în orice etapă de dezvoltare. Execuția specificațiilor AsmL permite testarea modelului, verificarea interacțiunii caracteristicilor, îndeplinirea obiectivelor de proiectare sau planificarea evenimentelor neanticipate.
AsmL este de asemenea folosit pentru specificarea sistemului, care oferă utilizatorilor o imagine de sistem bazată pe ASM, un model matematic al stării de rulare a sistemului în curs de evoluție.
AsmL diferă de programele tradiționale prin faptul că oferă specificații minime care descriu orice este legat de detaliile selectate. AsmL facilitează descrierile de stare ale sistemului în termeni de variabile și operații care au sens pentru utilizator.
AsmL este disponibil ca limbaj de modelare software în instrumentul Spec Explorer, care este o componentă Visual Studio 2010. O implementare open-source a AsmL este disponibilă ca limbaj Extensible Abstract State Machines (XASM).
