CASL - The Common Algebraic Specification Language

The specification language developed by CoFI is called CASL: the Common Algebraic Specification Language. Its main features are as follows:

CASL is based on a critical selection of known constructs.
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.

Bremen has contributed to design and semantics of CASL. The relevant publications are:

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
Till Mossakowski: Relating CASL with Other Specification Languages: the Institution Level. Theoretical Computer Science 286, p. 367-475, 2002.
Abstract, postscript 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.

All Bremen publications about CASL.

Author: Dr. Till Mossakowski

Group BKB

Last updated: February 3, 2006