Abstract
We present a semantics for architectural specifications in Casl, including an extended static analysis compatible with model-theoretic requirements. The main obstacle here is the lack of amalgamation for Casl models. To circumvent this problem, we extend the Casl logic by introducing enriched signatures, where subsort embeddings form a category rather than just a preorder. The extended model functor has amalgamation, which makes it possible to express the amalgamability conditions in the semantic rules in static terms. Using these concepts, we develop the semantics at various levels in an institution-independent fashion.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
CoFI. Catalogue of existing frameworks. Catalogue.html, in [CoF], 1996.
J. Adámek, H. Herrlich, and G. E. Strecker. Abstract and Concrete Categories. Wiley Interscience, New York, 2nd edition, 1990.
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.
M. Bidoit, D. Sannella, and A. Tarlecki. Architectural specifications in Casl. In 7th Intl. Conference on Algebraic Methodology and Software Technology (AMAST’98), volume 1548 of LNCS, pages 341–357. Springer, 1999.
CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by WWW1 and FTP2.
CoFI Language Design Task Group. Casl-The CoFI Algebraic Specification Language-Summary, version 1.0. Documents/CASL/Summary, in [CoF], July 1999.
CoFI Semantics Task Group. Casl-The CoFI Algebraic Specification Language-Semantics. Note S-9 (version 0.96), in [CoF], July 1999.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. Springer, 1985.
J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95–146, 1992.
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.
P. Hoffman. Semantics of architectural specifications (in Polish). Master’s thesis, Warsaw University, 2000.
B. Klin, P. Hoffman, A. Tarlecki, T. Mossakowski, and L. Schroder. Checking amalgamability conditions for Casl architectural specifications. Work in progress; see also [Kli00].
B. Klin. An implementation of static semantics for architectural specifications in Casl (in Polish). Master’s thesis, Warsaw University, 2000.
S. Mac Lane. Categories for the Working Mathematician. Springer, Berlin, 2nd edition, 1997.
T. Mossakowski. Relating Casl with other specification languages: the institution level. Theoretical Computer Science. To appear.
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.
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.
K. Meinke and J. V. Tucker, editors. Many-sorted Logic and its Applications. Wiley, 1993.
L. C. Paulson. ML for the Working Programmer. Cambridge University Press, New York, 2nd edition, 1996.
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.
L. Schroder, T. Mossakowski, A. Tarlecki, P. Hoffman, and B. Klin. Amalgamation via enriched signatures. Work in progress.
D. Sannella, S. Sokołowski, and A. Tarlecki. Towards formal development of programs from algebraic specifications: Parameterisation revisited. Acta Informatica, 29:689–736, 1992.
D. Sannella and A. Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76:165–210, 1988.
D. Sannella and M. Wirsing. Specification languages. In A. Astesiano, H.-J. Kreowski, and B. Krieg-Bruckner, editors, Algebraic Foundations of Systems Specifications, pages 243–272. Springer, 1999.
A. Tarlecki. Moving between logical systems. In 11th Workshop on Specification of Abstract Data Types, volume 1130 of LNCS, pages 478–502. Springer, 1996.
M. Wirsing. Structured algebraic specifications: A kernel language. Theoretical Computer Science, 42:123–249, 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schröder, L., Mossakowski, T., Tarlecki, A., Klin, B., Hoffman, P. (2001). Semantics of Architectural Specifications in Casl . In: Hussmann, H. (eds) Fundamental Approaches to Software Engineering. FASE 2001. Lecture Notes in Computer Science, vol 2029. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45314-8_19
Download citation
DOI: https://doi.org/10.1007/3-540-45314-8_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41863-4
Online ISBN: 978-3-540-45314-7
eBook Packages: Springer Book Archive