Skip to main content
SpringerLink
Log in

Reuse and Adaptation of Z Specifications

  • Conference paper
Z User Workshop, London 1992

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

This paper discusses the reuse and adaptation of specifications in Z and object oriented Z, and provides techniques based on a calculus of refinements and on measures of specification design quality, which attempt to address these issues. This calculus will form the basis of a proposal to extend the logic W for standard Z [40] to a reasoning formalism suitable for proving relationships between specifications at a global level. Comparisons with the facilities offered by object oriented specification languages, and with the B abstract machine notation are given. Examples from industrial case studies of the applications of these techniques are also provided.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.-R. Abrial, Assigning Programs to Meaning, Prentice Hall, 1993.

    Google Scholar 

  2. H. Barringer, R. Kuiper, Hierarchical Development of Concurrent Systems in a Temporal Logic Framework, Springer Verlag Lecture Notes in Computer Science Vol 197, Seminar in Concurrency, 1984.

    Google Scholar 

  3. V. R. Basili, G. Caldiera, Identifying and Qualifying Reusable Software Components, Computer, Feb. 1991, 61–71.

    Google Scholar 

  4. B. W. Boehm, A Spiral Model of Software Development and Enhancements, IEEE Computer, Vol 21, No 5, May 1988.

    Google Scholar 

  5. G. Booch, Software Engineering with Ada, 2nd Edition, Benjamin Cummings, 1987.

    Google Scholar 

  6. A. De Bunje, R. J. Bril, The Specification of Synchronised Actions, In: IEEE CompEuro 92 Proceedings, P. Dewilde, J. Vandewalle ( Eds. ), IEEE Press, 1992, pp. 520–525.

    Google Scholar 

  7. E. Burd, The Spiral Model and Object Orientation: A Path towards Successful Reuse, KBSL Conference on Requirements and Design Methods for Object-Oriented Environments, 1992.

    Google Scholar 

  8. E. Casais, An Incremental Class Reorganisation Approach, ECOOP `92 Proceedings, Springer-Verlag LNCS, Vol. 615, 114–132.

    Google Scholar 

  9. D. Clarke, Object Insider Column, Object Magazine, May/June 1992.

    Google Scholar 

  10. E. Cusack, Object-Oriented Modelling in Z, ECOOP `91 Proceedings, Springer-Verlag Lecture Notes in Computer Science, 1991.

    Google Scholar 

  11. D. Duke, R. Duke, P. King, G. A. Rose, G. Smith, Object-Z: An Object-Oriented Extension to Z,in Formal Description Techniques, II (FORTE’89) Vancouver, Canada, December 1989, North-Holland, 1990, 281–296. A technical report: 91–1, Software Verification Research Centre, The University of Queensland.

    Google Scholar 

  12. M. Eva, SSADM Version 4: A User’s Guide McGraw Hill Int-national Series in Software Engineering, 1992.

    Google Scholar 

  13. M. Josephs, The Data-Refinement Calculator for Specifications, Information Processing Letters Vol 27, No 1, pp 29–33, 1988.

    Article  MathSciNet  Google Scholar 

  14. K. Lano, H. Haughton, Extracting Design and Functionality from Code, CASE 92 Proceedings, IEEE Press, 1992.

    Google Scholar 

  15. K. Lano, H. Haughton, The Z++ Manual, Lloyd’s Register, 1992.

    Google Scholar 

  16. K. Lano, Restructuring and Adapting B Specifications, Lloyd’s Register, BUT/LLOYDS/KL/5/V1, July 1992.

    Google Scholar 

  17. K. Lano, Theoretical Results for Refinement and Proof, Lloyd’s Register, BUT/LLOYDS/KL/15/V1, January 1993.

    Google Scholar 

  18. K. Lano, H. Haughton, A Specification-Based Approach to Maintenance, Journal of Software Maintenance, December 1991.

    Google Scholar 

  19. K. Lano, H. Haughton, Object-Oriented Z Specifications for Safety-Critical Software, KBSL Conference on Requirements and Design Methods for Object-Oriented Environments, 1992.

    Google Scholar 

  20. K. Lano, H. Haughton, Reasoning and Refinement in Object-Oriented Specification Languages,ECOOP 92 Proceedings Springer-Verlag LNCS Vol. 615.

    Google Scholar 

  21. K. Lano, H. Haughton, Integrating Formal and Structured Methods in Reverse-Engineering, Proceedings of Working Conference on Reverse Engineering, IEEE Press, 1993.

    Google Scholar 

  22. K. Lano, H. Haughton, B Method Manual Vol. 4: Specification Design and Reuse, Lloyd’s Register, 1992.

    Google Scholar 

  23. B. Lientz, E. Swanson, G. Tompkins, Characteristics of Application Software Maintenance, Communications of the ACM, Vol. 21, No. 6, (June 1978), 466–471.

    Article  Google Scholar 

  24. P. Lupton, Promoting Forward Simulation,Z User Meeting 1990 Nicholls J., (Ed.), Springer-Verlag Workshops in Computer Science, 1991.

    Google Scholar 

  25. R. Malcolm, Safety Critical Systems: Technological and Market developments, Lloyd’s Register, March 1991.

    Google Scholar 

  26. B. Meyer, Object-Oriented Software Construction, Prentice Hall 1988.

    Google Scholar 

  27. B. Meyer, Tools for the New Culture: Lessons from the Design of the Eifel Libraries Communications of the ACM, September 1990, Vol 33, No. 9.

    Google Scholar 

  28. C. Morgan, K. Robinson, P. Gardiner, On The Refinement Calculus,PRG Monograph PRG-70, 1988, Oxford University Programming Research Group.

    Google Scholar 

  29. G. Ostrolenk, A Specification of the UNIFORM Schema, Lloyd’s Register, 1992.

    Google Scholar 

  30. C. Ponder, B. Bush, Polymorphism Considered Harmful, ACM Sigplan Notices, Volume 27, No. 6, June 1992.

    Google Scholar 

  31. D. R. Pyle, Specifying Object Semantics, KBSL Conference on Requirements and Design Methods for Object-oriented Environments, Leeds 1992.

    Google Scholar 

  32. D. R. Pyle, M. Josephs, Enriching a Structured Method with Z, Oxford University Programming Research Group, 1991.

    Google Scholar 

  33. D. R. Pyle, M. Josephs, Entity-Relationship Models Expressed in Z: A Synthesis of Structured and Formal Methods, Oxford University Programming Research Group, 1991.

    Google Scholar 

  34. C. A. Richter, An Assessment of Structured Analysis and Structured De sign, Software Engineering Notes, Vol 11, No 4, August 1986, 75–83.

    Google Scholar 

  35. H. Sneed, Migration of Procedurally oriented COBOL programs in an Object-oriented architecture, IEEE Conference on Software Maintenance, IEEE Press, 1992.

    Google Scholar 

  36. M. Spivey, The Z Notation: A Reference Manual, Prentice Hall, 1989.

    Google Scholar 

  37. S. Stepney, R. Barden, D. Cooper, Object Orientation in Z, Springer-Verlag Workshops in Computer Science, 1992.

    Google Scholar 

  38. B. Vergauwen, J. Levi, Formal Verifications: An Industrial Case Study, IEEE CompEuro 92 Proceedings, P. Dewilde, J. Vandewalle (Eds.), IEEE Press, 1992, pp. 208–213.

    Google Scholar 

  39. N. Wilde, R. Huitt, Maintenance Support for Object-Oriented Programs,Proceedings of Conference on Software Maintenance 1991 Sorrento, Italy, IEEE Computer Society Press, 1991.

    Google Scholar 

  40. J.C.P. Woodcock, S. M. Brien, W: A Logic for Z, Programming Research Group, 1991.

    Google Scholar 

  41. The RAISE Language Group, The RAISE Specification Language Prentice Hall 1991.

    Google Scholar 

  42. S. Brien, J. Nicholls (Eds.), Z Base Standard, Version 0.5, March 1992, Oxford University Programming Research Group.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Applied Information Engineering, Lloyd’s Register, 29 Wellesley Rd., Croydon, CR0 2AJ, UK

    K. Lano & H. Haughton

Authors
  1. K. Lano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. Haughton
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Programming Research Group, Oxford University Computing Laboratory, 11 Keble Road, OX1 3QD, Oxford, UK

    J. P. Bowen MA  & J. E. Nicholls MA  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lano, K., Haughton, H. (1993). Reuse and Adaptation of Z Specifications. In: Bowen, J.P., Nicholls, J.E. (eds) Z User Workshop, London 1992. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3556-2_5

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3556-2_5

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19818-5

  • Online ISBN: 978-1-4471-3556-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation