Satura rādītājs:
- Definīcija - ko nozīmē Abstract State Machine Language (AsmL)?
- Techopedia skaidro abstrakto valsts mašīnu valodu (AsmL)
Definīcija - ko nozīmē Abstract State Machine Language (AsmL)?
Abstract State Machine Language (AsmL) ir izpildāma specifikāciju valoda, kas balstīta uz Abstract State Machine (ASM) teoriju. AsmL tiek izmantots sistēmu modelēšanai, analīzei, simulācijai un atbilstības pārbaudei.
AsmL ir izstrādājusi Microsoft programmatūras inženierijas (FSE) pētījumu komanda. Tas pilnībā integrējas ar .NET vidi un Microsoft izstrādes rīkiem, ieskaitot Word un Visual Studio .NET.
Techopedia skaidro abstrakto valsts mašīnu valodu (AsmL)
Atšķirībā no daudzām programmēšanas valodām, kas norādītas kodēšanai un testēšanai, AsmL ir vērsts uz komunikāciju projekta dizainā. Turklāt AsmL var izmantot jebkurā attīstības posmā. AsmL specifikācijas izpilde ļauj veikt modeļa testēšanu, funkciju mijiedarbības pārbaudes, dizaina mērķa izpildi vai neparedzētu notikumu plānošanu.
AsmL ir arī pieradis pie sistēmas specifikācijas, kas lietotājiem nodrošina sistēmas attēlu, kura pamatā ir ASM - sistēmas mainīgā izpildlaika matemātiskais modelis.
AsmL atšķiras no tradicionālajām programmām ar to, ka nodrošina minimālas specifikācijas, aprakstot jebko, kas saistīts ar izvēlēto informāciju. AsmL atvieglo sistēmas stāvokļu aprakstus mainīgo lielumu un darbību izteiksmē, kas lietotājam ir jēga.
AsmL ir pieejams kā programmatūras modelēšanas valoda rīkā Spec Explorer, kas ir Visual Studio 2010 komponents. AsmL atklātā pirmkoda ieviešana ir pieejama kā XASM (Extensible Abstract State Machines) valoda.
