Abstract
We extend Casl architectural specifications with a simple refinement language that allows the formalization of developments as refinement trees. The essence of the extension is to allow refinements of unit specifications in Casl architectural specifications.
This work has been partially supported by KBN grant 7T11C 002 21, European projects AGILE IST-2001-32747 (AT) and MRG IST-2001-33149 (DS), British–Polish Research Partnership Programme (DS, AT), and German DFG project KR 1191/5-2 (TM).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Astesiano, E., Kreowski, H.-J., Krieg-Brückner, B.: Algebraic Foundations of Systems Specification. Springer, Heidelberg (1999)
Bidoit, M., Mosses, P.D. (eds.): CASL User Manual. LNCS, vol. 2900. Springer, Heidelberg (2004)
Bidoit, M., Sannella, D., Tarlecki, A.: Architectural specifications in Casl. Formal Aspects of Computing 13, 252–273 (2002)
Bidoit, M., Sannella, D., Tarlecki, A.: Global development via local observational construction steps. In: Diks, K., Rytter, W. (eds.) MFCS 2002. LNCS, vol. 2420, pp. 1–24. Springer, Heidelberg (2002)
Bidoit, M., Sannella, D., Tarlecki, A.: Observational interpretation for CASL specifications. In: preparation (2004)
Brunet, T.: Génération automatique de code à partir de spécifications formelles. Master’s thesis, Université de Poitiers (2003)
CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible from, http://www.cofi.info/
CoFI (The Common Framework Initiative); Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004)
Fitzgerald, J., Jones, C.: Modularizing the formal description of a database system. In: Langmaack, H., Hoare, C.A.R., Bjorner, D. (eds.) VDM 1990. LNCS, vol. 428. Springer, Heidelberg (1990)
Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery 39, 95–146 (1992)
Goguen, J., Lin, K.: Morphisms and semantics for higher order parameterized programming (August 2002), Available from, http://www.cs.ucsd.edu/users/goguen/pps/shom.ps
Hoare, C.A.R.: Correctness of data representations. Acta Informatica 1, 271–281 (1972)
Milner, R.: An algebraic definition of simulation between programs. In: Proc. 2nd Intl. Joint Conf. on Artificial Intelligence, pp. 481–489. British Computer Society (1971)
Mossakowski, T.: Two functional programming sublanguages of CASL. NoteL-9 in [7] (March 1998)
Sannella, D., Tarlecki, A.: Toward formal development of programs from algebraic specifications: implementations revisited. Acta Informatica 25, 233–281 (1988)
Sannella, D., Tarlecki, A.: Foundations of Algebraic Specifications and Formal Program Development. Cambridge University Press, Cambridge (2005) (to appear) See, http://homepages.inf.ed.ac.uk/dts/book/index.html
Smith, D.: Designware: Software development by refinement. In: Proc. Conference on Category Theory and Computer Science, CTCS 1999. Electronic Notes in Theoretical Computer Science, vol. 29. Elsevier, Amsterdam (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mossakowski, T., Sannella, D., Tarlecki, A. (2005). A Simple Refinement Language for Casl . In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds) Recent Trends in Algebraic Development Techniques. WADT 2004. Lecture Notes in Computer Science, vol 3423. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31959-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-31959-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25327-3
Online ISBN: 978-3-540-31959-7
eBook Packages: Computer ScienceComputer Science (R0)