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.
Chapter PDF
Similar content being viewed by others
References
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.
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.
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.
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.
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.
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.
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.
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.
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.
ITU-T (1992), International Consultative Committee on Telegraphy and Telephony - SDL - Specification and Description Language, CCITT Z. 100, International Telecommunications Union, Geneva, Switzerland.
Meyer, B. (1988), Object Oriented Software Construction, Prentice-Hall International Series in Computing Science: C.A.R. Hoare Series Editor, Prentice-Hall International.
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.
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.
Spivey, J. (1993), The Fuzz Manual, Computing Science Consultancy. Second Printing.
Stepney, S., Barden, R. and Cooper, D., eds (1992), Object Orientation in Z Springer-Verlag.
Turner, K. J. (1995), ‘Relating architecture and specification’, Computer Networks and ISDN Systems. Accepted for publication in Special Edition on Specification Architecture.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Sinnott, R., Turner, K.J. (1997). Specifying ODP Computational Objects in Z. In: Najm, E., Stefani, JB. (eds) Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35082-0_27
Download citation
DOI: https://doi.org/10.1007/978-0-387-35082-0_27
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2875-9
Online ISBN: 978-0-387-35082-0
eBook Packages: Springer Book Archive