Abstract
Inconsistency has been considered as one of the main classes of defects in software requirements specification. Various logic-based techniques have been proposed to manage inconsistencies in requirements engineering. However, identifying an appropriate proposal for resolving inconsistencies in software requirements is still a challenging problem. In this paper, we propose a logic-based approach to generating appropriate proposals for handling inconsistency in software requirements. Informally speaking, given an inconsistent requirements specification, we identify which requirements should be given priority to be changed for resolving the inconsistency in that specification, by balancing the blame of each requirement for the inconsistency against its value for that requirements specification. We follow the viewpoint that minimal inconsistent subsets of a set of formulas are the purest forms of inconsistencies in that set. According to this viewpoint, a potential proposal for resolving inconsistencies can be described by a possible combination of some requirements to be changed that can eliminate minimal inconsistent subsets. Then we propose a method of evaluating the degree of disputability of each requirement involved in the inconsistency in a requirements specification. Finally, we provide an algorithm of generating appropriate proposals for resolving the inconsistency in a requirements specification based on the degree of disputability of requirements.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Easterbrook, S., Chechik, M.: 2nd international workshop on living with inconsistency. Software Engineering Notes 26, 76–78 (2001)
Nuseibeh, B., Easterbrook, S., Russo, A.: Making inconsistency respectable in software development. Journal of Systems and Software 58, 171–180 (2001)
Gervasi, V., Zowghi, D.: Reasoning about inconsistencies in natural language requirements. ACM Transaction on Software Engineering and Methodologies 14, 277–330 (2005)
Hunter, A., Nuseibeh, B.: Managing inconsistent specification. ACM Transactions on Software Engineering and Methodology 7, 335–367 (1998)
Martinez, A.B.B., Arias, J.J.P., Vilas, A.F., Duque, J.G., Norse, M.L., Redondo, R.P.D., Fernandez, Y.B.: On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications. Information and Software Technology 50, 296–321 (2008)
Zowghi, D., Gervasi, V.: On the interplay between consistency, completeness, and correctness in requirements evolution. Information and Software Technology 45, 993–1009 (2003)
Mu, K., Jin, Z., Lu, R., Liu, W.: Measuring Inconsistency in Requirements Specifications. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 440–451. Springer, Heidelberg (2005)
Mu, K., Liu, W., Jin, Z., Yue, A., Lu, R., Bell, D.: Handling inconsistency in distributed software requirements specifications based on prioritized merging. Fundamenta Informaticae 91, 631–670 (2009)
Mu, K., Jin, Z., Zowghi, D.: A priority-based negotiations approach for handling inconsistency in multi-perspective software requirements. Journal of Systems Science and Complexity 21, 574–596 (2008)
Easterbrook, S., Chechik, M.: A framework for multi-valued reasoning over inconsistent viewpoints. In: Proceedings of International Conference on Software Engineering (ICSE 2001), Toronto, Canada, pp. 411–420 (2001)
Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multiperspective specifications. IEEE Trans. on Software Engineering 20, 569–578 (1994)
Gabbay, D., Hunter, A.: Making inconsistency respectable 2: Meta-level handling of inconsistent data. In: Moral, S., Kruse, R., Clarke, E. (eds.) ECSQARU 1993. LNCS, vol. 747, pp. 129–136. Springer, Heidelberg (1993)
Mu, K., Jin, Z.: Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 296–308. Springer, Heidelberg (2007)
Mu, K., Liu, W., Jin, Z.: Measuring the blame of each formula for inconsistent prioritized knowledge bases. Journal of Logic and Computation (2011), doi:10.1093/logcom/EXR002
Jackson, D.: Automating frist-order relational logic. ACM SIGSOFT Software Engineering Notes 25, 130–139 (2000)
Reiter, R.: A theory of diagnosis from first priniciples. Artificial Intelligence 32, 57–95 (1987)
Hunter, A., Konieczny, S.: Measuring inconsistency through minimal inconsistent sets. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR 2008), pp. 358–366 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mu, K., Liu, W., Jin, Z. (2011). An Approach to Generating Proposals for Handling Inconsistent Software Requirements. In: Xiong, H., Lee, W.B. (eds) Knowledge Science, Engineering and Management. KSEM 2011. Lecture Notes in Computer Science(), vol 7091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25975-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-25975-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25974-6
Online ISBN: 978-3-642-25975-3
eBook Packages: Computer ScienceComputer Science (R0)