Handling non-canonical software requirements based on Annotated Predicate Calculus

Kedian Mu,Zhi Jin,Ruqian Lu,Yan Peng

DOI: https://doi.org/10.1007/s10115-006-0021-y

IF: 2.7

2006-01-01

Knowledge and Information Systems

Abstract:Eliciting requirements for a proposed system inevitably involves the problem of handling undesirable information about customer's needs, including inconsistency, vagueness, redundancy, or incompleteness. We term the requirements statements involved in the undesirable information non-canonical software requirements. In this paper, we propose an approach to handling non-canonical software requirements based on Annotated Predicate Calculus (APC). Informally, by defining a special belief lattice appropriate for representing the stakeholder's belief in requirements statements, we construct a new form of APC to formalize requirements specifications. We then show how the APC can be employed to characterize non-canonical requirements. Finally, we show how the approach can be used to handle non-canonical requirements through a case study.