Índice:
- Definição - O que significa AsmL (Abstract State Machine Language)?
- Techopedia explica Abstract State Machine Language (AsmL)
Definição - O que significa AsmL (Abstract State Machine Language)?
Abstract State Machine Language (AsmL) é uma linguagem de especificação executável baseada na teoria do Abstract State Machine (ASM). O AsmL é usado para modelagem de sistemas, análises, simulações e testes de conformidade.
O AsmL é desenvolvido pela equipe de pesquisa Foundations of Software Engineering (FSE) da Microsoft. Ele se integra totalmente ao ambiente .NET e às ferramentas de desenvolvimento da Microsoft, incluindo Word e Visual Studio .NET.
Techopedia explica Abstract State Machine Language (AsmL)
Ao contrário de várias linguagens de programação especificadas para codificação e teste, o AsmL é voltado para a comunicação do design do projeto. Além disso, o AsmL pode ser usado durante qualquer estágio do desenvolvimento. A execução da especificação AsmL permite teste de modelo, verificações de interação de recursos, cumprimento de metas de projeto ou planejamento de eventos imprevistos.
O AsmL também é usado para a especificação do sistema, que fornece aos usuários uma imagem do sistema baseada no ASM, um modelo matemático do estado de tempo de execução em evolução do sistema.
O AsmL difere dos programas tradicionais, pois fornece especificações mínimas descrevendo tudo relacionado a detalhes selecionados. O AsmL facilita descrições de estado do sistema em termos de variáveis e operações que fazem sentido para o usuário.
O AsmL está disponível como uma linguagem de modelagem de software na ferramenta Spec Explorer, que é um componente do Visual Studio 2010. Uma implementação de código-fonte aberto do AsmL está disponível como linguagem XASM (Extensible Abstract State Machines).
