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 395–408Cite as

Case studies in using a meta-method for formal method integration

  • Conference paper
  • First Online:

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

Abstract

We summarize the results of several experiments in applying a meta-method for formal method integration [18, 19]. We provide a small example of using an instance of integrated formal methods, and discuss properties and difficulties associated with applying the meta-method to combining and using several formal and semiformal methods.

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. Barden, S. Stepney, and D. Cooper. Z in Practice, Prentice-Hall, 1994.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  7. A. Hall. Specifying and Interpreting Class Hierarchies in Z. In Proc. Eighth Z User Meeting, Cambridge, Springer-Verlag, 1994.

    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. Hehner and A.J. Malton. Termination Conventions and Comparative Semantics, Acta Informatica, 25 (1988).

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

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

    Google Scholar 

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

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

    Google Scholar 

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

    Google Scholar 

  18. R.F. Paige. Formal Method Integration via Heterogeneous Notations, PhD Dissertation, November 1997.

    Google Scholar 

  19. R.F. Paige. A Meta-Method for Formal Method Integration. In Proc. Formal Methods Europe '97, Lecture Notes in Computer Science, Springer-Verlag, 1997.

    Google Scholar 

  20. R.F. Paige. Using Heterogeneous Notations to Integrate a Formal and Object-Oriented Method. Submitted to The Computer Journal, 1997.

    Google Scholar 

  21. R.F. Paige. Integrating Predicative Programming and SA/SD using Heterogeneous Notations. Submitted to PROCOMET '98.

    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. G. Randell. Data flow diagrams and Z. In Z Users Meeting '90, Springer-Verlag, 1991.

    Google Scholar 

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

    Google Scholar 

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

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

Download references

Author information

Author notes

  1. Richard F. Paige

    Present address: Department of Computer Science, York University, M3J 1P3, North York, ON, Canada

Authors and Affiliations

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

    Richard F. Paige

Authors
  1. Richard F. Paige
    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

Paige, R.F. (1997). Case studies in using a meta-method for formal method integration. 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/BFb0000485

Download citation

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

  • 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