Article

Reasoning with optional and preferred requirements

Authors:

John Mylopoulos,

Ivan J. JuretaAuthors Info & Claims

ER'10: Proceedings of the 29th international conference on Conceptual modeling

Pages 118 - 131

Published: 01 November 2010 Publication History

Abstract

Of particular concern in requirements engineering is the selection of requirements to implement in the next release of a system. To that end, there has been recent work on multi-objective optimization and user-driven prioritization to support the analysis of requirements trade-offs. Such work has focused on simple, linear models of requirements; in this paper, we work with large models of interacting requirements. We present techniques for selecting sets of solutions to a requirements problem consisting of mandatory and optional goals, with preferences among them. To find solutions, we use a modified version of the framework from Sebastiani et al. [1] to label our requirements goal models. For our framework to apply to a problem, no numeric valuations are necessary, as the language is qualitative. We conclude by introducing a local search technique for navigating the exponential solution space. The algorithm is scalable and approximates the results of a naive but intractable algorithm.

References

[1]

Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and Minimum-Cost Satisfiability for Goal Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 20-35. Springer, Heidelberg (2004).

[2]

Ross, D.: Structured Analysis (SA): A Language for Communicating Ideas. Trans. Soft. Eng. 3(1), 16-34 (1977).

Digital Library

[3]

Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1-2), 3-50 (1993).

Digital Library

[4]

Yu, E.S.: Towards modelling and reasoning support for early-phase requirements engineering. In: Intl. Conf. Requirements Engineering, Annapolis, Maryland, pp. 226-235 (1997).

Digital Library

[5]

van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: Intl. Conf. Requirements Engineering, Toronto, pp. 249-263 (2001).

Digital Library

[6]

Liaskos, S., Mcilraith, S.A., Mylopoulos, J.: Goal-based Preference Specification for Requirements Engineering. In: Intl. Conf. Requirements Engineering, Sydney (September 2010).

Digital Library

[7]

Jureta, I.J., Mylopoulos, J., Faulkner, S.: Revisiting the Core Ontology and Problem in Requirements Engineering. In: Intl. Conf. Requirements Engineering, Barcelona, pp. 71-80 (September 2008).

Digital Library

[8]

van Lamsweerde, A.: Requirements engineering: from craft to discipline. In: Intl. Conf. Foundations of Software Engineering, Atlanta, Georgia, pp. 238-249 (November 2008).

Digital Library

[9]

Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Formal Reasoning Techniques for Goal Models. Journal on Data Semantics 2800, 1-20 (2003).

[10]

Glover, F.: Future paths for integer programming and links to artificial intelligence. Computers and Operations Research 13(5) (1986).

Digital Library

[11]

Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: TROPOS: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems 8, 203-236 (2004).

Digital Library

[12]

Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. In: Intl. Conf. Foundations of Software Engineering, Newport Beach, CA, pp. 53-62 (2004).

Digital Library

[13]

van Lamsweerde, A.: Reasoning About Alternative Requirements Options. In: Borgida, A., Chaudhri, V.K., Giorgini, P., Yu, E.S.K. (eds.) Conceptual Modeling: Foundations and Applications. LNCS, vol. 5600, pp. 380-397. Springer, Heidelberg (2009).

Digital Library

[14]

van Lamsweerde, A., Letier, E.: Handling obstacles in goal-oriented requirements engineering. Trans. Soft. Eng. 26, 978-1005 (2000).

Digital Library

[15]

Karlsson, L., Höst, M., Regnell, B.: Evaluating the practical use of different measurement scales in requirements prioritisation. In: Intl. Conf. Empirical Software Engineering, Rio de Janeiro, Brasil, pp. 326-335 (2006).

Digital Library

[16]

Herrmann, A., Daneva, M.: Requirements Prioritization Based on Benefit and Cost Prediction: An Agenda for Future Research. In: Intl. Conf. Requirements Engineering, Barcelona, pp. 125-134 (September 2008).

Digital Library

[17]

Battiti, R., Brunato, M., Mascia, F.: Reactive Search and Intelligent Optimization. Operations research/Computer Science Interfaces, vol. 45. Springer, Heidelberg (2008).

Digital Library

[18]

Finkelstein, A., Harman, M., Mansouri, S., Ren, J., Zhang, Y.: A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision making. Requirements Engineering J. 14(4), 231-245 (2009).

Digital Library

[19]

Feather, M.S., Cornford, S.: Quantitative risk-based requirements reasoning. Requirements Engineering J. 8, 248-265 (2003).

Digital Library

[20]

Jalali, O., Menzies, T., Feather, M.S.: Optimizing requirements decisions with KEYS. In: International Workshop on Predictor Models in Software Engineering, Leipzig, Germany, pp. 79-86 (2008).

