Architectural specifications in CASL

Formal Aspects of Computing

Volumn 13, Issue 3-5, 2002, Pages 252-273

  Bidoit, Michel ^a,d   Sannella, Donald ^b   Tarlecki, Andrzej ^c  

^a CNRS   (France)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c UNIVERSITY OF WARSAW   (Poland)

^d CNRS   (France)

Author keywords

Algebraic specification; Architectural specifications; CASL; Formal software development; Specification of program structure

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; SEMANTICS; SOFTWARE ENGINEERING;

ALGEBRAIC SPECIFICATION; ARCHITECTURAL SPECIFICATIONS; CASL; COMMON ALGEBRAIC SPECIFICATION LANGUAGE (CASL); FORMAL SOFTWARE DEVELOPMENT; SPECIFICATION OF PROGRAM STRUCTURE;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 15744402408     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650200012     Document Type: Article

References (38)

1. [Ada94] Ada Reference Manual: Language and Standard Libraries, version 6.0. International standard ISO/IEC 8652:1995(E). http://www.adahome.com/rm95/, 1994.
2. [ABK03] Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Brückner, B., Mosses, P. D., Sannella, D. and Tarlecki, A.: CASL: The Common Algebraic Specification Language. Theoretical Computer Science, 2003 (to appear), http://www.lsv.ens-cachan.fr/Publis/PAPERS/CASL-TCS01.ps.
3. [AlG97] Allen, R. and Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, July 1997.
4. [BaW82] Bauer, F. and Wössner, H.: Algorithmic Language and Program Development. Springer, 1982.
5. [Bid88] Bidoit, M.: 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.
6. [BiH93] Bidoit, M. and Hennicker, R.: A general framework for modular implementations of modular systems. In Proceedings of the 5th Joint Conference on Theory and Practice of Software Development, Orsay. Springer LNCS 668, 199-214, 1993.
7. [BiH98] Bidoit, M. and Hennicker, R.: Modular correctness proofs of behavioural implementations. Acta Informatica 35:951-1005, 1998.
8. [BST99] Bidoit, M., Sannella, D. and Tarlecki, A.: Architectural specifications in CASL. In Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology AMAST'98, Manaus, Brazil. Springer LNCS 1548, 341-357, 1999.
9. [BuG77] Burstall, R. and Goguen, J.: Putting theories together to make specifications. In Proceedings of the 5th International Joint Conference on Artificial Intelligence, Cambridge, 1045-1058, 1977.
10. [BuG80] Burstall, R. and Goguen, J.: The semantics of Clear, a specification language. In Proceedings of Advanced Course on Abstract Software Specifications, Copenhagen. Springer LNCS 86, 292-332, 1980.
11. [BuL88] Burstall, R. and Lampson, B.: A kernel language for abstract data types and modules. Information and Computation 76:278-346, 1988.
12. [CFI96] Common Framework Initiative. Catalogue of existing frameworks. http://www.brics.dk/Projects/CoFI/Catalogue/ 1/, 1996.
13. [CFI01a] Common Framework Initiative. CoFI: The Common Framework Initiative for algebraic specification and development (WWW pages). http://www.brics.dk/Projects/CoFI/, 2001.
14. [CFI01b] CoFI Task Group on Language Design. CASL - The Common Algebraic Specification Language - Summary (version 1.0.1). http://www.brics.dk/Projects/ CoFI/Documents/CASL/Summary/, 2001.
15. [CFI02] CoFI Task Group on Semantics. CASL - The Common Algebraic Specification Language - Semantics. 2002 (to appear). For the current version, see http://www.brics.dk/Projects/CoFI/Documents/CASL/Semantics/.
16. [EhM85] Ehrig, H. and Mahr, B.: Fundamentals of Algebraic Specification I: Equations and Initial Semantics, Springer, 1985.
17. [FAC92] Formal Aspects of Computing 4(1), 1992. Special issue on module facilities in specification languages.
18. [FiL97] Fiadeiro, J. and Lopes, A.: Semantics of architectural connectors. In Proceedings of Colloquium on Formal Approaches in Software Engineering, Joint Conference on Theory and Practice of Software Development (TAPSOFT), Lille. Springer LNCS 1214, 505-519, 1997.
19. [FiJ90] Fitzgerald, J. and Jones, C.: Modularising the formal description of a database system. In Proceedings of VDM'90 Conference, Kiel. Springer LNCS 428, 198-210, 1990.
20. [GoB80] Goguen, J. and Burstall, R.: CAT, a system for the structured elaboration of correct programs from structured specifications. Technical report CSL-118, SRI International, 1980.
21. [GoB92] Goguen, J. and Burstall, R.: Institutions: abstract model theory for specification and programming. Journal of the Assoc. for Computing Machinery 39:95-146, 1992.
22. [GuH93] Guttag, J. and Horning, J.; Larch: Languages and Tools for Formal Specification. Springer, 1993.
23. [GHW82] Guttag, J. Horning, J. and Wing, J.; Some notes on putting formal specifications to productive use. Science of Computer Programming 2:53-68, 1982.
24. [HeN94] Hennicker, R. and Nickl, F.: A behavioural algebraic framework for modular system design and reuse. Selected Papers from the 9th Workshop on Specification of Abstract Data Types, Caldes de Malavella. Springer, LNCS 785, 220-234, 1994.
25. [KHT01] Klin, B., Hoffman, P., Tarlecki, A., Schröder, L. and Mossakowski, T.: Checking amalgamability conditions for CASL architectural specifications. Proc. International Symposium on Mathematical Foundations of Computer Science (MFCS 2001), Marianske Lazne. Springer LNCS 2136, 451-463, 2001.
26. [KrS91] Krieg-Brückner, B. and Sannella, D.: Structuring specifications in-the-large and in-the-small: higher-order functions, dependent types and inheritance in SPECTRAL. In Proceedings of Colloquium on Combining Paradigms for Software Development, Joint Conference on Theory and Practice of Software Development (TAPSOFT), Brighton. Springer LNCS 494, 313-336, 1991.
27. [MoA91] Morris, J. and Ahmed, S.: Designing and refining specifications with modules. In Proceedings of 3rd Refinement Workshop, Hursley Park, 1990. Springer Workshops in Computing, 73-95, 1991.
28. [Mos97] Mosses, P.: CoFI: The Common Framework Initiative for algebraic specification and development. In Proceedings of 7th International Joint Conference on Theory and Practice of Software Development, Lille. Springer LNCS 1214, 115-137, 1997.
29. [Mos00] Mossakowski, T.: Specifications in an arbitrary institution with symbols. Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, Chateau de Bonas, France. Springer LNCS 1827, 252-270, 2000.
30. [NOS95] Navarro, N., Orejas, F. and Sanchez, A.: On the correctness of modular systems. Theoretical Computer Science 140:139-177, 1995.
31. [Pau96] Paulson, L.: ML for the Working Programmer, 2nd edition. Cambridge University Press, 1996.
32. [SMT01] Schröder, L., Mossakowski, T., Tarlecki, A., Hoffman, P. and Klin, B.: Semantics of architectural specifications in CASL. In Proceedings of Fundamental Approaches to Software Engineering (FASE 2001), Genova, Springer LNCS 2029, 253-268, 2001.
33. [SST92] Sannella, D., Sokołowski, S. and Tarlecki, A.: Toward formal development of programs from algebraic specifications: parameterisation revisited. Acta Informatica 29:689-736, 1992.
34. [SaT89] Sannella, D. and Tarlecki, A.: Toward formal development of ML programs: foundations and methodology. In Proceedings of 3rd Joint Conference on Theory and Practice of Software Development, Barcelona. Springer LNCS 352, 375-389, 1989.
35. [SaT97] Sannella, D. and Tarlecki, A.: Essential concepts of algebraic specification and program development, Formal Aspects of Computing 9:229-269, 1997.
36. [SaW83] Sannella, D. and Wirsing, M.: A kernel language for algebraic specification and implementation. In Proceedings of 1983 International Conference on Foundations of Computation Theory, Borgholm. Springer LNCS 158, 413-427, 1983.
37. [SaW99] Sannella, D. and Wirsing, M.: Specification languages. In Askesiano, E., Kreowski, H.-J. and Krieg-Brückner, B. editors, Algebraic Foundations of Systems Specification, chapter 8. Springer, 1999.
38. [Sch87] Schoett, O.: Data Abstraction and the Correctness of Modular Programming. Ph.D. thesis, report CST-42-87, Department of Computer Science, University of Edinburgh, 1987.