Skip to main content
SpringerLink
Log in
Book cover

International Symposium of Formal Methods Europe

FME 1993: FME '93: Industrial-Strength Formal Methods pp 558–577Cite as

Maintaining consistency under changes to formal specifications

  • Papers
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 670))

Abstract

Configuration Management is an integral requirement of the Software Engineering process. This paper outlines an approach to Configuration Management specifically tailored to support formal development of software. A model of VDM developments is defined in which each development is provided as a configuration of its low level components, such as operation definitions and formal proofs. Consistency checking is defined on this model to determine if verification criteria required by the methodology have been carried out. The basis of the consistency checking is determined from relationships between components of the configurations provided by the development tools and the developers themselves. A small VDM case study to which a change is applied is provided to illustrate the model and the support envisaged through the use of consistency checking.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E. H. Bersoff, V. D. Henderson, and S. G. Siegel. Software Configuration Management: A Tutorial. IEEE Computer, 12(1), Jan 1979.

    Google Scholar 

  2. S. Dart. Concepts in Configuration Management Systems. In Proceedings of the Third International Software Configuration Management Workshop, pages 1–18, Trondheim, Norway, June 1991. IEEE CS, ACM Press.

    Google Scholar 

  3. P. K. D. Froome, B. Q. Monahan, and R. E. Bloomfield. SpecBox — a checker for VDM Specifications. In Proceedings of Second International Conference on Software Engineering for Real Time Systems, Cirencester, UK, 1989. IEE 1989.

    Google Scholar 

  4. C. B. Jones, K. D. Jones, P. A. Lindsay, and R. D. Moore. Mural: A Formal Development Support System. Springer-Verlag, London, 1991.

    Google Scholar 

  5. C. B. Jones. Systematic Software Development using VDM. Prentice Hall International, second edition, 1990.

    Google Scholar 

  6. C. Lafontaine. Formalization of the VDM reification in the DEVA metacalculus. Programming Concepts and Methods, pages 333–368, 1990.

    Google Scholar 

  7. K. Ross and P. Lindsay. Maintaining consistency under changes to formal specifications: an extended case study. Technical Report No. 93-3, Software Verification Research Centre, Dept. of Comp. Sci., University of Queensland, 1993.

    Google Scholar 

  8. IEEE Computer Society. IEEE Guide to Software Configuration Management. ANSI/IEEE Std 1042-1987, 1987.

    Google Scholar 

  9. IEEE Computer Society. IEEE Standard for Software Configuration Management Plans. IEEE Std 828-1990, 1990.

    Google Scholar 

  10. Douglas Weibe. Generic Software Configuration Management: Theory and Design. PhD thesis, Department of Computer Science, University of Washington, Seattle, WA 98195, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Verification Research Centre Department of Computer Science, University of Queensland, 4072, St Lucia, Australia

    Kelvin J. Ross & Peter A. Lindsay

Authors
  1. Kelvin J. Ross
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter A. Lindsay
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

James C. P. Woodcock Peter G. Larsen

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ross, K.J., Lindsay, P.A. (1993). Maintaining consistency under changes to formal specifications. In: Woodcock, J.C.P., Larsen, P.G. (eds) FME '93: Industrial-Strength Formal Methods. FME 1993. Lecture Notes in Computer Science, vol 670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024667

Download citation

  • DOI: https://doi.org/10.1007/BFb0024667

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56662-5

  • Online ISBN: 978-3-540-47623-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation