Abstract
This overview addresses the development of the wide-spectrum design langage COLD. The language unifies algebraic specification techniques and model-oriented state based specification techniques. The main language versions are surveyed, together with some of the semantical problems and their solutions.
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.
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
H.B.M. Jonkers. Abstraction, specification and implementation techniques with an application to garbage collection. Mathematical centre tracts, 166, Mathematical Centre Amsterdam (1982).
M.C. Gaudel. Towards structured algebraic specifications, in: ESPRIT’85: Status Report of Continuing Work, Part 1, North Holland, pp. 439–510 (1986).
M. Wirsing. Structured algebraic specifications: a kernel language, Habilitation thesis, Technische Universität München (1983).
H.B.M. Jonkers. Description of the design language COLD-S, Philips report (1995).
H.B.M. Jonkers. An introduction to COLD-K, in: M. Wirsing, J.A. Bergstra (Eds.), Algebraic Methods: Theory, Tools and Applications, Springer-Verlag LNCS 394, pp. 139–205 (1989).
L.M.G. Feijs, H.B.M. Jonkers, J.H. Obbink, C.P.J. Koymans, G.R. Renardel de Lavalette, P.H. Rodenburg. A survey of the design language COLD, in: ESPRIT ‘86: Results and Achievements, Elsevier Science Publishers B.V. (North-Holland), pp. 631–644 (1986).
D. Harel. Dynamic logic, in: D. Gabbay, F. Guenther (Eds.), Handbook of philosophical logic, Vol. II, pp. 497–604, D. Reidel Publishing Company, ISBN 90–277–1604–8 (1984).
D.S. Scott. Existence and description in formal logic, in R. Schoenman (Ed.), Bertrand Russell, Philosopher of the Century, Allen Unwin, London, pp. 181–200 (1967).
C.P.J. Koymans, G.R. Renardel de Lavalette. The logic MPLW, in: M. Wirsing, J.A. Bergstra (Eds.), Algebraic Methods: Theory, Tools and Applications, Springer-Verlag LNCS 394, pp. 247–282 (1989).
C.P.J. Koymans, G.R. Renardel de Lavalette. Inductive Definitions in COLD-K. Logic Group reprint series No. 50, Department of Philosophy, University of Utrecht (1989).
J.A. Bergstra, J. Heering, P. Klint. Module algebra, JACM Vol. 37 No. 2, pp. 335–372 (1990).
H.B.M. Jonkers. Description algebra, in: M. Wirsing, J.A. Bergstra (Eds.), Algebraic Methods: Theory, Tools and Applications, Springer-Verlag LNCS 394, pp. 283–305 (1989).
L.M.G. Feijs, A formalisation of design structures, COMPEURO-87, pp. 214–229, IEEE Society Press (1987).
L.M.G. Feijs, A formalisation of design methods: a A-calculus approach to system design, with an application to text editing. Ellis Horwood Limited (1993).
L.M.G. Feijs. The calculus Air, in: M. Wirsing, J.A. Bergstra (Eds.), Algebraic Methods: Theory, Tools and Applications, Springer-Verlag LNCS 394, pp. 307–328 (1989).
L.M.G. Feijs, H.B.M. Jonkers, C.P.J. Koymans, G.R. Renardel de Lavalette. Formal definition of the design language COLD-K. Revised Edition, ESPRIT document METEOR/t7/PRLE/7 (Oct. 1987).
L.M.G. Feijs, H.B.M. Jonkers. Formal specification and design, Cambridge Tracts in Theoretical Computer Science 35, Cambridge University Press.
H.B.M. Jonkers. Description of COLD-1, Philips IST Report RWR-513hj-91020-hj (1991).
G.R. Renardel de Lavalette. COLD-K2, the static kernel of COLD-K. ESPRIT document METEOR/t9/PRLE/11 (1989).
G.J. Akkerman. CoDDLe: Common Design and Description Language, SERC Report RP/mod-89/9. Software Engineering Research Centre. Utrecht, The Netherlands (1989).
J.C.M. Baeten, J.A. Bergstra, S. Mauw, G.J. Veltink. A process specification formalism based on static COLD, in: J.A. Bergstra, L.M.G. Feijs (Eds.), Algebraic Methods: Theory, Tools and Applications Part II, Springer-Verlag LNCS 490, pp. 303–335 (1991).
C.A. Middelburg. Syntax and semantics of VVSL, Ph. D. Thesis, University of Amsterdam (1990).
C.A. Middelburg. Experiences with combining formalisms in VVSL, in: J.A. Bergstra, L.M.G. Feijs (Eds.), Algebraic Methods: Theory, Tools and Applications Part II, Springer-Verlag LNCS 490, pp. 83–103 (1991).
H.B.M. Jonkers. Inheritance in COLD, in: J.A. Bergstra, L.M.G. Feijs (Eds.), Algebraic Methods: Theory, Tools and Applications Part II, Springer-Verlag LNCS 490, pp. 277–301 (1991).
H.B.M. Jonkers. An overview of the SPRINT method, in: J.C.P. Woodcock, P.G. Larsen (Eds.), FME’93: Industrial-Strength Formal Methods, Springer-Verlag LNCS 670, pp. 403–427 (1993).
H.B.M. Jonkers. PROTOCOLD 1.1 User manual, Philips IST Report RWR-513-hj-91080-hj (1991).
J.A. Bergstra, A. Ponse, J.J. van Wamel. Process algebra with backtracking, University of Amsterdam report P9306 (1993).
S.F.M. van Vlijmen, J.J. van Wamel. A semantic approach to Protocold using process algebra, University of Amsterdam report P9317 (1993).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Feijs, L.M.G. (1994). An Overview of the Development of COLD. In: Andrews, D.J., Groote, J.F., Middelburg, C.A. (eds) Semantics of Specification Languages (SoSL). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3229-5_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3229-5_2
Publisher Name: Springer, London
Print ISBN: 978-3-540-19854-3
Online ISBN: 978-1-4471-3229-5
eBook Packages: Springer Book Archive