Incremental Refinement of Goal Models with Contracts
Paper i proceeding, 2021

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.

Författare

Piergiuseppe Mallozzi

Chalmers, Data- och informationsteknik, Software Engineering

Pierluigi Nuzzo

University of Southern California

Patrizio Pelliccione

Göteborgs universitet

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 12818 LNCS 35-50
9783030892463 (ISBN)

9th IPM International Conference on Fundamentals of Software Engineering (FSEN 2021)
Tehran, Iran,

WASP SAS

Wallenberg AI, Autonomous Systems and Software Program, 2018-01-01 -- 2023-01-01.

Ämneskategorier

Annan data- och informationsvetenskap

Inbäddad systemteknik

Datavetenskap (datalogi)

DOI

10.1007/978-3-030-89247-0_3

ISBN

9783030892463

Mer information

Senast uppdaterat

2023-07-19