Amalgamation in casl via enriched signatures

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

Volumn 2076 LNCS, Issue , 2001, Pages 993-1004

  Schröder, Lutz ^a   Mossakowski, Till ^a   Tarlecki, Andrzej ^b,c  

^a UNIVERSITY OF BREMEN   (Germany)

^b UNIVERSITY OF WARSAW   (Poland)

^c INSTITUTE OF COMPUTER SCIENCE   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS;

ALGEBRAIC SPECIFICATION LANGUAGES; ARCHITECTURAL SPECIFICATIONS; NORMAL FORM; STRUCTURED SPECIFICATION;

METALS;

EID: 23044528111     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48224-5_80     Document Type: Conference Paper

References (27)

1. J. Adamek, H. Herrlich, and G. E. Strecker, Abstract and concrete categories, 2nd ed. , Wiley Interscience, New York, 1990.
2. D. Aspinall, Types, subtypes, and ASL+, Recent Trends in Data Type Specification, LNCS, vol. 906, Springer, 1994, pp. 116-131.
3. H. Baumeister, Relations between abstract datatypes modeled as abstract datatypes, Ph. D. thesis, Universitat des Saarlandes, 1998.
4. M. Bidoit, M. V. Cengarle, and R. Hennicker, Proof systems for structured specifications and their refinements, Algebraic Foundations of Systems Specification (E. Astesiano et al, eds. ), Springer, 1999, pp. 385-433.
5. F. Borceux, Handbook of categorical algebra 1, Cambridge, 1994.
6. T. Borzyszkowski, Logical systems for structured specifications, Theoret. Comput. Sci. , to appear.
7. M. Cerioli, A. Haxthausen, B. Krieg-Briickner, and T. Mossakowski, Permissive subsorted partial logic in Cas, Algebraic Methodology and Software Technology, LNCS, vol. 1349, Springer, 1997, pp. 91-107.
8. I. Claßen, M. Große-Rhode, and U. Wolter, Categorical concepts for parameterized partial specifications, Math. Struct. Comput. Sci. 5 (1995), 153-188.
9. CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives, accessible by WWW2 and FTP3.
10. CoFI Language Design Task Group, CaSL Summary, version 1. 0, Documents/CASL/Summary, in [9], July 1999.
11. R. Diaconescu, J. Goguen, and P. Stefaneas, Logical support for modularisation, Logical Environments, Cambridge, 1993, pp. 83-130.
12. H. Ehrig and M. Große-Rhode, Functorial theory of parameterized specifications in a general specification framework, Theoret. Comput. Sci. 135 (1994), 221-266.
13. H. Ehrig and B. Mahr, Fundamentals of algebraic specification 2, Springer, 1990.
14. J. Goguen and R. Burstall, Institutions: Abstract model theory for specification and programming, J. ACM 39 (1992), 95-146.
15. R. Harper, F. Honsell, and G. D. Plotkin, A framework for defining logics, J. ACM 40 (1993), 143-184.
16. B. Klin, An implementation of static semantics for architectural specifications in Casl (in Polish), Master's thesis, Warsaw University, 2000.
17. B. Klin, P. Hoffman, A. Tarlecki, T. Mossakowski, and L. Schroder, Checking amalgamability conditions for CASL architectural specifications, work in progress; see also [16].
18. F. W. Lawvere, Functorial semantics of algebraic theories, Proc. Natl. Acad. Sci. USA 50 (1963), 869-872.
19. S. Mac Lane, Categories for the working mathematician, Springer, 1997.
20. M. Makkai and A. M. Pitts, Some results on locally finitely presentable categories, Trans. Amer. Math. Soc. 299 (1987), 473-496.
21. T. Mossakowski, S. Autexier, and D. Hutter, Extending development graphs with hiding, Fundamental Approaches to Software Engineering, LNCS, vol. 2029, Springer, 2001, pp. 269-283.
22. P. D. Mosses, CASL: A guided tour of its design, Workshop on Abstract Datatypes, LNCS, vol. 1589, Springer, 1999, pp. 216-240.
23. J. C. Reynolds, Using category theory to design implicit conversions and generic operators, Semantics-Directed Compiler Generation, LNCS, vol. 94, Springer, 1980, pp. 211-258.
24. D. Sannella, S. Sokolowski, and A. Tarlecki, Towards formal development of programs from algebraic specifications: Parameterisation revisited, Acta Inform. 29 (1992), 689-736.
25. D. Sannella and A. Tarlecki, Specifications in an arbitrary institution, Inform. and Comput. 76 (1988), 165-210.
26. L. Schroder, T. Mossakowski, A. Tarlecki, P. Hoffman, and B. Klin, Amalgamation in the semantics of CASL, work in progress; preprint to be made available4.
27. L, Semantics of architectural specifications in CASL, Fundamental Approaches to Software Engineering, LNCS, vol. 2029, Springer, 2001, pp. 253-268.