Definición: ¿Qué significa el lenguaje de máquina de estado abstracto (AsmL)?
Abstract State Machine Language (AsmL) es un lenguaje de especificación ejecutable basado en la teoría de Abstract State Machine (ASM). AsmL se utiliza para el modelado, análisis, simulación y pruebas de conformidad de sistemas.
AsmL es desarrollado por el equipo de investigación de Fundamentos de Ingeniería de Software (FSE) de Microsoft. Se integra completamente con el entorno .NET y las herramientas de desarrollo de Microsoft, incluidos Word y Visual Studio .NET.
Techinfo explica el lenguaje de máquina de estado abstracto (AsmL)
A diferencia de varios lenguajes de programación especificados para codificación y prueba, AsmL está orientado a comunicar el diseño de proyectos. Además, AsmL puede usarse durante cualquier etapa de desarrollo. La ejecución de la especificación AsmL permite realizar pruebas de modelos, verificaciones de interacción de funciones, cumplimiento de objetivos de diseño o planificación de eventos no anticipados.
AsmL también se utiliza para la especificación del sistema, que proporciona a los usuarios una imagen del sistema basada en ASM, un modelo matemático del estado de tiempo de ejecución en evolución del sistema.
AsmL se diferencia de los programas tradicionales en que proporciona especificaciones mínimas que describen todo lo relacionado con los detalles seleccionados. AsmL facilita las descripciones del estado del sistema en términos de variables y operaciones que tienen sentido para el usuario.
AsmL está disponible como lenguaje de modelado de software en la herramienta Spec Explorer, que es un componente de Visual Studio 2010. Una implementación de código abierto de AsmL está disponible como lenguaje Extensible Abstract State Machines (XASM).