Abstract
We are interested in supporting software evolution caused by changing requirements and/or changes in the operational environment of a software system. For example, users of a system may want new functionality or performance enhancements to cope with growing user population (changing requirements). Alternatively, vendors of a system may want to minimize costs in implementing requirements changes (evolution requirements). We propose to use Constrained Goal Models (CGMs) to represent the requirements of a system, and capture requirements changes in terms of incremental operations on a goal model. Evolution requirements are then represented as optimization goals that minimize implementation costs or customer value. We can then exploit reasoning techniques to derive optimal new specifications for an evolving software system. CGMs offer an expressive language for modelling goals that comes with scalable solvers that can solve hybrid constraint and optimization problems using a combination of Satisfiability Modulo Theories (SMT) and Optimization Modulo Theories (OMT) techniques. We evaluate our proposal by modeling and reasoning with a goal model for the meeting scheduling exemplar.
This research was partially supported by the ERC advanced grant 267856, ‘Lucretius: Foundations for Software Evolution’ and by SRC GRC Research Project 2012-TJ-2266 WOLF.
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
Notes
- 1.
Note. This paper was reduced to the current size from its original 14-page length. Accordingly, we have made available an extended version of [5] including (i) all figures of the examples which are described only verbally here, (ii) the formalization of the problem of automatically handling CGM evolutions and evolution requirements for CGMs, (iii) an overview of our tool implementing the presented approach, (iv) an overview of related work, with a comparison wrt. previous approaches, (v) some conclusions and description of future work.
- 2.
A solution optimizes lexicographically an ordered list of objectives \(\langle {obj_1,obj_2,...}\rangle \) if it makes \(obj_1\) optimum and, if more than one such solution exists, it makes also \(obj_2\) optimum, ..., etc..
References
Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Biere, A., Heule, M.J.H., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability, Chap. 26, pp. 825–885. IOS Press, Amsterdam (2009)
Ernst, N.A., Borgida, A., Mylopoulos, J., Jureta, I.J.: Agile requirements evolution via paraconsistent reasoning. In: Ralyté, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 382–397. Springer, Heidelberg (2012). doi:10.1007/978-3-642-31095-9_25
Lehman, M.M.: Programs, life cycles, and laws of software evolution. In: Proceedings of the IEEE, pp. 1060–1076, September 1980
Nguyen, C.M., Sebastiani, R., Giorgini, P., Mylopoulos, J.: Multi object reasoning with constrained goal model. CoRR, abs/1601.07409 (2016, submitted). http://arxiv.org/abs/1601.07409
Nguyen, C.M., Sebastiani, R., Giorgini, P., Mylopoulos, J.: Requirements evolution and evolution requirements with constrained goal models. CoRR, abs/1604.04716 (2016). http://arxiv.org/abs/1604.04716
Sebastiani, R., Tomasi, S.: Optimization modulo theories with linear rational costs. ACM Trans. Comput. Logics 16(2) (2015)
Sebastiani, R., Trentin, P.: OptiMathSAT: a tool for optimization modulo theories. In: Kroening, D., Păsăreanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 447–454. Springer, Heidelberg (2015). doi:10.1007/978-3-319-21690-4_27
Souza, V.E.S.: Requirements-based software system adaptation. Ph.D. thesis, University of Trento (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Nguyen, C.M., Sebastiani, R., Giorgini, P., Mylopoulos, J. (2016). Requirements Evolution and Evolution Requirements with Constrained Goal Models. In: Comyn-Wattiau, I., Tanaka, K., Song, IY., Yamamoto, S., Saeki, M. (eds) Conceptual Modeling. ER 2016. Lecture Notes in Computer Science(), vol 9974. Springer, Cham. https://doi.org/10.1007/978-3-319-46397-1_42
Download citation
DOI: https://doi.org/10.1007/978-3-319-46397-1_42
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-46396-4
Online ISBN: 978-3-319-46397-1
eBook Packages: Computer ScienceComputer Science (R0)