Incremental Refinement of Goal Models with Contracts - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Incremental Refinement of Goal Models with Contracts

Résumé

Goal models and contracts offer complementary approaches to requirement analysis. Goal modeling has been effectively used to capture designer’s intents and their hierarchical structure. Contracts emphasize modularity and formal representations of the interactions between system components. In this paper, we present CoGoMo (Contract-based Goal Modeling), a framework for systematic requirement analysis, which leverages a new formal model, termed contract-based goal tree, to represent goal models in terms of hierarchies of contracts. Based on this model, we propose algorithms that use contract operations and relations to check goal consistency and completeness, and support incremental and hierarchical refinement of goals from a library of goals. Model and algorithms are implemented in a tool which enables incremental formalization and refinement of goals from a web interface. We show the effectiveness of our approach on an illustrative example motivated by vehicle platooning.
Fichier principal
Vignette du fichier
506725_1_En_3_Chapter.pdf (598.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04074529 , version 1 (19-04-2023)

Licence

Paternité

Identifiants

Citer

Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione. Incremental Refinement of Goal Models with Contracts. 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.35-50, ⟨10.1007/978-3-030-89247-0_3⟩. ⟨hal-04074529⟩
21 Consultations
8 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More