Formal specification of software systems using CASL and extensions

Formal specification helps to increase the quality and reliability of software systems.
Initiated by the IFIP Working Group 1.3 and the former Working Group COMPASS, in 1995 the Common Framework Initiative for Specification and Development (CoFI) was started. The goal is to design a Common Framework for Algebraic Specification. The design of the central language CASL has been finished and a first set of tools is available.

In Bremen, work concentrates on several extensions of CASL. For each extension, design, semantics as well as tools are being developed.

• CASL  - the central language
• HasCASL  - specification of functional programs
• CSP-CASL  - specification of reactive systems
• CoCASL  - coalgebraic specification
• HetCASL - heterogeneous specification using different logics
• Methodology and applications
• Hets, the Heterogeneous tool set, providing tool support for the above languages

Publications

• Common Framework Initiative for algebraic specification and development (CoFI)
• CASL
• Methodology and libraries for CASL
• Semantic foundations of CASL
• HasCASL
• CoCASL
• Multi logic systems and heterogeneous specification
• CSP - Communicating Sequential Processes (CSP)
• Integration of CSP and CASL (CSP-CASL)