Definição – O que significa Abstract State Machine Language (AsmL)?
Abstract State Machine Language (AsmL) é uma linguagem de especificação executável baseada na teoria de Abstract State Machine (ASM). AsmL é usado para modelagem de sistema, análise, simulação e teste de conformidade.
O AsmL é desenvolvido pela equipe de pesquisa de Fundamentos de Engenharia de Software (FSE) da Microsoft. Ele se integra totalmente ao ambiente .NET e às ferramentas de desenvolvimento da Microsoft, incluindo Word e Visual Studio .NET.
Definirtec explica Abstract State Machine Language (AsmL)
Ao contrário de uma série de linguagens de programação especificadas para codificação e teste, o AsmL é voltado para comunicar o design do projeto. Além disso, o AsmL pode ser usado durante qualquer estágio de desenvolvimento. A execução da especificação AsmL permite o teste de modelo, verificações de interação de recursos, cumprimento de metas de design ou planejamento de eventos imprevistos.
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 porque fornece especificações mínimas que descrevem qualquer coisa relacionada aos detalhes selecionados. O AsmL facilita as descrições do estado do sistema em termos de variáveis e operações que fazem sentido para o usuário.
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 aberto do AsmL está disponível como linguagem Extensible Abstract State Machines (XASM).