Lenguaje común de especificación algebraica

El lenguaje de especificación algebraica común ( CASL ) es un lenguaje de especificación de propósito general basado en lógica de primer orden con inducción . También se admiten funciones parciales y subclasificación .

CASL ha sido diseñado por CoFI, la Iniciativa Marco Común (CoFI), con el objetivo de subsumir muchos lenguajes de especificación existentes.

CASL comprende cuatro niveles:

• Especificaciones básicas, para la especificación de módulos de software individuales,
• Especificaciones estructuradas, para la especificación modular de módulos,
• especificaciones arquitectónicas, para la prescripción de la estructura de las implementaciones ,
• bibliotecas de especificaciones, para almacenar especificaciones distribuidas a través de Internet .

Los cuatro niveles son ortogonales entre sí. En particular, es posible utilizar especificaciones y bibliotecas estructuradas y arquitectónicas CASL con lógicas distintas a las de CASL. Para ello, la lógica debe formalizarse como institución . Esta característica también la utilizan las extensiones CASL.

Se han diseñado varias extensiones de CASL:

• HasCASL, una extensión de orden superior
• CoCASL, una extensión coalgebraica
• CspCASL, una extensión concurrente basada en CSP
• ModalCASL, una extensión de la lógica modal
• CASL-LTL, una extensión de lógica temporal
• HetCASL, una extensión para la especificación heterogénea

• Sitio web oficial de CoFI
• Ley de Seguridad Alimentaria
• El conjunto de herramientas heterogéneas Hets, la principal herramienta de análisis para CASL