This document is available in various formats from the CoFI archives at ftp://ftp.brics.dk/Projects/CoFI/Notes/M-6/.Copyright ©2002 CoFI, The Common Framework Initiative for Algebraic Specification and Development.1
This note provides a style guide how to write specifications in CASL. The guidelines presented here were developed writing the note "Basic Datatypes in CASL" [4]. Thus they have proven to be useful in practice.The aim of this note is twofold: on the one hand it documents the methodology behind the "Basic Datatypes in CASL" [4] and thus helps to understand the design decision behind them. On the other hand the here presented "Methodological Guidelines" may be useful as a starting point for other methodologies.