Оглавление:
- Определение - Что означает абстрактный машинный язык состояний (AsmL)?
- Techopedia объясняет абстрактный государственный машинный язык (AsmL)
Определение - Что означает абстрактный машинный язык состояний (AsmL)?
Abstract State Machine Language (AsmL) - это исполняемый язык спецификаций, основанный на теории Abstract State Machine (ASM). AsmL используется для моделирования системы, анализа, симуляции и тестирования соответствия.
AsmL разработан исследовательской группой Microsoft Foundation of Software Engineering (FSE). Он полностью интегрируется со средой .NET и инструментами разработки Microsoft, включая Word и Visual Studio .NET.
Techopedia объясняет абстрактный государственный машинный язык (AsmL)
В отличие от ряда языков программирования, указанных для кодирования и тестирования, AsmL ориентирован на коммуникацию дизайна проекта. Кроме того, AsmL может использоваться на любой стадии разработки. Выполнение спецификации AsmL позволяет проводить тестирование моделей, проверку взаимодействия функций, достижение целей проектирования или планирование непредвиденных событий.
AsmL также используется для спецификации системы, которая предоставляет пользователям системную картину на основе ASM, математической модели развивающегося состояния среды выполнения системы.
AsmL отличается от традиционных программ тем, что предоставляет минимальные спецификации, описывающие все, что связано с выбранными деталями. AsmL облегчает описания состояния системы в терминах переменных и операций, которые имеют смысл для пользователя.
AsmL доступен в качестве языка моделирования программного обеспечения в инструменте Spec Explorer, который является компонентом Visual Studio 2010. Реализация AsmL с открытым исходным кодом доступна на языке XASM.
