Abstract
The Common Algebraic Specification Language (C ASL) is an expressive language for the formal specification of functional requirements and modular design of software. It has been designed by C OFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic, and structured and architectural specifications. C ASL should facilitate interoperability of many existing algebraic prototyping and verification tools. This paper gives an overview of the C ASL design. The major issues that had to be resolved in the design process are indicated, and all the main concepts and constructs of C ASL are briefly explained and illustrated — the reader is referred to the C ASL Language Summary for further details. Some familiarity with the fundamental concepts of algebraic specification would be advantageous.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
