Advertisement

Norman's database modularised in COLD-K

  • L. M. G. Feijs
Part III Cold
  • 112 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 490)

Abstract

In this paper we present a COLD specification of a database, originally presented in VDM, discussing various aspects of modularisation.

Keywords

Class Description Parameter Restriction Proof Obligation Algebraic Specification Meteor Project 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J.S. Fitzgerald, C.B. Jones. Modularizing the Formal Description of a Database System. In: D. Bjorner, C.A.R. Hoare, H. Langmaack (eds), VDM '90 VDM and Z, — Formal Methods in Software Development, Springer Verlag LNCS 428 pp. 189–210.Google Scholar
  2. [2]
    C.B. Jones. Systematic software development using VDM, Prentice-Hall International, ISBN 0-13-880725-6 (1986).Google Scholar
  3. [3]
    J.S. Fitzgerald, C.B. Jones. Modularizing the Formal Description of a Database System. University of Manchester, Technical Report UMCS-90-1-1.Google Scholar
  4. [4]
    N. Winterbottom and G.C.H. Sharman. NDB: Non-programmer database facility. Technical Report IBM TR.12.179, IBM Hursley Laboratory, England, September 1979.Google Scholar
  5. [5]
    IBM. Data Mapping Program: User's Guide. SB11-5340.Google Scholar
  6. [6]
    H.B.M. Jonkers. An Introduction to COLD-K, in: M. Wirsing, J.A. Bergstra (eds), Algebraic Methods: Theory, Tools and Applications, LNCS 394, Springer Verlag pp. 139–205 (1989).Google Scholar
  7. [7]
    J.A. Bergstra, J. Heering, P. Klint. Module algebra. JACM Vol. 37 (1990) 335–372.Google Scholar
  8. [8]
    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, April 1987, ESPRIT document METEOR/t7/PRLE/7.Google Scholar
  9. [9]
    L.M.G. Feijs. The calculus λπ, in: M. Wirsing, J.A. Bergstra (Eds.), Algebraic Methods: Theory, Tools and Applications, LNCS 394, Springer-Verlag pp. 307–328 (1989).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • L. M. G. Feijs
    • 1
  1. 1.Philips Research Laboratories EindhovenThe Netherlands

Personalised recommendations