Architectural Specifications in CASL
Michel Bidoit, Donald Sannella, Andrzej Tarlecki · Formal Aspects of Computing · 2002
Abstract. One of the most novel features of C ASL , the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular structure of software systems. A brief discussion of refinement of C ASL specifications provides the setting for a presentation of the rationale behind architectural specifications. This is followed by some details of the features provided in C ASL for architectural specifications, hints concerning their semantics, and simple results justifying their usefulness in the development process.