Abstract
We describe a meta-method for formal method integration [Pai97]. The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory behind formal method integration, present two example combinations, and use an integrated method in solving a small problem.
Preview
Unable to display preview. Download preview PDF.
References
R.J.R. Back. Refinement calculus II: parallel and reactive programs. In Stepwise Refinement of Distributed Systems, LNCS 430, Springer-Verlag, 1990.
R.J.R. Back and J. von Wright. A Lattice-Theoretical Basis for a Specification Language. In Mathematics of Program Construction, LNCS 375, Springer-Verlag, 1989.
J. Bowen and M. Hinchey. Ten Commandments of Formal Methods. Oxford University Computing Laboratory Technical Monograph, 1994.
P. Coad and E. Yourdon. Object-oriented Analysis, Prentice-Hall, 1990.
T. DeMarco. Structured Analysis and System Specification, Yourdon Press, 1979.
T. DeMarco. Controlling Software Projects: Management, Measurement, and Estimation. Yourdon Press, 1982.
J.V. Guttag and J.J. Horning. Larch: Languages and Tools for Formal Specification,. Springer-Verlag, 1993.
A. Hall. Using Formal Methods to Develop an ATC Information System. IEEE Software, March 1996.
J. Hammond. Producing Z Specifications from Object-Oriented Analysis. In Proc. Eighth Z User Meeting, Cambridge, Springer-Verlag, 1994.
E.C.R. Helmer and A.J. Malton. Termination Conventions and Comparative Semantics, Acta Informatica, 25 (1988.
E.C.R. Helmer. A Practical Theory of Programming, Springer-Verlag, 1993.
J.V. Hill. Software development methods in practice. In Proc. Sixth Annual Conference on Computer Assurance, 1991.
C.A.R. Hoare. Communicating Sequential Processes, Prentice-Hall, 1985.
M.A. Jackson. Software Requirements and Specifications, Addison-Wesley, 1995.
S. King. Z and the refinement calculus. In VDM `90: VDM and Z-Formal Methods in Software Development, Third international symposium of VDM Europe, LNCS 428, Springer-Verlag, 1990.
K. Kronlöf, ed. Method Integration: Concepts and Case Studies, Wiley, 1993.
P. Larsen, J. van Katwijk, N. Plat, K. Pronk, and H. Toetenel. Towards an integrated combination of SA and VDM. In Proc. Methods Integration Workshop, Springer-Verlag, 1991.
D.A. Marca and C.L. McGowan. SADT-Structured Analysis and Design Technique, McGraw-Hill, 1988.
Project MetaPHOR Group, MetaPHOR: Metamodeling, Principles, Hypertext, Objects and Repositories. Technical Report TR-7, University of Jyvaskyla, 1994.
C.C. Morgan. Programming from Specifications, Prentice-Hall, Second Edition, 1994.
R.F. Paige. Formal Method Integration via Heterogeneous Notations, PhD Dissertation, July 1997.
F. Polack, M. Whiston, and K.C. Mander. The SAZ Project: Integrating SSADM and Z. In Proc. FME `93: Industrial-strength Formal Methods, LNCS 670, Springer-Verlag, 1993.
K. Schoman and D. Ross. Structured Analysis for requirements definition, IEEE Trans. on Software Engineering, 3(1), 1977.
L.T. Semmens, R.B. France, and T.W. Docker. Integrated Structured Analysis and Formal Specification Techniques, The Computer Journal 35(6), June 1992.
J.M. Spivey. The Z Notation: A Reference Manual, Prentice-Hall, 1989.
N. Ward. Adding specification constructors to the refinement calculus. In Proc. FME `93: Industrial-strength Formal Methods, LNCS 670, Springer-Verlag, 1993.
J.M. Wing and A.M. Zaremski. Unintrusive ways to integrate formal specifications in practice. In VDM `91: Formal Software Development Methods, Fourth International Symposium of VDM Europe, LNCS 551, Springer-Verlag, 1992.
J.C.P. Woodcock and C.C. Morgan. Refinement of state-based concurrent systems. In VDM `90: VDM and Z-Formal Methods in Software Development, Third International Symposium of VDM Europe, LNCS 428, Springer-Verlag, 1990.
E. Yourdon and L. Constantine. Structured Design, Prentice-Hall, 1979.
P. Zave and M. Jackson. Conjunction as Composition, ACM Trans. on Software Engineering and Methodology, 2(4), October 1993.
P. Zave and M. Jackson. Where do operations come from? An approach to multiparadigm specification, IEEE Trans. on Software Engineering, 12(7), July 1996.
P. Zave and P. Mataga. A formal specification of some important 5ESS features, Part 1: Overview. AT&T Bell Laboratories Technical Memorandum, October 1993.
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paige, R.F. (1997). A meta-method for formal method integration. In: Fitzgerald, J., Jones, C.B., Lucas, P. (eds) FME '97: Industrial Applications and Strengthened Foundations of Formal Methods. FME 1997. Lecture Notes in Computer Science, vol 1313. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63533-5_25
Download citation
DOI: https://doi.org/10.1007/3-540-63533-5_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63533-8
Online ISBN: 978-3-540-69593-6
eBook Packages: Springer Book Archive