Abstract
An open collaborative effort has been initiated: to design a common framework for algebraic specification and development of software. The rationale behind this initiative is that the lack of such a common framework greatly hinders the dissemination and application of research results in algebraic specification. In particular, the proliferation of specification languages, some differing in only quite minor ways from each other, is a considerable obstacle for the use of algebraic methods in industrial contexts, making it difficult to exploit standard examples, case studies and training material. A common framework with widespread acceptance throughout the research community is urgently needed.
The aim is to base the common framework as much as possible on a critical selection of features that have already been explored in various contexts. The common framework will provide a family of specification languages at different levels: a central, reasonably expressive language, called CASL, for specifying (requirements, design, and architecture of) conventional software; restrictions of CASL to simpler languages, for use primarily in connection with prototyping and verification tools; and extensions of CASL, oriented towards particular programming paradigms, such as reactive systems and object-based systems. It should also be possible to embed many existing algebraic specification languages in members of the CASL family.
A tentative design for CASL has already been proposed. Task groups are studying its formal semantics, tool support, methodology, and other aspects, in preparation for the finalization of the design.
Chapter PDF
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
C. Alexander. A Timeless Way of Building. Oxford University Press, 1979.
M. Bidoit, C. Choppy, and F. Voisin. Interchange format for inter-operability of tools and translation. In Haveraaen et al. [6], pages 102–124.
M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas, and D. Sannella, editors. Algebraic System Specification and Software Development, volume 501 of Lecture Notes in Computer Science. Springer-Verlag, 1991.
CoFI. CASL: The CoFI algebraic specification language, tentative design: Language summary. Notes Series NS-96-15, BRICS, Department of Computer Science, University of Aarhus, 1996.
J. A. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Technical Report SRI-CSL-89-10, Computer Science Lab., SRI International, 1989.
M. Haveraaen, O. Owe, and O.-J. Dahl, editors. Recent Trends in Data Type Specification, volume. 1130 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
B. Krieg-Brückner. Seven years of COMPASS. In Haveraaen et al. [6], pages 1–13.
P. D. Mosses. CoFI: The common framework initiative for algebraic specification. Bulletin of the EATCS, June 1996.
P. D. Mosses, editor. CoFI: Common Framework Initiative for Algebraic Specification, URL: http://www.brics.dk/Projects/CoFI/, 1997.
D. Sannella. S. Sokołowski, and A. Tarlecki. Toward formal development of programs from algebraic specifications: Parameterisation revisited. Acta Inf., 29:689–736, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mosses, P.D. (1997). CoFI: The common framework initiative for algebraic specification and development. In: Bidoit, M., Dauchet, M. (eds) TAPSOFT '97: Theory and Practice of Software Development. CAAP 1997. Lecture Notes in Computer Science, vol 1214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030591
Download citation
DOI: https://doi.org/10.1007/BFb0030591
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62781-4
Online ISBN: 978-3-540-68517-3
eBook Packages: Springer Book Archive