Title :
Temporal specification of an integrity kernel for multimedia office systems
Author :
Ramanna, S. ; Peters, J.F. ; Unger, E.A.
Author_Institution :
Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
Abstract :
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
Keywords :
formal specification; management information systems; office automation; specification languages; ISL; Multimedia Office Server; completeness; confidence; correctness; data integrity; erroneous data modification; informed judgment; integrity kernel; interval specification language; interval temporal logic; logic of knowledge; multimedia office systems; office information systems; partial knowledge; quality; timeliness; Computer security; Distributed databases; Information systems; Kernel; Logic; Multimedia systems; Sections; Specification languages; Terminology;
Conference_Titel :
Applied Computing, 1990., Proceedings of the 1990 Symposium on
Conference_Location :
Fayetteville, AR
Print_ISBN :
0-8186-2031-5
DOI :
10.1109/SOAC.1990.82167
