School of Computing

Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic

Howard Bowman, Helen Cameron, Peter King, and Simon Thompson

In International Conference on Temporal Logic, Applied Logic Series, pages 182-196. Kluwer, July 1997.

Abstract

This paper explores a formalism for describing a wide class of multimedia document constraints. The formalism is based on an interval temporal logic. We describe 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 is defined for the notation and a specification of the canonical example is presented.

Download publication 66 kbytes

Bibtex Record

@inproceedings{211,
author = {Howard Bowman and Helen Cameron and Peter King and Simon Thompson},
title = {{Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic}},
month = {July},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/211},
    booktitle = {International Conference on Temporal Logic},
    publisher = {Kluwer},
    refereed = {yes},
    series = {Applied Logic Series},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014