Abstract
The requirements specifications of complex systems are increasingly developed in a distributed fashion. It makes inconsistency management necessary during the requirements stage. However, identifying appropriate inconsistency handling proposals is still an important challenge. In particular, for inconsistencies involving many different stakeholders with different concerns, it is difficult to reach an agreement on inconsistency handling. To address this, this paper presents a vote-based approach to choosing acceptable common proposals for handling inconsistency. This approach focuses on the inconsistency in requirements that results from conflicting intentions of stakeholders. Informally speaking, we consider each distinct stakeholder (or a distributed artifact) involved in the inconsistency as a voter. Then we transform identification of an acceptable common proposal into a problem of combinatorial vote. Based on each stakeholder’s preferences on the set of proposals, an acceptable common proposal is identified in an automated way according to a given social vote rule.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Finkelsetin, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. International Journal of Software Engineering and Knowledge Engineering 2(1), 31–58 (1992)
Kotonya, G.I.: Sommerville: Viewpoints for requirements definition. IEE Software Eng. Journal 7, 375–387 (1992)
Andrade, J., Ares, J., Garcia, R., Pazos, J., Rodriguez, S., Silva, A.: A methodolog ical framework for viewpoint-oriented conceptual modeling. IEEE Trans. Softw. Eng. 30, 282–294 (2004)
Gervasi, V.D.: Zowghi: Reasoning about inconsistencies in natural language re quirements. ACM Transaction on Software Engineering and Methodologies 14, 277–330 (2005)
Hunter, A.B.: Nuseibeh: Managing inconsistent specification. ACM Transactions on Software Engineering and Methodology 7, 335–367 (1998)
Zowghi, D., Gervasi, V.: On the interplay between consistency, completeness, and correctness in requirements evolution. Information and Software Technology 45, 993–1009 (2003)
Nuseibeh, B., Easterbrook, S., Russo, A.: Leveraging inconsistency in software development. IEEE Computer 33, 24–29 (2000)
Nuseibeh, B.S., Easterbrook, A.: Russo: Making inconsistency respectable in software development. Journal of Systems and Software 58, 171–180 (2001)
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)
Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multiperspective speci?cations. IEEE Trans. on Software Engineering 20, 569–578 (1994)
Lang, J.: From logical preference representation to combinatorial vote. In: Proceedings of 8th International Conference on Principles of Knowledge Representation and Reasoning, pp. 277–288. Morgan Kaufmann, San Francisco (2002)
Leite, J., Freeman, P.A.: Freeman: Requirements validation through viewpoint resolution. IEEE Trans. on Soft. Eng. 17, 1253–1269 (1991)
Robinson, W.N.: Integrating multiple specifications using domain goals. In: IWSSD ’89. Proceedings of the 5th international workshop on Software specification and design, pp. 219–226. ACM Press, New York, NY, USA (1989)
Nuseibeh, B., Kramer, J., Finkelstein, A.: Viewpoints: meaningful relationships are difficult? In: Proceedings of the 25th International Conference on Software Engineering, pp. 676–681. IEEE Computer Society Press, Los Alamitos (2003)
Kifer, M., Lozinskii, E.L.: A logic for reasoning with inconsistency. Journal of Automated Reasoning 9, 179–215 (1992)
Mu, K., Jin, Z., Lu, R.: Inconsistency-based strategy for clarifying vague software requirements. In: Zhang, S., Jarvis, R. (eds.) AI 2005. LNCS (LNAI), vol. 3809, pp. 39–48. Springer, Heidelberg (2005)
Easterbrook, S., Nuseibeh, B.: Managing inconsistencies in an evolving specification. In: Proceedings of the Second International Symposium on Requirements Engineering (RE95), pp. 48–55 (1995)
Easterbrook, S.M., Chechik, A.: framework for multi-valued reasoning over inconsistent viewpoints. In: Proceedings of International Conference on Software Engineering (ICSE’01), Toronto, Canada, pp. 411–420 (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 IFIP International Federation for Information Processing
About this paper
Cite this paper
Mu, K., Jin, Z. (2007). Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements. In: Derrick, J., Vain, J. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2007. FORTE 2007. Lecture Notes in Computer Science, vol 4574. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73196-2_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-73196-2_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73195-5
Online ISBN: 978-3-540-73196-2
eBook Packages: Computer ScienceComputer Science (R0)