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.
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.
Preview
Unable to display preview. Download preview PDF.
References
R.J.R. Back. Refinement diagrams. In 4 th BCS Refinement Workshop, pages 125–137. Springer-Verlag, 1991.
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.
E.W. Dijkstra. A Discipline of Programming. Academic Press, 1976.
Carroll Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10(3), July 1988.
Carroll Morgan. Programming from Specifications. Prentice Hall, UK, 1994.
C.C. Morgan and K.A. Robinson. Specification statements and refinement. IBM Journal of Research and Development, 31(5):546–555, September 1987.
J.M. Spivey. The Z Notation. Prentice Hall, UK, 1992.
Luca Console Walter Hamscher and Johan de Kleer. Readings in Model-based Diagnosis. Morgan Kaufmann, San Mateo, CA, 1992.
Author information
Authors and Affiliations
Editor information
Rights 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