Digital Library

[21]

Maiden, N., Robertson, S.: Integrating Creativity into Requirements Processes: Experiences with an Air Traffic Management System. In: Intl. Conf. Requirements Engineering, Paris, France (2005).

Digital Library

[22]

Thimbleby, H.: Delaying commitment. IEEE Software 5(3), 78-86 (1988).

Digital Library

Cited By

Botangen KYu JYongchareon SYang LBai QAbramson D(2018)Specifying and reasoning about contextual preferences in the goal-oriented requirements modellingProceedings of the Australasian Computer Science Week Multiconference10.1145/3167918.3167945(1-10)Online publication date: 29-Jan-2018
https://dl.acm.org/doi/10.1145/3167918.3167945
Nguyen CSebastiani RGiorgini PMylopoulos J(2018)Multi-objective reasoning with constrained goal modelsRequirements Engineering10.1007/s00766-016-0263-523:2(189-225)Online publication date: 1-Jun-2018
https://dl.acm.org/doi/10.1007/s00766-016-0263-5
Borgida ADalpiaz FHorkoff JMylopoulos JAtlee JBaillargeon RChechik MFrance RGray JPaige RRumpe B(2013)Requirements models for design- and runtimeProceedings of the 5th International Workshop on Modeling in Software Engineering10.5555/2662737.2662752(62-68)Online publication date: 18-May-2013
https://dl.acm.org/doi/10.5555/2662737.2662752
Show More Cited By

Recommendations

Supporting quantitative reasoning of non-functional requirements: a process-oriented approach
ICSSP '12: Proceedings of the International Conference on Software and System Process

A long standing problem in software engineering is inadequate requirements elicitation, analysis, specification, validation and management. The lack of well defined requirements is one of the major causes of project failure. Several well-known ...
Refining and reasoning about nonfunctional requirements
ACMSE '09: Proceedings of the 47th annual ACM Southeast Conference

Nonfunctional requirements (NFR) must be addressed early in the software development cycle to avoid the cost of revisiting those requirements or re-factoring at the later stages of the development cycle. Methods and frameworks that identify and ...
Reasoning about Stakeholder Groups for Requirements Negotiation Based on Power Relationships
APSEC '13: Proceedings of the 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - Volume 01

With the increasing complexity and uncertainty in requirements engineering (RE), the impact of power relationships between stakeholders becomes critical to the success of requirements engineering process, especially in requirements negotiation to ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

ER'10: Proceedings of the 29th international conference on Conceptual modeling

November 2010

490 pages

ISBN:3642163726

Editors:
Jeffrey Parsons
Memorial University of Newfoundland, St. John’s, NL, Canada
,
Motoshi Saeki
Tokyo Institute of Technology, Tokyo, Japan
,
Peretz Shoval
Ben-Gurion University of the Negev, Beer-Sheva, Israel
,
Carson Woo
University of British Columbia, Vancouver, BC, Canada
,
Yair Wand
University of British Columbia, Vancouver, BC, Canada

Sponsors

XCL: Xerox Canada Limited
SSOB: Sauder School of Business
The ER Institute

In-Cooperation

SIGMIS: ACM Special Interest Group on Management Information Systems

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 November 2010

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Botangen KYu JYongchareon SYang LBai QAbramson D(2018)Specifying and reasoning about contextual preferences in the goal-oriented requirements modellingProceedings of the Australasian Computer Science Week Multiconference10.1145/3167918.3167945(1-10)Online publication date: 29-Jan-2018
https://dl.acm.org/doi/10.1145/3167918.3167945
Nguyen CSebastiani RGiorgini PMylopoulos J(2018)Multi-objective reasoning with constrained goal modelsRequirements Engineering10.1007/s00766-016-0263-523:2(189-225)Online publication date: 1-Jun-2018
https://dl.acm.org/doi/10.1007/s00766-016-0263-5
Borgida ADalpiaz FHorkoff JMylopoulos JAtlee JBaillargeon RChechik MFrance RGray JPaige RRumpe B(2013)Requirements models for design- and runtimeProceedings of the 5th International Workshop on Modeling in Software Engineering10.5555/2662737.2662752(62-68)Online publication date: 18-May-2013
https://dl.acm.org/doi/10.5555/2662737.2662752
Oster ZSanthanam GBasu S(2011)Automating analysis of qualitative preferences in goal-oriented requirements engineeringProceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2011.6100096(448-451)Online publication date: 6-Nov-2011
https://dl.acm.org/doi/10.1109/ASE.2011.6100096

View Options

View options

Media

Figures

Other

Tables

View Table of Contents