Langage de spécification algébrique commun - Common Algebraic Specification Language
Le langage de spécification algébrique commune ( CASL ) est un langage de spécification à usage général basé sur la logique du premier ordre avec induction . Les fonctions partielles et le sous- tri sont également pris en charge.
Aperçu
La CASL a été conçue par CoFI, la Common Framework Initiative (CoFI), dans le but de subsumer de nombreux langages de spécification existants.
La CASL comprend quatre niveaux:
- spécifications de base, pour la spécification de modules logiciels uniques,
- spécifications structurées, pour la spécification modulaire des modules,
- les spécifications architecturales, pour la prescription de la structure des implémentations ,
- bibliothèques de spécifications, pour stocker les spécifications distribuées sur Internet .
Les quatre niveaux sont orthogonaux les uns par rapport aux autres. En particulier, il est possible d'utiliser des spécifications structurées et architecturales CASL et des bibliothèques avec des logiques autres que CASL. Pour cela, la logique doit être formalisée en tant qu'institution . Cette fonctionnalité est également utilisée par les extensions CASL.
Extensions
Plusieurs extensions de CASL ont été conçues:
- HasCASL, une extension d' ordre supérieur
- CoCASL, une coalgebraic prolongation
- CspCASL, une extension simultanée basée sur CSP
- ModalCASL, une extension de logique modale
- CASL-LTL, une extension de logique temporelle
- HetCASL, une extension pour la spécification hétérogène
Liens externes
- Site Web officiel du CoFI
- CASL
- Le jeu d'outils hétérogène Hets, principal outil d'analyse de la CASL