Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic

This paper explores a formalism for describing a wide class of multimedia document constraints. We outline the requirements on temporal logic specification 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 filter and a new handling of interval length. A model theory and satisfaction relation are defined for the logic and a specification of the canonical example is presented.

[1]  P. David Stotts,et al.  Hyperdocuments as automata: verification of trace-based browsing properties by model checking , 1998, TOIS.

[2]  Robert Erfle.  Specification of Temporal Constraints in Multimedia Documents using HyTime , 1993, Electron. Publ..

[3]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[4]  Simon Thompson,et al.  Type theory and functional programming , 1991, International computer science series.

[5]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[6]  Peter R. King.  A Logic Based Formalism for Temporal Constraints in Multimedia Documents , 1996, PODP.

[7]  Zhenhua Duan,et al.  An extended interval temporal logic and a framing technique for temporal logic programming , 1996 .

[8]  P. David Stotts,et al.  Hyperdocuments as automata: trace-based browsing property verification , 1992, ECHT '92.

[9]  Dick C. A. Bulterman,et al.  Multimedia Authoring Tools: State of the Art and Research Challenges , 1995, Computer Science Today.

[10]  Dick C. A. Bulterman,et al.  Structured multimedia authoring , 1993, MULTIMEDIA '93.

[11]  Simon Thompson,et al.  Constructive Interval Temporal Logic in Alf , 2000 .

[12]  Dov M. Gabbay,et al.  METATEM: A Framework for Programming in Temporal Logic , 1989, REX Workshop.

[13]  Roger Hale,et al.  Using Temporal Logic for Prototyping: The Design of a Lift Controller , 1987, Temporal Logic in Specification.

[14]  Dov M. Gabbay,et al.  The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems , 1987, Temporal Logic in Specification.

[15]  Shinji Kono,et al.  A Combination of Clausal and Non Clausal Temporal Logic Programs , 1993, Executable Modal and Temporal Logics.