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.

Requirements evolution and evolution requirements with constrained goal models / Nguyen, Chi Mai; Sebastiani, Roberto; Giorgini, Paolo; Mylopoulos, Ioannis. - STAMPA. - 9974:(2016), pp. 544-552. ((Intervento presentato al convegno Conceptual Modeling ER 2016 tenutosi a Gifu, Japan nel 14th-17th November 2016 [10.1007/978-3-319-46397-1_42].

Requirements evolution and evolution requirements with constrained goal models

Nguyen, Chi Mai;Sebastiani, Roberto;Giorgini, Paolo;Mylopoulos, Ioannis
2016

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.
Conceptual Modeling: 35th International Conference ER 2016 Proceedings
Cham
Springer International Publishing
978-3-319-46396-4
978-3-319-46397-1
Nguyen, Chi Mai; Sebastiani, Roberto; Giorgini, Paolo; Mylopoulos, Ioannis
Requirements evolution and evolution requirements with constrained goal models / Nguyen, Chi Mai; Sebastiani, Roberto; Giorgini, Paolo; Mylopoulos, Ioannis. - STAMPA. - 9974:(2016), pp. 544-552. ((Intervento presentato al convegno Conceptual Modeling ER 2016 tenutosi a Gifu, Japan nel 14th-17th November 2016 [10.1007/978-3-319-46397-1_42].
File in questo prodotto:
File Dimensione Formato  
er16.pdf

embargo fino al 31/12/2017

Descrizione: articolo principale
Tipologia: Post-print referato (Refereed author’s manuscript)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 609.48 kB
Formato Adobe PDF
609.48 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11572/168322
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 5
social impact