Simulating and optimising design decisions in quantitative goal models

Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011

Volumn , Issue , 2011, Pages 79-88

  Heaven, William ^a   Letier, Emmanuel ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

goal oriented requirements engineering; quality requirements; quantitative modelling; requirements simulation and optimisation; search based software engineering

Indexed keywords

GOAL-ORIENTED REQUIREMENTS ENGINEERING; OPTIMISATIONS; QUALITY REQUIREMENTS; QUANTITATIVE MODELLING; SEARCH-BASED SOFTWARE ENGINEERING;

ALGORITHMS; COMPUTER SIMULATION; DESIGN; MULTIOBJECTIVE OPTIMIZATION; REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

MODELS;

EID: 82455212697     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RE.2011.6051653     Document Type: Conference Paper

References (28)

1. A. Finkelstein and J. Dowell, "A comedy of errors: the London Ambulance Service case study," in Proc. IWSSD 8, 1996, pp. 2-4.
2. A. van Lamsweerde and E. Letier, "Handling Obstacles in Goal-Oriented Requirements Engineering," IEEE Transactions on Software Engineering, vol. 26, no. 10, pp. 978-1005, Oct. 2000.
3. E. Letier and A. van Lamsweerde, "Reasoning about partial goal satisfaction for requirements and design engineering,"in Proc. FSE'04, 2004, pp. 53-62.
4. A. van Lamsweerde, Requirements Engineering: From System Goals to UML Models to Software Specifications. John Wiley & Sons, 2009.
5. S. Robertson and J. C. Robertson, Mastering the Requirements Process, 2nd ed. Addison Wesley, 2006.
6. T. Gilb, Competitive engineering: a handbook for systems engineering, requirements engineering, and software engineering using Planguage. Butterworth-Heinemann, 2005.
7. A. van Lamsweerde, R. Darimont, and E. Letier, "Managing conflicts in goal-driven requirements engineering," IEEE Transactions on Software Engineering, vol. 24, no. 11, pp. 908-926, Nov. 1998. (Pubitemid 128740282)
8. M. Kwiatkowska, G. Norman, and D. Parker, "PRISM: Probabilistic Symbolic Model Checker," in Computer Performance Evaluation: Modelling Techniques and Tools, LNCS vol. 2324, Springer, 2002, pp. 200-204.
9. L. Duboc, E. Letier, D. S. Rosenblum, and T. Wicks, "A Case Study in Eliciting Scalability Requirements," in Proc. RE '08, 2008, pp. 247-252.
10. A. L. de Cerqueira Leite Duboc, "A framework for the characterization and analysis of software systems scalability," PhD thesis, March 2010.
11. M. Harman, "The Current State and Future of Search Based Software Engineering," in Future of Software Engineering, Los Alamitos, CA, USA, 2007, pp. 342-357.
12. K. Deb, A. Pratap, S. Agarwal, and T. Meyarivan, "A fast and elitist multiobjective genetic algorithm: NSGA-II,"IEEE Transactions on Evolutionary Computation, vol. 6, no. 2, pp. 182-197, Apr. 2002. (Pubitemid 34555372)
13. J. Mylopoulos, L. Chung, and B. Nixon, "Representing and Using Nonfunctional Requirements: A Process-Oriented Approach," IEEE Transactions on Software Engineering, vol. 18, no. 6, pp. 483-497, 1992.
14. B. Boehm, P. Bose, E. Horowitz, and Ming-June Lee, "Software requirements as negotiated win conditions," in Proc. RE'94, 1994, pp. 74-83.
15. M. S. Feather and S. L. Cornford, "Quantitative risk-based requirements reasoning," Requirements Engineering, vol. 8, no. 4, pp. 248-265, Nov. 2003.
16. Y. Akao, Quality Function Deployment: Integrating Customer Requirements Into Product Design. Productivity Press, 2004.
17. P. Giorgini, J. Mylopoulos, E. Nicchiarelli, and R. Sebastiani, "Reasoning with Goal Models," in Conceptual Modeling - ER 2002, LNCS vol. 2503, 2003, pp. 167-181.
18. A. Lamsweerde, "Reasoning About Alternative Requirements Options," in Conceptual Modeling: Foundations and Applications, LNCS vol. 5600, 2009, pp. 380-397.
19. D. Amyot, S. Ghanavati, J. Horkoff, G. Mussbacher, L. Peyton, and E. Yu, "Evaluating goal models within the goal-oriented requirement language," International Journal of Intelligent Systems, vol. 25, no. 8, pp. 841-877, Aug. 2010.
20. A. Pourshahid et al., "Business process management with the user requirements notation," Electronic Commerce Research, vol. 9, no. 4, pp. 269-316, Aug. 2009.
21. V. Popova and A. Sharpanskykh, "Formal modelling of organisational goals based on performance indicators," Data & Knowledge Engineering, vol. 70, no. 4, pp. 335-364, Apr. 2011.
22. J. Horkoff and E. Yu, "Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach," in Conceptual Modeling - ER 2010, LNCS 6412, Springer, 2010, pp. 59-75.
23. K. S. Trivedi, Probability and statistics with reliability, queuing and computer science applications, 2nd ed. John Wiley and Sons Ltd., 2002.
24. N. Fenton and M. Neil, "Making decisions: using Bayesian nets and MCDA," Knowledge-Based Systems, vol. 14, no. 7, pp. 307-325, Nov. 2001. (Pubitemid 33089195)
25. M. Neil, M. Tailor, D. Marquez, N. Fenton, and P. Hearty, "Modelling dependable systems using hybrid Bayesian networks," Reliability Engineering & System Safety, vol. 93, no. 7, pp. 933-939, Jul. 2008. (Pubitemid 351305183)
26. A. Finkelstein, M. Harman, S. A. Mansouri, J. Ren, and Y. Zhang, "A search based approach to fairness analysis in requirement assignments to aid negotiation, mediation and decision making," Requirements Engineering, vol. 14, no. 4, pp. 231-245, Feb. 2009.
27. Y. Zhang, M. Harman, and S. A. Mansouri, "The multiobjective next release problem," in Proc. GECCO'07, London, England, 2007, pp. 1129-1137.
28. M. S. Feather and T. Menzies, "Converging on the optimal attainment of requirements," in Proc. RE'02, 2002, pp. 263-270.