Title :
Temporal integrity constraints in interactive multimedia documents
Author :
Mirbel, I. ; Pernici, B. ; Vazirgiannis, M.
Author_Institution :
Lab. I3S, CNRS, France
Abstract :
When authoring multimedia scenarios, and in particular scenarios with user interaction, where the sequence and time of occurrence of interactions is not predefined, it is difficult to guarantee the consistency of the resulting scenarios. As a consequence, the execution of the scenario may result in unexpected behavior or inconsistent use of media. The paper proposes to use temporal constraint verification techniques in a methodology for checking the temporal integrity of interactive multimedia document scenarios at authoring time at various levels
Keywords :
authoring systems; data integrity; document handling; formal verification; interactive systems; multimedia computing; temporal logic; authoring time; inconsistent media use; interactive multimedia document scenarios; interactive multimedia documents; multimedia scenarios; temporal constraint verification techniques; temporal integrity; temporal integrity constraints; unexpected behavior; user interaction; Access control; Buildings; Resumes;
Conference_Titel :
Multimedia Computing and Systems, 1999. IEEE International Conference on
Conference_Location :
Florence
Print_ISBN :
0-7695-0253-9
DOI :
10.1109/MMCS.1999.778601