Skip to main content
SpringerLink
Log in

A meta-method for formal method integration

  • Conference paper
  • First Online:
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods (FME 1997)

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

Included in the following conference series:

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.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R.J.R. Back. Refinement calculus II: parallel and reactive programs. In Stepwise Refinement of Distributed Systems, LNCS 430, Springer-Verlag, 1990.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. J. Bowen and M. Hinchey. Ten Commandments of Formal Methods. Oxford University Computing Laboratory Technical Monograph, 1994.

    Google Scholar 

  4. P. Coad and E. Yourdon. Object-oriented Analysis, Prentice-Hall, 1990.

    Google Scholar 

  5. T. DeMarco. Structured Analysis and System Specification, Yourdon Press, 1979.

    Google Scholar 

  6. T. DeMarco. Controlling Software Projects: Management, Measurement, and Estimation. Yourdon Press, 1982.

    Google Scholar 

  7. J.V. Guttag and J.J. Horning. Larch: Languages and Tools for Formal Specification,. Springer-Verlag, 1993.

    Google Scholar 

  8. A. Hall. Using Formal Methods to Develop an ATC Information System. IEEE Software, March 1996.

    Google Scholar 

  9. J. Hammond. Producing Z Specifications from Object-Oriented Analysis. In Proc. Eighth Z User Meeting, Cambridge, Springer-Verlag, 1994.

    Google Scholar 

  10. E.C.R. Helmer and A.J. Malton. Termination Conventions and Comparative Semantics, Acta Informatica, 25 (1988.

    Google Scholar 

  11. E.C.R. Helmer. A Practical Theory of Programming, Springer-Verlag, 1993.

    Google Scholar 

  12. J.V. Hill. Software development methods in practice. In Proc. Sixth Annual Conference on Computer Assurance, 1991.

    Google Scholar 

  13. C.A.R. Hoare. Communicating Sequential Processes, Prentice-Hall, 1985.

    Google Scholar 

  14. M.A. Jackson. Software Requirements and Specifications, Addison-Wesley, 1995.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. K. Kronlöf, ed. Method Integration: Concepts and Case Studies, Wiley, 1993.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. D.A. Marca and C.L. McGowan. SADT-Structured Analysis and Design Technique, McGraw-Hill, 1988.

    Google Scholar 

  19. Project MetaPHOR Group, MetaPHOR: Metamodeling, Principles, Hypertext, Objects and Repositories. Technical Report TR-7, University of Jyvaskyla, 1994.

    Google Scholar 

  20. C.C. Morgan. Programming from Specifications, Prentice-Hall, Second Edition, 1994.

    Google Scholar 

  21. R.F. Paige. Formal Method Integration via Heterogeneous Notations, PhD Dissertation, July 1997.

    Google Scholar 

  22. 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.

    Google Scholar 

  23. K. Schoman and D. Ross. Structured Analysis for requirements definition, IEEE Trans. on Software Engineering, 3(1), 1977.

    Google Scholar 

  24. L.T. Semmens, R.B. France, and T.W. Docker. Integrated Structured Analysis and Formal Specification Techniques, The Computer Journal 35(6), June 1992.

    Google Scholar 

  25. J.M. Spivey. The Z Notation: A Reference Manual, Prentice-Hall, 1989.

    Google Scholar 

  26. N. Ward. Adding specification constructors to the refinement calculus. In Proc. FME `93: Industrial-strength Formal Methods, LNCS 670, Springer-Verlag, 1993.

    Google Scholar 

  27. 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.

    Google Scholar 

  28. 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.

    Google Scholar 

  29. E. Yourdon and L. Constantine. Structured Design, Prentice-Hall, 1979.

    Google Scholar 

  30. P. Zave and M. Jackson. Conjunction as Composition, ACM Trans. on Software Engineering and Methodology, 2(4), October 1993.

    Google Scholar 

  31. P. Zave and M. Jackson. Where do operations come from? An approach to multiparadigm specification, IEEE Trans. on Software Engineering, 12(7), July 1996.

    Google Scholar 

  32. P. Zave and P. Mataga. A formal specification of some important 5ESS features, Part 1: Overview. AT&T Bell Laboratories Technical Memorandum, October 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Toronto, M5S 3G4, Toronto, Ontario, Canada

    Richard F. Paige

Authors
  1. Richard F. Paige
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Richard F. Paige .

Editor information

John Fitzgerald Cliff B. Jones Peter Lucas

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation