- 109 Downloads
Description Algebra is a many-sorted algebra, containing operators on (module) descriptions such as import, export, renaming and unification. The algebra incorporates a special scheme of dealing with name clashes in module composition by means of origins and origin unification. A complete definition of the algebra is given and its properties are discussed. The algebra is the basis of the modularisation constructs of the design language COLD-K, but the approach as such as independent of COLD-K.
KeywordsOrigin Variable Complete Lattice Parameterised Origin Module Algebra Module Part
Unable to display preview. Download preview PDF.
- J.A. BERGSTRA, J. HEERING, P. KLINT, ASF—An Algebraic Specification Formalism, CWI Report CS-R8705 (1987).Google Scholar
- J.A. BERGSTRA, J. HEERING, P. KLINT, Module Algebra, CWI Report CS-R8617 (1986).Google Scholar
- 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, Preliminary Edition, Technical Report, ESPRIT project 432, Doc.Nr. METEOR/t7/PRLE/7 (1987).Google Scholar
- 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 (1987), 631–644.Google Scholar
- H.B.M JONKERS, An Introduction to COLD-K, this volume.Google Scholar
- C.P.J. KOYMANS, G.R. RENARDEL DE LAVALETTE, The Logic MPL ω, this volume.Google Scholar
- M. WIRSING, Structured Algebraic Specifications: a Kernel Language, Habilitation thesis, Technische Universität München (1983).Google Scholar