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

fYear

1990

Firstpage

192

Lastpage

199

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Applied Computing, 1990., Proceedings of the 1990 Symposium on

Conference_Location

Fayetteville, AR

Print_ISBN

0-8186-2031-5

Type

conf

DOI

10.1109/SOAC.1990.82167

Filename

82167