Tabla de contenido:
- Definición: ¿Qué significa el lenguaje de máquina de estado abstracto (AsmL)?
- Techopedia explica el lenguaje de máquina de estado abstracto (AsmL)
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 modelar sistemas, análisis, simulación y pruebas de conformidad.
AsmL es desarrollado por el equipo de investigación de Fundamentos de Ingeniería de Software de Microsoft (FSE). Se integra completamente con el entorno .NET y las herramientas de desarrollo de Microsoft, incluidos Word y Visual Studio .NET.
Techopedia 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 del proyecto. Además, AsmL puede usarse durante cualquier etapa de desarrollo. La ejecución de la especificación AsmL permite pruebas de modelo, comprobaciones de interacción de características, cumplimiento de objetivos de diseño o planificación de eventos no anticipada.
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 difiere de los programas tradicionales en que proporciona especificaciones mínimas que describen cualquier cosa relacionada con los detalles seleccionados. AsmL facilita las descripciones de 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).
