J.-P. Courtiat
ABSTRACT
The design of a distributed multimedia application involves both temporal and spatial synchronization problems related to the processing, transport, storage, retrieval and presentation of data, sound, still images and video. Within this general framework, the paper aims at defining a new multimedia synchronization mechanism, the so-called conditional delivery mechanism, which appears particularly useful for achieving both intra- and inter-stream synchronization. Main motivations behind this synchronization mechanism are first discussed on a simple example, namely a distributed application in the area of distance and interactive training, and then the details of the mechanism are presented. This presentation starts with an informal discussion on simple examples, which is followed by a formal specification of the mechanism based on the use of a temporal extension of the Formal Description Technique LOTOS.
- BB 87.T. Bolognesi and E. Brinksma, "Introduction to the ISO Specification Language LOTOS", Computer Networks and ISDN Systems, N'I4, 1987.]] Google Scholar
Digital Library
- BLA 93.G.S. Blair, A. Campbell, G. Coulson, N. Davies, F. Garcia and D. Shepered, "Summary of the 4th International Worksimp on Network and ~ating System S~ for Digital Audio and Video", (NOSSDAV~3), 1993.]]Google Scholar
- BBBC 93.G.5. Blair, Lynne Blair, Howard Bowman and Amanda Chetwyrut, "Formal Support for the Specification and Construction of Distributed Multimedia Systems (The Tempo Projec0, Final Project Deliverable, 1993.]] Google ScholarDigital Library
- CSC 92.L.F.R.C. Carmo, P. de Saqui-S~ and J.P. Courtiat, "Buic Synchrontsation Concepts in Multimedia Systems", Lecutre Notes in Comp. Sciences N~712, Springer Verlag, 1993.]] Google ScholarDigital Library
- CCS 93.L.F.R.C. Carmo, J..P. Courtiat and P. de Saqui- Sannes, "Towards Multimedia Communication Services", Proc. of the 4th Workshop on Future Trends of Dish, ted Computing Systems, Lisbon, Portug~, IEEE Press, Septmuber 1993.]]Google Scholar
- CC 94.L.F.R.C. Carmo, JP. Courtiat, "Implementing Intrastream Synchronization by means of Conditional Dependency Expressions", Proc. of the 5th IHP Conf. on High Performance Networking, Cam~ble, France, June 1994.]] Google ScholarDigital Library
- CCO 94.JP. Cmmiat, L.F.R.C. Carmo and R.C. de Oliveira, "A New Mechanism for Achieving Inter-stream Synchronization in Multimedia Communication Systems", Proc. of the IEEE Int. Conf. on Multimedia Computing and Systems, Boston, USA, May 1994.]]Google Scholar
- CO 94.J..P. Courtiat and R.C. de Oliveira, "About Time Nondeterminksms and Exception Handling in a Temporal Extension of LOTOS", .proc. 14th Int. Syrup. on Protocol Specification, Testing and Verification, Vancouver, Canada, June 1994.]] Google ScholarDigital Library
- COC 94.JP. Courtiat, R.C. de Oliveira and L.F.R.C. Cnnno, "Towards a New Multimedia Sbmchronization Mechanism and its Formal Specification", LAAS-CNRS Rep. N~94133, March 1994.]]Google Scholar
- DS 94.M. Diaz, P. S~nac, "Time stream Petri nets: a model for timed multimedia information", Proc. of the 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain, Jtme 1994.]] Google ScholarDigital Library
- FER 92.D. Ferrari, "Distributed Delay Jitter Control in Packet- Switching Intemetworks", Technical Report, International Computer Science Institute, Berkeley, U.S.A.]]Google Scholar
- ISO 89.ISO/TC97/SC21/WG 1 - FDT~, IS 8807, "L,(YFOS, a formal description technique based on temporal ordering of observational behaviour, 1989.]]Google Scholar
- LIT 90.T.D.C. Little and A. Ghafoor, "Synchronisation and Storage Models for Multimedia Objects", l~EE Journal on Selected Areas in Communications, Vol. 8, N~. 3, 1990.]]Google Scholar
- PAR 91.C. Partridge, "Isochronous Applications Do Not Require Jitter-Controlled Networks", Request for Comments 1257, 1991.]] Google ScholarDigital Library
- RRVK 93.P. Rangan, S. Ramanathan, H. Vin and T. Kaeppner, 'Techniques for Multimedia Synchronization in Network File Systems", Computer. Communications, Vol. 16, N~.3, 1993.]]Google ScholarDigital Library
- SDSH 93.H. Santoso, L. Dairaine, S. Fdida and E. Horlait, "Preserving Temporal Signature: a Way to Convey Time Constrained Flows", Proc. of IEEE GLOB~M'93 Conference, USA, 1993.]]Google ScholarCross Ref
Index Terms
- Towards a new multimedia synchronization mechanism and its formal definition
Recommendations
Distributed multimedia synchronization specifications using M2EST
In order to properly schedule related multimedia objects, synchronization relationships of multimedia objects should be precisely specified and dispatched. Each multimedia presentation schedule contains two parts: (1) the state-transition control part, ...
A synchronization mechanism for continuous media in multimedia communications
INFOCOM '95: Proceedings of the Fourteenth Annual Joint Conference of the IEEE Computer and Communication Societies (Vol. 3)-Volume - Volume 3This paper proposes a media synchronization mechanism which adjusts the output timing among stored continuous media streams in multimedia communications. The proposed method consists of intra-stream and inter-stream synchronization mechanisms. The inter-...
Equivalence of formal semantics definition methods
AbstractThere are numerous methods of formally defining the semantics of computer languages. Each method has been designed to fulfil a different purpose. For example, some have been designed to make reasoning about languages as easy as possible; others ...
Comments