Temporal specification of an integrity kernel for multimedia office systems

The authors report on the temporal specification of integrity systems with the interval specification language ISL. ISL is based on a form of interval temporal logic and provides a framework for a logic of knowledge and belief about data integrity. ISL is a design tool for integrity kernels in office information systems where the dynamic evaluation of data integrity based upon partial knowledge and informed judgment is required. The D.D. Clark and D.R.A. Wilson (1981) integrity model, designed to prevent fraudulent and erroneous data modification, is subsumed. An integrity system which includes extensions to the concept defined in the Multimedia Office Server (MULTOS) project is given. An integrity characteristic tuple incorporating the notions of correctness, completeness, quality, timeliness, and confidence associated with each constrained document component is presented. A specification for a simplified integrity kernel is provided.< >