DMCA
Modelling Multimedia and Hypermedia Applications using an E-LOTOS/MHEG-5 Approach
BibTeX
@MISC{Nazareno_modellingmultimedia,
author = {Paulo Nazareno and Maia Sampaio and Claudia Yumi and Shiga Wanderley and Lopes de Souza and Claudia Yumi Shiga and Wanderley Lopes De Souza},
title = {Modelling Multimedia and Hypermedia Applications using an E-LOTOS/MHEG-5 Approach},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
: Modelling temporal and logical synchronization constraints in a multimedia/hypermedia scenario is a relevant issue. Based on a general purpose framework, this paper investigates the E-LOTOS applicability to specify the synchronization constraints from the adopted model, and proposes a MHEG-5 modelling of these structures to enable the conception of an E-LOTOS/MHEG-5 mapping procedure of multimedia and hypermedia applications. Keywords : Multimedia/Hypermedia Applications, MHEG-5, Temporal Synchronization, Formal Methods, LOTOS, E-LOTOS 1. Introduction Formal methods have been widely applied to model communication protocols and distributed systems. Based on the Formal Description Technique's (FDTs) syntax and semantics used within the specification, verification, implementation and testing phases, it is possible to ensure concise and consistents specifications of such systems. Researches demonstrate that distributed multimedia applications (e.g., cooperative work, video-on-demand, ...
Keyphrases
hypermedia application e-lotos mheg-5 approach relevant issue mheg-5 modelling e-lotos mheg-5 mapping procedure consistents specification formal description technique general purpose framework testing phase multimedia hypermedia application research demonstrate cooperative work formal method synchronization constraint logical synchronization constraint communication protocol e-lotos applicability temporal synchronization introduction formal method multimedia application multimedia hypermedia scenario
