Enabling temporal synchronization in E-LOTOS specifications and MHEG-5 applications

Authors:
P. Nazareno Maia Sampaio;C. Yurni Shiga;W. Lopes de Souza
Affiliations:
-;-;-
Venue:
MMNET '97 Proceedings of the IEEE Conference on Protocols for Multimedia Systems - Multimedia Networking (PROMSMmNet'97)
Year:
1997

Citing 0
Cited 2

Specifying and analysing multimedia systems

Formal methods for distributed processing
Design of Distributed Multimedia Applications (DAMD)

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Abstract: Identifying temporal and logical synchronization constraints during a multimedia and hypermedia authoring process is a relevant issue. Based on a general purpose model, this paper investigates an equivalence framework to model the temporal relationships between the MHEG-5 applications and E-LOTOS specifications of these behavior patterns. This work is part of a design methodology, where the E-LOTOS/MHEG-5 libraries will enable the conception of a mapping procedure between these representations.