On defining a class of integrity constraints

Software tools are needed to help developers who are creating large, complex software systems that require deep and diverse domain knowledge that must be communicated to personnel throughout development. One approach that addresses this need is called context monitoring. This approach uses integrity constraints that state the conditions that data or objects of a program must satisfy and dynamically checks the enforcement of them. The first step toward realizing context monitoring is creating a language for defining constraints. This paper introduces a logical language for reasoning and specifying constraints. In addition, a broad class of constraints are identified. The paper gives an example problem and specifies various constraints on that problem.