The specification language developed by CoFI
is called CASL: the
Common Algebraic Specification Language. Its main features are as follows:
Bremen has contributed to design and semantics of CASL. The relevant publications
CASL is based on a critical selection of
It is an expressive, simple, pragmatic language.
It is suitable for specifying requirements
and design for conventional software packages
It has restrictions to various sublanguages.
It has extensions to higher-order, state-based,
concurrent, and other languages.
Use of CASL is supported by tools.
All Bremen publications about CASL.
Egidio Astesiano, Michel Bidoit, Helene Kirchner, Bernd Krieg-Brückner,
Peter D. Mosses, Donald Sannella and Andrzej Tarlecki:
CASL: the Common Algebraic Specification Language. Theoretical
Computer Science 286, p. 153-196, 2002.
postscript file and pdf file
CASL with Other Specification Languages: the Institution Level. Theoretical
Computer Science 286, p. 367-475, 2002.
file and pdf file
Michel Bidoit, Peter Mosses: CASL User Manual. Lecture Notes in Computer Science 2900,
Springer Verlag, 2003. With chapters by Till Mossakowski, Don Sannella and Andrzej Tarlecki.
Peter Mosses (ed.): CASL Reference Manual. Lecture Notes in Computer Science 2960,
Springer Verlag, 2004. Part I: Language Summary. Part II: Syntax. Part III: Semantics.
Part IV: Logic. Part V: Basic Libraries.
All parts are co-authored by authors from Bremen.