Handling non-canonical software requirements based on Annotated Predicate Calculus

Authors:
Kedian Mu;Zhi Jin;Ruqian Lu;Yan Peng
Affiliations:
Peking University, School of Mathematical Sciences, 100871, Beijing, P.R. China;Chinese Academy of Sciences, Academy of Mathematics and System Sciences, 100080, Beijing, P.R. China;Chinese Academy of Sciences, Academy of Mathematics and System Sciences, 100080, Beijing, P.R. China;Peking University, School of Mathematical Sciences, 100871, Beijing, P.R. China
Venue:
Knowledge and Information Systems
Year:
2006

Citing 0
Cited 4

Verifying Software Requirements Based on Answer Set Programming

KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
The analysis and management of non-canonical requirement specifications through a belief integration game

Knowledge and Information Systems
Consolidating multiple requirement specifications through argumentation

Proceedings of the 2011 ACM Symposium on Applied Computing
From inconsistency handling to non-canonical requirements management: A logical perspective

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

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.