Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebraic Methodology and Software Technology

AMAST 1997: Algebraic Methodology and Software Technology pp 155–169Cite as

Modular refinement and model building

  • Conference paper
  • First Online:

  • 92 Accesses

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

Abstract

In this paper we show that formal program development can be viewed as a process of model building. Refinement diagrams are introduced and formally defined in terms of refinement developments. Hierarchical models are shown to be equivalent to modular refinement developments. Modular refinement developments are a subset of refinement developments and refinement diagrams. A function is defined to extract the corresponding model from any refinement development.

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. R.J.R. Back. Refinement diagrams. In 4 th BCS Refinement Workshop, pages 125–137. Springer-Verlag, 1991.

    Google Scholar 

  2. R.J.R. Back, J. Hekanaho, and K. Sere. Centipede-a program refinement environment. Reports on Computer Science & Mathematics Series A-139, åbo Akademi, Turku, Finland, September 1992.

    Google Scholar 

  3. E.W. Dijkstra. A Discipline of Programming. Academic Press, 1976.

    Google Scholar 

  4. Carroll Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10(3), July 1988.

    Google Scholar 

  5. Carroll Morgan. Programming from Specifications. Prentice Hall, UK, 1994.

    Google Scholar 

  6. C.C. Morgan and K.A. Robinson. Specification statements and refinement. IBM Journal of Research and Development, 31(5):546–555, September 1987.

    Google Scholar 

  7. J.M. Spivey. The Z Notation. Prentice Hall, UK, 1992.

    Google Scholar 

  8. Luca Console Walter Hamscher and Johan de Kleer. Readings in Model-based Diagnosis. Morgan Kaufmann, San Mateo, CA, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Engineering, University of New South Wales, 2052, Sydney, NSW, Australia

    Martin de Groot & Ken Robinson

Authors
  1. Martin de Groot
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ken Robinson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael Johnson

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

de Groot, M., Robinson, K. (1997). Modular refinement and model building. In: Johnson, M. (eds) Algebraic Methodology and Software Technology. AMAST 1997. Lecture Notes in Computer Science, vol 1349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000469

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63888-9

  • Online ISBN: 978-3-540-69661-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation