From inconsistency handling to non-canonical requirements management: A logical perspective

International Journal of Approximate Reasoning

Volumn 54, Issue 1, 2013, Pages 109-131

  Mu, Kedian ^a   Hong, Jun ^b   Jin, Zhi ^c   Liu, Weiru ^b  

^a PEKING UNIVERSITY   (China)

^b QUEEN'S UNIVERSITY BELFAST   (United Kingdom)

^c Peking University   (China)

Author keywords

Incompleteness; Inconsistency handling; Non canonical requirements; Redundancy; Requirements Engineering

Indexed keywords

INCOMPLETENESS; INCONSISTENCY HANDLING; NON-CANONICAL REQUIREMENTS; REDUNDANT REQUIREMENTS; REQUIREMENTS MANAGEMENT; REQUIREMENTS SPECIFICATIONS; SOFTWARE REQUIREMENTS SPECIFICATIONS;

REDUNDANCY; SOFTWARE ENGINEERING; SPECIFICATIONS;

REQUIREMENTS ENGINEERING;

EID: 84870062938     PISSN: 0888613X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ijar.2012.07.006     Document Type: Article

References (30)

1. V. Gervasi, and D. Zowghi Reasoning about inconsistencies in natural language requirements ACM Transactions on Software Engineering and Methodologies 14 3 2005 277 330
2. A. Hunter, and B. Nuseibeh Managing inconsistent specifications: reasoning, analysis, and action ACM Transactions on Software Engineering and Methodology 7 4 1998 335 367
3. A. Lamsweerde, R. Darimont, and E. Letier Managing conflicts in goal-driven requirements engineering IEEE Transactions on Software Engineering 24 11 1998 908 926
4. S. Easterbrook, M.Chechik, A framework for multi-valued reasoning over inconsistent viewpoints, in: A. H. Müller, M. J. Harrold, and W. Schäfer (Eds.), Proceedings of International Conference on Software Engineering (ICSE'01), Toronto, Canada, 2001, pp. 411-420.
5. B. Nuseibeh, S. Easterbrook, and A. Russo Leveraging inconsistency in software development IEEE Computer 33 4 2000 24 29
6. B. Nuseibeh, S. Easterbrook, and A. Russo Making inconsistency respectable in software development Journal of Systems and Software 58 2 2001 171 180
7. S. Easterbrook, and M. Chechik 2nd international workshop on living with inconsistency Software Engineering Notes 26 6 2001 76 78
8. A. Martinez, J. Arias, and A. Vilas Merging requirements views with incompleteness and inconsistency Proceedings of Australian Software Engineering Conference 2005 2005 IEEE Computer Society Los Alamitos, CA 58 67
9. K. Mu, Z. Jin, and D. Zowghi A priority-based negotiations approach for handling inconsistency in multi-perspective software requirements Journal of Systems Science and Complexity 21 4 2008 574 596
10. K. Mu, W. Liu, Z. Jin, A. Yue, R. Lu, and D. Bell Handling inconsistency in distributed software requirements specifications based on prioritized merging Fundamenta Informaticae 91 3-4 2009 631 670
11. A.B.B. Martinez, J.J.P. Arias, A.F. Vilas, J.G. Duque, M.L. Norse, R.P.D. Redondo, and Y.B. Fernandez On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications Information and Software Technology 50 4 2008 296 321
12. D. Zowghi, and V. Gervasi On the interplay between consistency, completeness, and correctness in requirements evolution Information and Software Technology 45 14 2003 993 1009
13. K. Mu, Z. Jin, R. Lu, and Y. Peng Handling non-canonical software requirements based on annotated predicate calculus Knowledge and Information Systems 11 1 2007 85 104
14. K. Mu, Q. Zhang, and Z. Jin Verifying software requirements based on answer set programming D. Karagiannis, Z. Jin, KSEM2009 LNAI vol. 5914 2009 Springer 263 274
15. K. Mu, Z. Jin, R. Lu, and W. Liu Measuring inconsistency in requirements specifications L. Godo, Proc. ECSQARU2005 LNCS vol. 3571 2005 Springer Verlag New York, Secaucus, NJ, USA 440 451
16. D. Jackson Automating frist-order relational logic ACM SIGSOFT Software Engineering Notes 25 6 2000 130 139
17. A. Hunter, S. Konieczny, Measuring inconsistency through minimal inconsistent sets, in: G. Brewka, J. Lang (Eds.), Principles of knowledge representation and reasoning: proceedings of the eleventh international conference (KR08), 2008, pp. 358-366.
18. D. Gabbay, and A. Hunter Making inconsistency respectable 2: meta-level handling of inconsistent data M. Clarke, R. Kruse, S. Moral, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference ECSQARU'93, Granada, Spain, November 8-10, 1993, Proceedings Lecture Notes in Computer Science vol. 747 1993 129 136
19. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh Inconsistency handling in multi-perspective specifications IEEE Transactions on Software Engineering 20 8 1994 569 578
20. K. Mu, W. Liu, and Z. Jin A general framework for measuring inconsistency through minimal inconsistent sets Knowledge and Information Systems 27 1 2011 85 114
21. K. Mu, and Z. Jin Identifying acceptable common proposals for handling inconsistent software requirements J. Derrick, J. Vain, Forte 2007 LNCS vol. 4574 2007 296 308
22. A. Hunter, and S. Konieczny Shapley inconsistency values P. Doherty, J. Mylopoulos, C. Welty, Principles of knowledge representation and reasoning: proceedings of the 10th international conference (KR06) 2006 AAAI Press 249 259
23. R. Reiter A theory of diagnosis from first priniciples Artificial Intelligence 32 1 1987 57 95
24. K. Knight Measuring inconsistency Journal of Philosophical Logic 31 1 2002 77 98
25. M. Thimm Measuring inconsistency in probabilistic knowledge bases J. Bilmes, Y. Andrew, Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence (UAI'09), Montreal, Canada, June 2009 2009 AUAI Press 530 537
26. A. Russo, R. Miller, B. Nuseibeh, and J. Kramer An abductive approach for analysing event-based requirements specifications P.J. Stuckey, Logic Programming, 18th International Conference ICLP 2002, Proceedings Lecture Notes in Computer Science vol. 2401 2002 Springer Copenhagen, Denmark 22 37
27. K. Mu, W. Liu, and Z. Jin Measuring the blame of each formula for inconsistent prioritized knowledge bases Journal of Logic and Computation 22 3 2012 481 516
28. S.A. Cook, The complexity of theorem-proving procedures, in: Proceedings of the Third Annual ACM Symposium on the Theory of Computing, New York, 1977, pp. 151-158.
29. T. Eiter, and G. Gottlob On the complexity of propositional knowledge base revision, updates, and counterfactuals Artificial Intelligence 57 2-3 1992 227 270
30. É. Grégoire, B. Mazure, and C. Piette Using local search to find MSSes and MUSes European Journal of Operational Research 199 3 2009 640 646