Skip to main content
SpringerLink
Log in

Specifying multimedia binding objects in Z

  • Conference paper
  • First Online:
Trends in Distributed Systems CORBA and Beyond (TreDS 1996)

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

Included in the following conference series:

Abstract

The current standardisation activity of Open Distributed Processing (ODP) has attempted to incorporate multimedia flows of information into its architecture through the idea of stream interfaces. At present the reference model of ODP (ODP-RM) abstracts from the precise nature of the flows of information. As a consequence of this, the ODP-RM only deals with syntactic aspects of stream interfaces and does not require them to satisfy any behavioural considerations. It is shown in this paper how the formal notation Z can be used to reason about these flows of information in a manner that enables behavioural as well as temporal aspects to be considered. The example given to highlight the approach is the ODP concept of a binding object.

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. A. Coombes. An interval logic for modelling time in Z. Technical report, Department of Computing Science, University of York, 1990.

    Google Scholar 

  2. N. Delisle and D. Garlan. Formally specifying electronic instruments. ACM SIGSOFT Eng. Notes, 14:242–248, 1989.

    Google Scholar 

  3. ISO/IEC. 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, 1989.

    Google Scholar 

  4. ISO/IEC. 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, 1989.

    Google Scholar 

  5. ISO/IEC. 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, 1995.

    Google Scholar 

  6. ISO/IEC. Basic Reference Model of ODP — Part 2: Foundations. International Standard 10746-2, ITU-T X.902. ISO/IEC ITU-T, Geneva, Switzerland, 1995.

    Google Scholar 

  7. ISO/IEC. Basic Reference Model of ODP — Part 3: Architecture. International Standard 10746-3, ITU-T X.903. ISO/IEC ITU-T, Geneva, Switzerland, 1995.

    Google Scholar 

  8. ISO/IEC. Basic Reference Model of ODP — Part 4: Architectural Semantics. Draft International Standard 10746-4, Draft ITU-T Recommendation X.904. ISO/IEC ITU-T, Geneva, Switzerland, 1995.

    Google Scholar 

  9. ISO/IEC. Basic Reference Model of ODP — Part 4.1: Architectural Semantics Amendment. ISO/IEC JTC1/SC21 Working Document N9818. ISO/IEC ITU-T, Geneva, Switzerland, 1995.

    Google Scholar 

  10. ISO/IEC. Z Notation version 1.2. ISO/IEC JTC1/SC22/WG19 CD 13568. ISO/IEC, Geneva, Switzerland, August 1995.

    Google Scholar 

  11. ITU-T. International Consultative Committee on Telegraphy and Telephony — SDL — Specification and Description Language. CCITT Z.100. International Telecommunications Union, Geneva, Switzerland, 1992.

    Google Scholar 

  12. P. King. A formal specification of signalling system number 7 link layer. Technical Report TR-101, University of Queensland, Key Centre for Software Technology, 1989.

    Google Scholar 

  13. R.O. Sinnott and K.J. Turner. Specifying ODP Computational Objects in Z. In Elie Najm and Jean-Bernard Stefani, editors, Proceedings of Formal Methods for Open Object-based Distributed Systems, Paris, France, March 1996.

    Google Scholar 

  14. K. J. Turner. Relating architecture and specification. Computer Networks and ISDN Systems, 1996. Accepted for publication in Special Edition on Specification Architecture.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing Science, University of Stirling, FK9 4LA, Stirling, Scotland

    Richard O. Sinnott & Kenneth J. Turner

Authors
  1. Richard O. Sinnott
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kenneth J. Turner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Otto Spaniol Claudia Linnhoff-Popien Bernd Meyer

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sinnott, R.O., Turner, K.J. (1996). Specifying multimedia binding objects in Z. In: Spaniol, O., Linnhoff-Popien, C., Meyer, B. (eds) Trends in Distributed Systems CORBA and Beyond. TreDS 1996. Lecture Notes in Computer Science, vol 1161. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61842-2_40

Download citation

  • DOI: https://doi.org/10.1007/3-540-61842-2_40

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61842-3

  • Online ISBN: 978-3-540-70716-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation