CoFI and CASL
The Common Algebraic Specification Language, CASL, is an
algebraic specification language based on order-sorted
first-order logic with predicates, total and partial functions,
developed by the Common Framework Initiative, CoFI. The main features
of CASL include the possibility to build larger specifications
from smaller specifications using structured specifications;
further, the possibility to express the composition of the
specified software from separately-developed, reusable units by
architectural specifications; and finally the distributed storage
and retrieval of named specifications in specification libraries.
The Common Framework Initiative consists of an open group of
people with the goal of providing a family of specification
languages by on one hand extending a single, reasonably
expressive common specification language, CASL, to various
extension languages, e.g. oriented to a particular programming
design, and on the other hand defining various sub-languages of
CASL, e.g. executable or unparameterized.
More information on CoFI and CASL can be found at the CoFI web
site http://www.brics.dk/Projects/CoFI/ .
Part of CASL Case Studies
Hubert Baumeister
December 22, 2006