Преглед садржаја:
- Дефиниција - Шта значи језик абстрактног државног строја (АсмЛ)?
- Техопедија објашњава језик апстрактног државног строја (АсмЛ)
Дефиниција - Шта значи језик абстрактног државног строја (АсмЛ)?
Језик апстрактног државног строја (АсмЛ) је извршни језик спецификације који се заснива на теорији софтвера апстрактне државе (АСМ). АсмЛ се користи за моделирање система, анализу, симулацију и тестирање усаглашености.
АсмЛ је развио Мицрософтов истраживачки тим Фоундатион оф Софтваре Енгинееринг (ФСЕ). Интегрише се у потпуности у .НЕТ окружење и Мицрософтове развојне алате, укључујући Ворд и Висуал Студио .НЕТ.
Техопедија објашњава језик апстрактног државног строја (АсмЛ)
За разлику од бројних програмских језика специфицираних за кодирање и тестирање, АсмЛ је усмјерен према комуникацији дизајна пројекта. Уз то, АсмЛ се може користити током било које фазе развоја. Извођење АсмЛ спецификације омогућава тестирање модела, провере интеракције функција, испуњење циљева дизајна или непредвиђено планирање догађаја.
АсмЛ се такође користи за спецификацију система, који корисницима пружа системску слику засновану на АСМ, математичком моделу еволуирајућег стања извршења система.
АсмЛ се од традиционалних програма разликује по томе што пружа минималне спецификације које описују све што се тиче одабраних детаља. АсмЛ олакшава опис стања система у смислу променљивих и операција које имају смисла за корисника.
АсмЛ је доступан као језик за моделирање софтвера у алату Спец Екплорер, који је компонента Висуал Студио 2010. Имплементација АсмЛ-а отвореног кода доступна је као језик КСАСМ (Ектенсибле Абстрацт Мацхине Мацхинес).
