Advertisement

Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic

  • Howard Bowman
  • Helen Cameron
  • Peter King
  • Simon Thompson
Part of the Applied Logic Series book series (APLS, volume 16)

Abstract

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.

Keywords

Temporal Logic Past Operator Composite Action Multimedia Document Satisfaction Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. METATEM: A framework for programming in temporal logic. In Lecture Notes in Artificial Intelligence, vol. 430. Springer-Verlag, 1989.Google Scholar
  2. H. Bowman, H. Cameron, P. King, and S. Thompson. Mexitl: Multimedia in Executable Interval Temporal Logic. Technical Report 3–97 (Kent), Computing Laboratory, University of Kent, 1997.Google Scholar
  3. D.C.A. Bulterman and L. Hardman. Multimedia authoring tools: State of the art and research challenges. In Computer Science Today: Recent Trends and Developments, LNCS, No. 1000, pages 575–591. Springer-Verlag, 1995.Google Scholar
  4. Z. H. Duan. An Extended Interval Temporal Logic and A Framing Technique for Temporal Logic Programming. PhD thesis, Univ. of Newcastle Upon Tyne, 1996.Google Scholar
  5. R. Erfle. Specification of temporal constraints in multimedia documents using hytyime. Electronic Publishing, 6 (4): 397–411, December 1993.Google Scholar
  6. D. Gabbay. The declarative past and imperative future. In Temporal Logic in Specification. LNCS 389, Springer-Verlag, 1989.Google Scholar
  7. R. Hale. Using temporal logic for prototyping: the design of a lift controller. In Lecture Notes in Computer Science, vol. 379, pages 375–408. Springer-Verlag, 1989.CrossRefGoogle Scholar
  8. L. Hardman, G. van Rossum, and D.C.A. Bulterman. Structured multimedia authoring. ACM Multimedia, pages 283–289, 1993.Google Scholar
  9. ISO 19744. Information Technology — Hypermedia/Time-based Structuring Language (HyTime), 1992.Google Scholar
  10. P.R. King. A logic based formalism for temporal constraints in multimedia documents. In PODP 96,September 1996. Revised version to appear in LNCS, Springer Verlag.Google Scholar
  11. P.R. King. Modelling multimedia documents. Elec. Pub., 8 (2, 3): 95–110, 1996.Google Scholar
  12. S. Kono. A combination of clausal and non-clausal temporal logic programs. In Lecture Notes in AI, vol. 897, pages 40–57. Springer—Verlag, 1993.Google Scholar
  13. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.Google Scholar
  14. B. Moszkowski. Executing Temporal Logic. Cambridge University Press, 1986.Google Scholar
  15. P.D. Stotts, R. Furuta, and J.C. Ruiz. Hyperdocuments as automata: Trace-based browsing property verification. In Proc. ACM Conf. on Hypertext, pages 272–281. ACM Press, 1992.Google Scholar
  16. P.D. Stotts, R. Furuta, and J.C. Ruiz. Hyperdocuments as automata: Verification of trace-based browsing properties by model checking. ACM Transactions on Information Systems, 1997. To appear.Google Scholar
  17. S. Thompson. Type Theory and Functional Programming. Addison-Wesley, 1991.Google Scholar
  18. S. Thompson. Constructive interval temporal logic in Alf. In this volume, 1997.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2000

Authors and Affiliations

  • Howard Bowman
    • 1
  • Helen Cameron
    • 2
  • Peter King
    • 2
  • Simon Thompson
    • 1
  1. 1.Computing LaboratoryUniversity of Kent at CanterburyCanterbury, KentUK
  2. 2.Department of Computer ScienceUniversity of ManitobaWinnipegCanada

Personalised recommendations