Goal-conflict detection based on temporal satisfiability checking
Abstract
Goal-oriented requirements engineering approaches propose capturing how a system should behave through the specification of high-level goals, from which requirements can then be systematically derived. Goals may however admit subtle situations that make them diverge, i.e., not be satisfiable as a whole under specific circumstances feasible within the domain, called boundary conditions. While previous work allows one to identify boundary conditions for conflicting goals written in LTL, it does so through a pattern-based approach, that supports a limited set of patterns, and only produces pre-determined formulations of boundary conditions.
BibTeX
@inproceedings{Degiovanni-al:ASE16,
author = {Renzo Degiovanni and
Nicol{\'{a}}s Ricci and
Dalal Alrajeh and
Pablo F. Castro and
Nazareno Aguirre},
title = {Goal-conflict detection based on temporal satisfiability checking},
booktitle = {ASE},
pages = {507--518},
publisher = {{ACM}},
year = {2016},
}