Abstract
We describe a way to make the static analysis for the in-the- large part of the Common Algebraic Specification Language (CASL) independent of the underlying logic that is used for Specification in-thesmall. The logic here is formalized as an institution with some extra components. Following the institution independent semantics of CASL in-the-large, we thus get an institution independent static analysis for CASL in-the-large. With this, it is possible to re-use the CASL static analysis for extensions of CASL, or even completely different logics. One only has to provide a static analysis for Specifications in-the-small for the given logic. This then can be plugged into the generic static analysis for CASL in-the-large.
This research was supported by the Esprit-funded CoFI Working Group 29432 and by the DFG project MULTIPLE.
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
D. Ancona, M. Cerioli, and E. Zucca. Extending Casl by late binding. In C. Choppy, D. Bert, and P. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT’99, Bonas, France, volume 1827 of Lecture Notes in Computer Science. Springer-Verlag, 2000.
J. Adámek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Wiley, New York, 1990.
Michel Bidoit, Donald Sannella, and Andrzej Tarlecki. Architectural specifications in Casl. In AMAST’ 98, Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology, Manaus, volume 1548 of LNCS, pages 341–357. Springer-Verlag, 1998.
H. Baumeister and A. Zamulin. State-based extension of Casl. In Proceedings IFM 2000, volume 1945 of Lecture Notes in Computer Science. Springer-Verlag, 2000.
CoFI. The Common Framework Initiative for algebraic Specification and development, electronic archives. Notes and Documents accessible from http://www.brics.dk/Projects/CoFI/.
CoFI Semantics Task Group. Casl. The CoFI Algebraic Specification Language. Semantics. Note S-9 (Documents/CASL/Semantics, version 1.0), in [CoFa], forthcoming.
CoFI Language Design Task Group. Casl. The CoFI Algebraic Specification Language. Summary. Documents/CASL/Summary, in [CoFa], March 2001.
J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for Specification and programming. Journal of the Association for Computing Machinery, 39:95–146, 1992. Predecessor in: LNCS 164, 221-256, 1984.
B. Klin, P. Hoffman, A. Tarlecki, T. Mossakowski, and L. Schröder. Checking amalgamability conditions for Casl architectural specifications. In J. Sgall, A. Pultr, P. Kolman, editors, Mathematical Foundations of Computer Science, volume 2136 of Lecture Notes in Computer Science, pages 451–463. Springer-Verlag, 2001.
B. Klin. An implementation of static semantics for architectural specifications in Casl (in Polish). Master’s thesis, Warsaw University, 2000. Institution Independent Static Analysis for CASL 237
T. Mossakowski, A. Haxthausen, and B. Krieg-Brückner. Subsorted partial higher-order logic as an extension of Casl. In C. Choppy, D. Bert, and P. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT’99, Bonas, France, volume 1827 of Lecture Notes in Computer Science, pages 126–145. Springer-Verlag, 2000.
T. Mossakowski. The Casl tool set. Available at http://www.tzi.de/cofi/CATS.
T. Mossakowski. Heterogeneous development graphs and heterogeneous borrowing. Submitted.
Till Mossakowski. Relating Casl with other Specification languages: the institution level. Theoretical Computer Science. To appear.
Peter D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. In TAPSOFT’ 97, Proc. Intl. Symp. on Theory and Practice of Software Development, volume 1214 of LNCS, pages 115–137. Springer-Verlag, 1997.
T. Mossakowski. Specification in an arbitrary institution with symbols. In C. Choppy, D. Bert, and P. Mosses, editors, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT’99, Bonas, France, volume 1827 of Lecture Notes in Computer Science, pages 252–270. Springer-Verlag, 2000.
Till Mossakowski. Casl: From semantics to tools. In S. Graf and M. Schwartzbach, editors, TACAS 2000, volume 1785 of Lecture Notes in Computer Science, pages 93–108. Springer-Verlag, 2000.
L. C. Paulson. ML for the Working Programmer. Cambridge University Press, 1991.
G. Reggio and L. Repetto. Casl-CHART: a combination of statecharts and of the algebraic Specification language Casl. In Proc. AMAST 2000, volume 1816 of Lecture Notes in Computer Science. Springer Verlag, 2000.
L. Schröder and T. Mossakowski. HasCasl: Towards integrated Specification and development of Haskell programs. Submitted.
L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, and A. Tarlecki. Semantics of architectural specifications in Casl. In H. Huβmann, editor, Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, pages 253–268. Springer-Verlag, 2001.
L. Schröder, T. Mossakowski, P. Hoffman, B. Klin, and A. Tarlecki. Amalgamation in the semantics of Casl. Submitted to Theoretical Computer Science.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mossakowski, T., Klin, B. (2002). Institution Independent Static Analysis for Casl. In: Cerioli, M., Reggio, G. (eds) Recent Trends in Algebraic Development Techniques. WADT 2001. Lecture Notes in Computer Science, vol 2267. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45645-7_11
Download citation
DOI: https://doi.org/10.1007/3-540-45645-7_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43159-6
Online ISBN: 978-3-540-45645-2
eBook Packages: Springer Book Archive