ACoRe: Automated Goal-Conflict Resolution

System goals are the statements that, in the context of software requirements specification, capture how the software should behave. Many times, the under- standing of stakeholders on what the system should do, as captured in the goals, can lead to different problems, from clearly contradicting goal...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Carvalho, Luiz, Degiovanni, Renzo, Brizzio, Matías, Cordy, Maxime, Aguirre, Nazareno Matías, Le Traon, Yves, Papadakis, Mike
Formato: Objeto de conferencia Resumen
Lenguaje:Inglés
Publicado: 2023
Materias:
Ciencias Informáticas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/165816
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-165816
record_format dspace
spelling I19-R120-10915-1658162024-05-09T20:05:00Z http://sedici.unlp.edu.ar/handle/10915/165816 ACoRe: Automated Goal-Conflict Resolution Carvalho, Luiz Degiovanni, Renzo Brizzio, Matías Cordy, Maxime Aguirre, Nazareno Matías Le Traon, Yves Papadakis, Mike 2023-09 2023 2024-05-09T12:40:00Z en Ciencias Informáticas System goals are the statements that, in the context of software requirements specification, capture how the software should behave. Many times, the under- standing of stakeholders on what the system should do, as captured in the goals, can lead to different problems, from clearly contradicting goals, to more subtle situations in which the satisfaction of some goals inhibits the satisfaction of oth- ers. These latter issues, called goal divergences, are the subject of goal conflict analysis, which consists of identifying, assessing, and resolving divergences, as part of a more general activity known as goal refinement.While there exist techniques that, when requirements are expressed formally, can automatically identify and assess goal conflicts, there is currently no au- tomated approach to support engineers in resolving identified divergences. In this paper, we present ACoRe, the first approach that automatically proposes potential resolutions to goal conflicts, in requirements specifications formally captured using linear-time temporal logic. ACoRe systematically explores syn- tactic modifications of the conflicting specifications, aiming at obtaining res- olutions that disable previously identified conflicts, while preserving specifica- tion consistency. ACoRe integrates modern multi-objective search algorithms (in particular, NSGA-III, WBGA, and AMOSA) to produce resolutions that maintain coherence with the original conflicting specification, by searching for specifications that are either syntactically or semantically similar to the original specification.We assess ACoRe on 25 requirements specifications taken from the litera- ture. We show that ACoRe can successfully produce various conflict resolutions for each of the analyzed case studies, including resolutions that resemble speci- fication repairs manually provided as part of conflict analyses. Sociedad Argentina de Informática e Investigación Operativa Objeto de conferencia Resumen http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf 71-71
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
spellingShingle Ciencias Informáticas
Carvalho, Luiz
Degiovanni, Renzo
Brizzio, Matías
Cordy, Maxime
Aguirre, Nazareno Matías
Le Traon, Yves
Papadakis, Mike
ACoRe: Automated Goal-Conflict Resolution
topic_facet Ciencias Informáticas
description System goals are the statements that, in the context of software requirements specification, capture how the software should behave. Many times, the under- standing of stakeholders on what the system should do, as captured in the goals, can lead to different problems, from clearly contradicting goals, to more subtle situations in which the satisfaction of some goals inhibits the satisfaction of oth- ers. These latter issues, called goal divergences, are the subject of goal conflict analysis, which consists of identifying, assessing, and resolving divergences, as part of a more general activity known as goal refinement.While there exist techniques that, when requirements are expressed formally, can automatically identify and assess goal conflicts, there is currently no au- tomated approach to support engineers in resolving identified divergences. In this paper, we present ACoRe, the first approach that automatically proposes potential resolutions to goal conflicts, in requirements specifications formally captured using linear-time temporal logic. ACoRe systematically explores syn- tactic modifications of the conflicting specifications, aiming at obtaining res- olutions that disable previously identified conflicts, while preserving specifica- tion consistency. ACoRe integrates modern multi-objective search algorithms (in particular, NSGA-III, WBGA, and AMOSA) to produce resolutions that maintain coherence with the original conflicting specification, by searching for specifications that are either syntactically or semantically similar to the original specification.We assess ACoRe on 25 requirements specifications taken from the litera- ture. We show that ACoRe can successfully produce various conflict resolutions for each of the analyzed case studies, including resolutions that resemble speci- fication repairs manually provided as part of conflict analyses.
format Objeto de conferencia
Resumen
author Carvalho, Luiz
Degiovanni, Renzo
Brizzio, Matías
Cordy, Maxime
Aguirre, Nazareno Matías
Le Traon, Yves
Papadakis, Mike
author_facet Carvalho, Luiz
Degiovanni, Renzo
Brizzio, Matías
Cordy, Maxime
Aguirre, Nazareno Matías
Le Traon, Yves
Papadakis, Mike
author_sort Carvalho, Luiz
title ACoRe: Automated Goal-Conflict Resolution
title_short ACoRe: Automated Goal-Conflict Resolution
title_full ACoRe: Automated Goal-Conflict Resolution
title_fullStr ACoRe: Automated Goal-Conflict Resolution
title_full_unstemmed ACoRe: Automated Goal-Conflict Resolution
title_sort acore: automated goal-conflict resolution
publishDate 2023
url http://sedici.unlp.edu.ar/handle/10915/165816
work_keys_str_mv AT carvalholuiz acoreautomatedgoalconflictresolution
AT degiovannirenzo acoreautomatedgoalconflictresolution
AT brizziomatias acoreautomatedgoalconflictresolution
AT cordymaxime acoreautomatedgoalconflictresolution
AT aguirrenazarenomatias acoreautomatedgoalconflictresolution
AT letraonyves acoreautomatedgoalconflictresolution
AT papadakismike acoreautomatedgoalconflictresolution
_version_ 1807223102408491008

Ejemplares similares