Speci cation and Prototyping of StructuredMultimedia Documents using Interval TemporalLogic ?

This paper explores a formalism for describing a wide class of multimedia document constraints. We outline the requirements on temporal logic speciication that arise from the multimedia documents application area. In particular, we highlight a canonical document example. Then we present the temporal logic formalism that we use. This formalism extends existing interval temporal logic with a number of new features: actions, framing of actions, past operators, a projection-like operator called lter and a new handling of interval length. A model theory and satisfaction relation are deened for the logic and a speciication of the canonical example is presented.