Obsah:
- Definícia - Čo znamená abstraktný štátny strojový jazyk (AsmL)?
- Techopedia vysvetľuje abstraktný štátny strojový jazyk (AsmL)
Definícia - Čo znamená abstraktný štátny strojový jazyk (AsmL)?
Abstraktný štátny strojový jazyk (AsmL) je vykonateľný špecifikačný jazyk založený na teórii abstraktného štátneho stroja (ASM). AsmL sa používa na modelovanie systému, analýzu, simuláciu a testovanie zhody.
AsmL je vyvinutý výskumným tímom spoločnosti Foundations of Software Engineering (FSE). Plne sa integruje do prostredia .NET a vývojových nástrojov spoločnosti Microsoft vrátane Word a Visual Studio .NET.
Techopedia vysvetľuje abstraktný štátny strojový jazyk (AsmL)
Na rozdiel od mnohých programovacích jazykov určených na kódovanie a testovanie sa AsmL zameriava na komunikáciu o návrhu projektu. AsmL sa môže navyše použiť počas ktorejkoľvek fázy vývoja. Vykonanie špecifikácie AsmL umožňuje testovanie modelu, kontrolu interakcie funkcií, splnenie cieľov návrhu alebo neočakávané plánovanie udalostí.
AsmL sa tiež používa na špecifikáciu systému, ktorá poskytuje používateľom systémový obraz založený na ASM, matematickom modeli vyvíjajúceho sa runtime stavu systému.
AsmL sa líši od tradičných programov v tom, že poskytuje minimálne špecifikácie opisujúce všetko, čo súvisí s vybranými podrobnosťami. AsmL uľahčuje popis stavu systému z hľadiska premenných a operácií, ktoré majú pre užívateľa zmysel.
AsmL je k dispozícii ako jazyk na modelovanie softvéru v nástroji Spec Explorer, ktorý je súčasťou programu Visual Studio 2010. Open-source implementácia AsmL je k dispozícii ako jazyk Extensible Abstract State Machines (XASM).
