Abstract.
One of the most novel features of CASL, 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 CASL specifications provides the setting for a presentation of the rationale behind architectural specifications. This is followed by some details of the features provided in CASL for architectural specifications, hints concerning their semantics, and simple results justifying their usefulness in the development process.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received October 2000 / Accepted in revised form July 2001
Rights and permissions
About this article
Cite this article
Bidoit, M., Sannella, D. & Tarlecki, A. Architectural Specifications in CASL. Form Aspects Comput 13, 252–273 (2002). https://doi.org/10.1007/s001650200012
Published:
Issue Date:
DOI: https://doi.org/10.1007/s001650200012