Requirements Oracles

A requirements database contains the information elicited or otherwise collected, used, and produced during requirements engineering. From a requirements database, the requirements oracle selects information relevant for the resolution of the requirements problem, such as which goals are
satisfied, which domain assumptions are violated or maintained, which tasks cannot be executed together. Implemented oracles should enable the resolution of the requirements problem to
become an interactive process, in which the oracle provides feedback about the effects of the changes in the requirements database on the candidate solutions to the requirements problem. We give a definition of the pronouncements of requirements oracles by formally defining their desirable properties.

Unpublished draft; written together with Alex Borgida, Rutgers University.