Advertisement

Specifying ODP Computational Objects in Z

  • Richard Sinnott
  • Kenneth J. Turner
Chapter
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT)

Abstract

The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-ODP) shows how collections of objects can be configured within a distributed system to enable interworking. It prescribes certain capabilities that such objects are expected to possess and structuring rules that apply to how these objects can be configured with one another. This paper highlights how the specification language Z can be used to formalise these capabilities and the associated structuring rules, thereby enabling specifications of ODP systems from the computational viewpoint to be achieved.

Keywords

Open Distributed Processing Architectural Semantics 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Blair, G. S. and Lea, R. (1993), The impact of distribution on support for object-oriented software development, Technical Report MPG-93–25, University of Lancaster, England.Google Scholar
  2. Brookes, W. and Indulska, J. (1994), ODP Types and their Management: An Object-Z Specification, in K. Raymond and E. Armstrong, cds, ‘Open Distributed Processing: Experiences with Distributed Envirnonments’, Chapman and Hall, pp. 425–437.Google Scholar
  3. ISO/IEC (1989a), Information Processing Systems - Open Systems Interconnection - Estelle - A Formal Description Technique Based on an Extended State Transition Model, ISO/IEC 9074, International Organization for Standardization, Geneva, Switzerland.Google Scholar
  4. ISO/IEC (19896), Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour ISO/IEC 8807, International Organization for Standardization, Geneva, Switzerland.Google Scholar
  5. ISO/IEC (1995a), Basic Reference Model of ODP - Part 1: Overview and Guide to Use of the Reference Model, Draft International Standard 10746–1, Draft ITU-T Recommendation X. 901, ISO/IEC ITU-T, Geneva, Switzerland.Google Scholar
  6. ISO/IEC (1995b), Basic Reference Model of ODP - Part 2: Foundations, International Standard 10746–2, ITU-T X. 902, ISO/IEC ITU-T, Geneva, Switzerland.Google Scholar
  7. ISO/IEC (1995e), Basic Reference Model of ODP - Part 3: Architecture, International Standard 10746–3, ITU-T X. 903, ISO/IEC ITU-T, Geneva, Switzerland.Google Scholar
  8. ISO/IEC (1995tandard 10746–4, Draft ITU-T Recommendation X.904, ISO/IEC ITU-T, Geneva, Switzerd), Basic Reference Model of ODP - Part.4: Architectural Semantics Draft International Sland.Google Scholar
  9. ISO/IEC (1995e), Basic Reference Model of ODP - Part 4.1: Architectural Semantics Amendment, ISO AEC JTC1/SC21 Working Document N9818, ISO/IEC ITU-T, Geneva, Switzerland.Google Scholar
  10. ITU-T (1992), International Consultative Committee on Telegraphy and Telephony - SDL - Specification and Description Language, CCITT Z. 100, International Telecommunications Union, Geneva, Switzerland.Google Scholar
  11. Meyer, B. (1988), Object Oriented Software Construction, Prentice-Hall International Series in Computing Science: C.A.R. Hoare Series Editor, Prentice-Hall International.Google Scholar
  12. Sinnott, R. and Turner, K. J. (1995), ‘Applying formal methods to standard development: The open distributed processing experience’, Computer Standards H Interfaces 17, 615–630.CrossRefGoogle Scholar
  13. Spivey, J. (1992), The Z Notation: A Reference Manual, Prentice-Hall International Series in Computing Science: C.A.R. Hoare Series Editor, second edn, Prentice-Hall International.Google Scholar
  14. Spivey, J. (1993), The Fuzz Manual, Computing Science Consultancy. Second Printing.Google Scholar
  15. Stepney, S., Barden, R. and Cooper, D., eds (1992), Object Orientation in Z Springer-Verlag.Google Scholar
  16. Turner, K. J. (1995), ‘Relating architecture and specification’, Computer Networks and ISDN Systems. Accepted for publication in Special Edition on Specification Architecture.Google Scholar

Copyright information

© IFIP International Federation for Information Processing 1997

Authors and Affiliations

  • Richard Sinnott
    • 1
  • Kenneth J. Turner
    • 1
  1. 1.Department of Computing ScienceUniversity of StirlingStirlingScotland

Personalised recommendations