Temporal integrity constraints in interactive multimedia documents

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.