Semantics of architectural specifications in CASL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2029, Issue , 2001, Pages 253-268

  Schröder, Lutz ^a   Mossakowski, Till ^a   Tarlecki, Andrzej ^b,c   Klin, Bartek ^d   Hoffman, Piotr ^b  

^a UNIVERSITY OF BREMEN   (Germany)

^b UNIVERSITY OF WARSAW   (Poland)

^c INSTITUTE OF COMPUTER SCIENCE   (Poland)

^d AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

METALS; SEMANTICS; SPECIFICATIONS; STATIC ANALYSIS;

ARCHITECTURAL SPECIFICATIONS; EXTENDED MODEL; FUNCTORS; MODEL-THEORETIC; PREORDERS; SEMANTIC RULES;

SOFTWARE ENGINEERING;

EID: 84944240164     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45314-8_19     Document Type: Conference Paper

References (26)

1. CoFI. Catalogue of existing frameworks. Catalogue.html, in [CoF], 1996.
2. J. Adamek, H. Herrlich, and G. E. Strecker. Abstract and Concrete Categories. Wiley Interscience, New York, 2nd edition, 1990.
3. R. M. Burstall and J. A. Goguen. Putting theories together to make specifications. In Proc. 5th Intl. Joint Conf. on Artificial Intelligence, pages 1045-1058. Carnegie-Mellon University, 1977.
4. M. Bidoit, D. Sannella, and A. Tarlecki. Architectural specifications in Casl. In7th Intl. Conference on Algebraic Methodology and Software Technology (AMAST’98), volume 1548 of LNCS, pages 341-357. Springer, 1999.
5. CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by WWW1 and FTP2.
6. CoFI Language Design Task Group. CAsL - The CoFI Algebraic Specification Language - Summary, version 1.0. Documents/CASL/Summary, in [CoF], July 1999.
7. CoFI Semantics Task Group. CAsL - The CoFI Algebraic Specification Language - Semantics. Note S-9 (version 0.96), in [CoF], July 1999.
8. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. Springer, 1985.
9. J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95-146,1992.
10. J. V. Guttag, J. J. Horning, S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing. Larch: Languages and Tools for Formal Specification. Springer, 1993.
11. P. Hoffman. Semantics of architectural specifications (in Polish). Master’s thesis, Warsaw University, 2000.
12. B. Klin, P. Hoffman, A. Tarlecki, T. Mossakowski, and L. Schroder. Checking amalgamability conditions for CAsL architectural specifications. Work in progress; see also [Kli00].
13. B. Klin. An implementation of static semantics for architectural specifications in Casl (in Polish). Master’s thesis, Warsaw University, 2000.
14. S. Mac Lane. Categories for the Working Mathematician. Springer, Berlin, 2nd edition, 1997.
15. T. Mossakowski. Relating Casl with other specification languages: the institution level. Theoretical Computer Science. To appear.
16. P. D. Mosses. Casl: A guided tour of its design. In 13th Workshop on Abstract Datatypes WADT 98, volume 1589 of LNCS, pages 216-240. Springer, 1999.
17. T. Mossakowski. Specification in an arbitrary institution with symbols. In 14th Workshop on Abstract Datatypes WADT 99, volume 1827 of LNCS, pages 252-270. Springer, 2000.
18. K. Meinke and J. V. Tucker, editors. Many-sorted Logic and its Applications. Wiley, 1993.
19. L. C. Paulson. ML for the Working Programmer. Cambridge University Press, New York, 2nd edition, 1996.
20. J. C. Reynolds. Using category theory to design implicit conversions and generic operators. In Semantics-Directed Compiler Generation, volume 94 of LNCS, pages 211-258. Springer, 1980.
21. L. Schröder, T. Mossakowski, A. Tarlecki, P. Hoffman, and B. Klin. Amalgamation via enriched signatures. Work in progress.
22. D. Sannella, S. Sokolowski, and A. Tarlecki. Towards formal development of programs from algebraic specifications: Parameterisation revisited. Acta Informatica, 29:689-736, 1992.
23. D. Sannella and A. Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76:165-210, 1988.
24. D. Sannella and M. Wirsing. Specification languages. In A. Astesiano, H.-J. Kreowski, and B. Krieg-Brüockner, editors, Algebraic Foundations of Systems Specifications, pages 243-272. Springer, 1999.
25. A. Tarlecki. Moving between logical systems. In 11th Workshop on Specification of Abstract Data Types, volume 1130 of LNCS, pages 478-502. Springer, 1996.
26. M. Wirsing. Structured algebraic specifications: A kernel language. Theoretical Computer Science, 42:123-249, 1986.