CoreASM

CoreASM es un proyecto de código abierto (con licencia Academic Free License versión 3.0) que se centra en el diseño de un lenguaje ASM ( máquinas de estados abstractos ) ejecutable y ligero, en combinación con un entorno de herramientas de apoyo para el diseño de alto nivel , la validación experimental y la verificación formal (cuando corresponda) de modelos de sistemas abstractos.

Las máquinas de estados abstractos son conocidas por su versatilidad en el modelado de algoritmos, arquitecturas, lenguajes, protocolos y prácticamente todo tipo de sistemas secuenciales, paralelos y distribuidos. El formalismo de las máquinas de estados abstractos ha sido estudiado exhaustivamente por investigadores del ámbito académico e industrial durante más de 15 años con el objetivo de tender un puente entre los enfoques formales y pragmáticos.

La ingeniería de sistemas basada en modelos puede beneficiarse de las especificaciones ejecutables abstractas como herramienta para la exploración del diseño y la validación experimental mediante simulación y pruebas. Partiendo de la experiencia con dos generaciones de herramientas ASM, se está desarrollando un nuevo lenguaje ASM ejecutable llamado CoreASM (véase la página web de CoreASM ).

El lenguaje CoreASM enfatiza la libertad de experimentación y apoya la naturaleza evolutiva del diseño como producto de la creatividad. Es particularmente adecuado para explorar el espacio del problema con el fin de redactar una especificación inicial. El lenguaje CoreASM permite escribir especificaciones altamente abstractas y concisas al minimizar la necesidad de codificación al mapear el espacio del problema a un modelo formal, y al permitir la declaración explícita de las partes de la especificación que se dejan deliberadamente abstractas. El principio de minimalismo, combinado con la robustez del marco matemático subyacente, mejora la modificabilidad de las especificaciones, al tiempo que apoya eficazmente la naturaleza altamente iterativa de la especificación y el diseño.

• R. Farahbod, V. Gervasi, U. Glässer y M. Memon. Exploración del diseño y validación experimental de requisitos abstractos , Actas de la 12.ª Conferencia Internacional de Trabajo sobre Ingeniería de Requisitos: Fundamentos para la Calidad del Software (REFSQ'06), junio de 2006, Luxemburgo, Gran Ducado de Luxemburgo, Essener Informatik Beitrage, ISBN 3-922602-26-6.
• R. Farahbod, V. Gervasi, U. Glässer y M. Memon. Diseño y especificación del motor de ejecución CoreASM, Parte 1: el núcleo . Informe técnico SFU-CMPT-TR-2006-09, Universidad Simon Fraser , mayo de 2006.
• R. Farahbod, V. Gervasi y U. Glässer. CoreASM: Un motor de ejecución ASM extensible . En D. Beauquier, E. Börger y A. Slissenko (Eds.), Actas del 12.º Taller Internacional sobre Máquinas de Estado Abstractas, París, marzo de 2005, páginas 153-165.
• ... referencias y documentación adicionales

• El proyecto CoreASM en GitHub
• La wiki de CoreASM
• Página principal de Máquinas de estados abstractos