Abstract
One of the 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 discussion of refinement of Casl specifications provides the setting for a presentation of the rationale behind architectural specifications. This is followed by details of the features provided in Casl for architectural specifications, hints concerning their semantics, and simple results justifying their usefulness in the development process.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Allen and D. Garlan. A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology, July 1997.
M. Bidoit. The stratified loose approach: a generalization of initial and loose semantics. Selected Papers from the 5th Workshop on Specification of Abstract Data Types, Gullane. Springer LNCS 332, 1–22 1988.
M. Bidoit and R. Hennicker. A general framework for modular implementations of modular systems. Proc. 5th Joint Conf. on Theory and Practice of Software Development, Orsay. Springer LNCS 668, 199–2141993.
M. Bidoit and R. Hennicker. Modular correctness proofs of behavioural implementations. Acta Informatica, to appear 199?.
R. Burstall and J. Goguen. Putting theories together to make specifications. Proc. 5th Intl. Joint Conf. on Artificial Intelligence, Cambridge, 1045–1058 1977.
The Common Framework Initiative. Catalogue of existing frameworks. http://www.brics.dk/Projects/CoFI/Catalogue.html (1996).
The Common Framework Initiative. CoFI: The Common Framework Initiative for algebraic specification and development (WWW pages). http://www.brics.dk/Projects/CoFI/1998.
CoFI Task Group on Language Design. Casl-The CoFI algebraic specification language-Summary (version 1.0). http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/1998.
CoFI Task Group on Semantics scasl-The CoFI algebraic specification language-Semantics (version 1.0). To appear1998.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer 1985.
J. Fitzgerald and C. Jones. Modularizing the formal description of a database system. Proc. VDM’90 Conference, Kiel. Springer LNCS 428, 198–2101990.
J. Goguen and R. Burstall. CAT, a system for the structured elaboration of correct programs from structured specifications. Technical report CSL-118, SRI International 1980.
J. Goguen and R. Burstall. Institutions: abstract model theory for specification and programming. Journal of the Assoc. for Computing Machinery 39:95–1461992.
J. Guttag and J. Horning. Larch: Languages and Tools for Formal Specification. Springer 1993.
R. Hennicker and F. Nickl. A behavioural algebraic framework for modular system design and reuse. Recent Trends in Data Type Specifications. Proc. 9th Workshop on Specification of Abstract Data Types ADT’92, Caldes de Mavella, Springer LNCS 785, 220–234.
B. Krieg-Brückner and D. Sannella. Structuring specifications in-the-large and in-the-small: higher-order functions, dependent types and inheritance in SPECTRAL. Proc. Colloq. on Combining Paradigms for Software Development, Joint Conf. on Theory and Practice of Software Development (TAPSOFT), Brighton. Springer LNCS 494, 313–3361991.
J. Morris and S. Ahmed. Designing and refining specifications with modules. Proc. 3rd Refinement Workshop, Hursley Park, 1990. Springer Workshops in Computing, 73–95 1991.
T. Mossakowski. Institution-independent semantics for Casl-in-the-large. CoFI note S-8 1998.
P. Mosses. CoFI: The Common Framework Initiative for algebraic specification and development. Proc. 7th Intl. Joint Conf. on Theory and Practice of Software Development, Lille. Springer LNCS 1214, 115–1371997.
M. Navarro, F. Orejas and A. Sanchez. On the correctness of modular systems. Theoretical Computer Science 140:139–1771995.
D. Sannella, S. Sokolowski and A. Tarlecki. Toward formal development of programs from algebraic specifications: parameterisation revisited. Acta Informatica 29:689–7361992.
D. Sannella and A. Tarlecki. Toward formal development of ML programs: foundations and methodology. Proc. 3rd Joint Conf. on Theory and Practice of Software Development, Barcelona. Springer LNCS 352375–3891989.
D. Sannella and A. Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computing 9:229–2691997.
D. Sannella and M. Wirsing. A kernel language for algebraic specification and implementation. Proc. 1983 Intl. Conf. on Foundations of Computation Theory, Borgholm. Springer LNCS 158, 413–4271983.
D. Sannella and M. Wirsing. Specification languages. Chapter 8 of Algebraic Foundations of Systems Specification (eds. E. Astesiano, H.-J. Kreowski and B. Krieg-Brückner). Springer, to appear 1998.
O. Schoett. Data Abstraction and the Correctness of Modular Programming. Ph.D. thesis, report CST-42-87, Dept. of Computer Science, Univ. of Edinburgh 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bidoit, M., Sannella, D., Tarlecki, A. (1998). Architectural Specifications in CASL. In: Haeberer, A.M. (eds) Algebraic Methodology and Software Technology. AMAST 1999. Lecture Notes in Computer Science, vol 1548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49253-4_25
Download citation
DOI: https://doi.org/10.1007/3-540-49253-4_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65462-9
Online ISBN: 978-3-540-49253-5
eBook Packages: Springer Book Archive