¿Qué es AsmL? Lenguaje de máquina de estado abstracto

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.

A diferencia de una serie de lenguajes de programación especificados para la codificación y las pruebas, 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 de AsmL permite la prueba de modelos, las comprobaciones de interacción de características, el cumplimiento de objetivos de diseño o la planificación de eventos imprevistos.

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).

Relacionados

Deja un comentario