Mexitl: Multimedia in Executable Interval Temporal Logic

Bowman, Howard and Cameron, Helen and King, Peter and Thompson, Simon (1997) Mexitl: Multimedia in Executable Interval Temporal Logic. Technical report. University of Kent (Full text available)

Postscript
Download (432kB)
[img]
Preview
PDF
Download (126kB)
[img]
Preview

Abstract

This paper explores a formalism for describing a wide class of multimedia document constraints, 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 specification example. Then we present the temporal logic formalism that we use. This 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, logic and satisfaction relation are defined for the notation, a specification of the canonical example is presented, and a proof system for the logic is introduced.

Item Type: Monograph (Technical report)
Uncontrolled keywords: interval temporal logic, actions, multimedia, framing, executable
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 26 Jul 2009 12:45
Last Modified: 12 May 2014 14:03
Resource URI: http://kar.kent.ac.uk/id/eprint/21503 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year