Tartalomjegyzék:
- Meghatározás - Mit jelent az Abstract State Machine Language (AsmL)?
- A Techopedia magyarázza az abszolút állapotgépek nyelvét (AsmL)
Meghatározás - Mit jelent az Abstract State Machine Language (AsmL)?
Az Abstract State Machine Language (AsmL) egy elvégzhető specifikációs nyelv, amely az Abstract State Machine (ASM) elméletén alapul. Az AsmL-t rendszermodellezéshez, elemzéshez, szimulációhoz és a megfelelőség teszteléséhez használják.
Az AsmL-t a Microsoft szoftverfejlesztési alapjainak (FSE) kutatócsoportja fejlesztette ki. Teljes mértékben integrálódik a .NET környezetbe és a Microsoft fejlesztési eszközeibe, beleértve a Word és a Visual Studio .NET.
A Techopedia magyarázza az abszolút állapotgépek nyelvét (AsmL)
A kódoláshoz és a teszteléshez meghatározott programozási nyelvekkel ellentétben az AsmL a kommunikációs projekt tervezésére irányul. Ezenkívül az AsmL felhasználható a fejlesztés bármely szakaszában. Az AsmL specifikáció végrehajtása lehetővé teszi a modell tesztelését, a funkció interakciójának ellenőrzését, a tervezési cél teljesülését vagy a váratlan esemény tervezését.
Az AsmL-t a rendszer-specifikációhoz is használják, amely a felhasználók számára az ASM-en alapuló rendszerképet nyújt, amely a rendszer fejlődő futási idejének matematikai modellje.
Az AsmL abban különbözik a hagyományos programoktól, hogy minimális specifikációkat tartalmaz, amelyek leírják a kiválasztott részletekkel kapcsolatos bármit. Az AsmL megkönnyíti a rendszerállapot-leírást olyan változók és műveletek szempontjából, amelyek értelme a felhasználó számára.
Az AsmL szoftver modellezési nyelvként elérhető a Spec Explorer eszközben, amely a Visual Studio 2010 összetevő. Az AsmL nyílt forráskódú megvalósítása elérhető XASM (Extensible Abstract State Machines) nyelvként.
