This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.2.
CASL is an expressive language for the algebraic specification of software requirements, design, and architecture. It has been developed by an open collaborative effort called CoFI (Common Framework Initiative for algebraic specification and development). CASL combines the best features of many previous algebraic specification languages, and it is hoped that it may provide a focus for future research and development in the use of algebraic techniques, as well being attractive for industrial use.This paper presents CASL for users of the CafeOBJ framework. It first considers the many constructs of CafeOBJ that have direct counterparts in CASL, and the few that do not. It then explains and motivates various CASL constructs that are not provided by CafeOBJ. Finally, it gives a concise overview of CASL, and illustrates how some CafeOBJ specifications may be expressed in CASL.