Hispanopedia WikiEl lenguaje de máquina de estados abstractos ( AsmL ) es un lenguaje de programación basado en máquinas de estados abstractos [ 1 ] desarrollado por Microsoft . [ 2 ] AsmL es un lenguaje funcional . [ 3 ]
AsmL es un lenguaje funcional de alto nivel creado en Microsoft Research que permite a los desarrolladores modelar, especificar formalmente y probar comportamientos del sistema utilizando el enfoque de máquina de estados abstracta , con una integración perfecta en el marco .NET . [ 4 ]
XASM es una implementación de código abierto del lenguaje. XASM proporciona un concepto de modularización basado en componentes con soporte de compilador que traduce las especificaciones de XASM a C , lo que permite una ejecución eficiente de los modelos y ayuda en el desarrollo de componentes reutilizables de máquinas de estados abstractas. [ 5 ]
Referencias
- ↑ Omar Badreddin (2010) " Umple : un lenguaje de programación orientado a modelos." Ingeniería de Software, 32.ª Conferencia Internacional ACM/IEEE de 2010. Vol. 2. IEEE, 2010.
- ↑ Chen, Kai, Janos Sztipanovits y Sandeep Neema. «Hacia una infraestructura de anclaje semántico para lenguajes de modelado específicos de dominio». Actas de la 5.ª conferencia internacional de la ACM sobre software embebido. ACM, 2005.
- ↑ Grieskamp, Wolfgang, et al. "Casos de uso comprobables en el lenguaje de máquina de estados abstractos." Quality Software, 2001. Actas. Segunda Conferencia Asia-Pacífico sobre. IEEE, 2001.
- ↑ "AsmL: Lenguaje abstracto de máquinas de estados" . Microsoft Research . Consultado el 29 de diciembre de 2025 .
- ↑ "Descripción general de XASM" . xasm.sourceforge.net . Consultado el 29 de diciembre de 2025 .
Enlaces externos
- Microsoft: ASML
- Los fundamentos de la especificación: AsmL, comportamiento y componentes.
- Introducción a AsmL: Un tutorial para el lenguaje de máquina de estados abstractos ( PDF )
- AsmL: El lenguaje de máquina de estados abstractos
- XASM
- Lenguajes de programación .NET
- Temas básicos de lenguajes de programación