Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSinnott, Richarden_UK
dc.contributor.authorTurner, Kenneth Jen_UK
dc.contributor.editorSpaniol, Ottoen_UK
dc.contributor.editorLinnhoff-Popien, Claudiaen_UK
dc.contributor.editorMeyer, Bernden_UK
dc.description.abstractThe 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 ODPRM 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.en_UK
dc.publisherSpringer Verlagen_UK
dc.relationSinnott R & Turner KJ (1996) Specifying Multimedia Binding Objects in Z. In: Spaniol O, Linnhoff-Popien C & Meyer B (eds.) Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS '96, Aachen, Germany, October 1-2, 1996, Proceedings. Lecture Notes in Computer Science, Volume 1161. Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS '96, Aachen, Germany, 01.10.1996-02.10.1996. Berlin, Germany: Springer Verlag, pp. 244-257.;
dc.relation.ispartofseriesLecture Notes in Computer Science, Volume 1161en_UK
dc.rightsPublished by Springer Verlag. The original publication is available at www.springerlink.comen_UK
dc.titleSpecifying Multimedia Binding Objects in Zen_UK
dc.typeConference Paperen_UK
dc.type.statusAM - Accepted Manuscripten_UK
dc.citation.btitleTrends in Distributed Systems: CORBA and Beyond, International Workshop TreDS '96, Aachen, Germany, October 1-2, 1996, Proceedingsen_UK
dc.citation.conferencedates1996-10-01 - 1996-10-02en_UK
dc.citation.conferencelocationAachen, Germanyen_UK
dc.citation.conferencenameTrends in Distributed Systems: CORBA and Beyond, International Workshop TreDS '96en_UK
dc.publisher.addressBerlin, Germanyen_UK
dc.contributor.affiliationUniversity of Glasgowen_UK
dc.contributor.affiliationComputing Scienceen_UK
rioxxterms.typeConference Paper/Proceeding/Abstracten_UK
local.rioxx.authorSinnott, Richard|en_UK
local.rioxx.authorTurner, Kenneth J|en_UK
local.rioxx.projectInternal Project|University of Stirling|
local.rioxx.contributorSpaniol, Otto|en_UK
local.rioxx.contributorLinnhoff-Popien, Claudia|en_UK
local.rioxx.contributorMeyer, Bernd|en_UK
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings

Files in This Item:
File Description SizeFormat 
mm-bind.pdfFulltext - Accepted Version269.18 kBAdobe PDFView/Open

This item is protected by original copyright

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.