Obsah:
- Definice - Co znamená abstraktní státní strojový jazyk (AsmL)?
- Techopedia vysvětluje abstraktní státní strojový jazyk (AsmL)
Definice - Co znamená abstraktní státní strojový jazyk (AsmL)?
Abstrakt State Machine Language (AsmL) je spustitelný jazyk specifikace založený na teorii Abstrakt State Machine (ASM). AsmL se používá pro modelování systému, analýzu, simulaci a testování shody.
AsmL je vyvinut výzkumným týmem společnosti Microsoft Foundations of Software Engineering (FSE). Plně se integruje do prostředí .NET a vývojových nástrojů společnosti Microsoft, včetně Word a Visual Studio .NET.
Techopedia vysvětluje abstraktní státní strojový jazyk (AsmL)
Na rozdíl od řady programovacích jazyků určených pro kódování a testování se AsmL zaměřuje na komunikaci o návrhu projektu. Kromě toho může být AsmL použit během kterékoli fáze vývoje. Provedení specifikace AsmL umožňuje testování modelu, kontroly interakce funkcí, splnění cílů návrhu nebo neočekávané plánování událostí.
AsmL se také používá pro specifikaci systému, která uživatelům poskytuje obraz systému založený na ASM, matematickém modelu vyvíjejícího se runtime stavu systému.
AsmL se liší od tradičních programů v tom, že poskytuje minimální specifikace popisující vše, co souvisí s vybranými detaily. AsmL usnadňuje popis stavu systému z hlediska proměnných a operací, které dávají uživateli smysl.
AsmL je k dispozici jako jazyk pro modelování softwaru v nástroji Spec Explorer, který je součástí aplikace Visual Studio 2010. Open-source implementace AsmL je k dispozici jako jazyk XASM (Extensible Abstract State Machines).
