An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Estelle development toolset (EDT)
Computer Networks and ISDN Systems
Object composition and playback models for handling multimedia data
Multimedia Systems
Timed protocol verification for Estelle-specified protocols
ACM SIGCOMM Computer Communication Review
Quantification of quality-of-presentations (QOPs) for multimedia synchronization schemes
ACM SIGCOMM Computer Communication Review
ACM Computing Surveys (CSUR)
Multimedia Information Systems
IEEE MultiMedia
Multimedia Systems: An Overview
IEEE MultiMedia
A media synchronization survey: reference model, specification, and case studies
IEEE Journal on Selected Areas in Communications
Human perception of jitter and media synchronization
IEEE Journal on Selected Areas in Communications
An EFSM-based multimedia synchronization model and the authoring system
IEEE Journal on Selected Areas in Communications
Synchronization properties in multimedia systems
IEEE Journal on Selected Areas in Communications
Synchronization and storage models for multimedia objects
IEEE Journal on Selected Areas in Communications
A synchronization framework for communication of pre-orchestrated multimedia information
IEEE Network: The Magazine of Global Internetworking
MING-I: a distributed interactive multimedia document development mechanism
Multimedia Systems
| Hi-index | 0.00 |
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, which specifies intra-medium and inter-media synchronization information, and (2) the data variables part, which specifies the dynamic aspects of the state-transition control for dealing with jitter and skew. In this paper, we propose a specification language for specifying multimedia synchronization. The language is called M^2EST, which represents the MultiMedia Extended State Transition. M^2EST can handle both the state-transition control part and the data variables part in multimedia presentation scheduling. Using M^2EST, the temporal behavior of each medium stream is handled by an actor extended finite state machine (EFSM). The temporal relationships among media streams are handled by a synchronizer EFSM. Synchronizer and actors perform multimedia presentations cooperatively. The corresponding synchronization schemes, including both intra-stream and inter-stream synchronization schemes, which rectify the random networks delays caused on distributed presentation environment, can also be specified using M^2EST.