Sadržaj:
- Definicija - Što znači jezik apstraktnog državnog stroja (AsmL)?
- Tehopedija objašnjava jezik apstraktnog državnog stroja (AsmL)
Definicija - Što znači jezik apstraktnog državnog stroja (AsmL)?
Jezik apstraktnog državnog stroja (AsmL) je izvršni jezik specifikacije koji se temelji na teoriji rada абстрактnog državnog stroja (ASM). AsmL se koristi za modeliranje sustava, analizu, simulaciju i testiranje sukladnosti.
AsmL je razvio Microsoftov istraživački tim zaklade softverskog inženjerstva (FSE). U potpunosti se integrira s .NET okruženjem i Microsoftovim razvojnim alatima, uključujući Word i Visual Studio .NET.
Tehopedija objašnjava jezik apstraktnog državnog stroja (AsmL)
Za razliku od brojnih programskih jezika specificiranih za kodiranje i testiranje, AsmL je usmjeren prema komuniciranju dizajna projekta. Uz to, AsmL se može koristiti tijekom bilo koje faze razvoja. Izvođenje AsmL specifikacije omogućava testiranje modela, provjere interakcije značajki, ispunjenje ciljeva dizajna ili nepredviđeno planiranje događaja.
AsmL se koristi i za specifikacije sustava koji korisnicima pruža sliku sustava koja se temelji na ASM-u, matematičkom modelu evoluiranog stanja izvođenja sustava.
AsmL se od tradicionalnih programa razlikuje po tome što pruža minimalne specifikacije koje opisuju sve što je povezano s odabranim detaljima. AsmL olakšava opis stanja sustava u smislu varijabli i operacija koje imaju smisla za korisnika.
AsmL je dostupan kao jezik za modeliranje softvera u alatu Spec Explorer, koji je komponenta Visual Studio 2010. Implementacija AsmL-a otvorenog koda dostupna je kao jezik Extensible Abstract State Machines (XASM).
