Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements

Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually propose a negotiation process with similar methods and goals. Unfortunately, only a few have partial automatic support. In this paper, we revisit one of the most mature models, Boehm’s Win–Win model. Win–Win is a qualitative, process–oriented model so that it is specially suited to be used at the early stages of requirements engineering, when knowledge about requirements is still vague, but not for quantitative, product–oriented contexts where a more precise, exact knowledge about the requirements is needed. In this paper, we present a proposal to extend and refine Win–Win in order it can be used in product–oriented contexts. The main benefit of our approach is that the same conceptual model for requirements negotiation can be used during all software development process, instead of using different models in different phases.

[1]  Barry W. Boehm,et al.  Theory-W Software Project Management: Principles and Examples , 1989, IEEE Trans. Software Eng..

[2]  Barry W. Boehm,et al.  Software requirements as negotiated win conditions , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[3]  Svend Frølund,et al.  Quality-of-service specification in distributed object systems , 1998, Distributed Syst. Eng..

[4]  N. R. Jennings,et al.  To appear in: Int Journal of Group Decision and Negotiation GDN2000 Keynote Paper Automated Negotiation: Prospects, Methods and Challenges , 2022 .

[5]  Antonio Ruiz Cortés,et al.  A Requirements Elicitation Approach Based in Templates and Patterns , 1999, WER.

[6]  Jari Koistinen,et al.  Worth-based multi-category quality-of-service negotiation in distributed object infrastructures , 1998, Proceedings Second International Enterprise Distributed Object Computing (Cat. No.98EX244).

[7]  Xavier Franch,et al.  Systematic formulation of non-functional characteristics of software , 1998, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.

[8]  Peter J. Stuckey,et al.  Programming with Constraints: An Introduction , 1998 .

[9]  Dick Bowman,et al.  Principles of software engineering management , 1989, APLQ.

[10]  Roland H. C. Yap,et al.  The CLP( R ) language and system , 1992, TOPL.

[11]  Stanley Y. W. Su,et al.  A replicable Web-based negotiation server for e-commerce , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[12]  Rafael Corchuelo,et al.  An Automated Approach to Quality-Aware Web Applications , 2002, ICEIS.

[13]  K. Borgwardt The Simplex Method: A Probabilistic Analysis , 1986 .

[14]  Barry W. Boehm,et al.  Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach , 1995, 1995 17th International Conference on Software Engineering.

[15]  Ming-June Lee Foundations of the winwin requirements negotiation system , 1996 .

[16]  Rafael Corchuelo,et al.  Automated support for quality requirements in Web-service-based systems , 2001, Proceedings Eighth IEEE Workshop on Future Trends of Distributed Computing Systems. FTDCS 2001.

[17]  Hoh Peter In,et al.  Multi-criteria preference analysis for systematic requirements negotiation , 2002, Proceedings 26th Annual International Computer Software and Applications.