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:
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: