Generation and Validation of Traces between Requirements and Architecture based on Formal Trace Semantics

Arda Goknil 1, * Ivan Kurtev 2 Klaas Van den Berg 3
* Auteur correspondant
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The size and complexity of software systems make integration of the new/modified requirements to the software system costly and time consuming. The impact of requirements changes on other requirements, design elements and source code should be traced to determine parts of the software to be changed. Considerable research has been devoted to relating requirements and design artifacts with source code. Less attention has been paid to relating Requirements (R) with Architecture (A) by using well-defined semantics of traces. Traces between R&A might be manually assigned. This is time-consuming, and error prone. Traces might be incomplete and invalid. In this paper, we present an approach for automatic trace generation and validation of traces between Requirements (R) & Architecture (A). Requirements relations and architecture verification techniques are used. A trace metamodel is defined with commonly used trace types between R&A. We use the semantics of traces and requirements relations for generating and validating traces with a tool support. The tool provides the following: (1) generation and validation of traces by using requirements relations and/or verification of architecture, (2) generation and validation of requirements relations by using traces. The tool is based on model transformation in ATL and term-rewriting logic in Maude.
Type de document :
Article dans une revue
Journal of Systems and Software, Elsevier, 2013, <10.1016/j.jss.2013.10.006>
Liste complète des métadonnées

https://hal.inria.fr/hal-00871318
Contributeur : Team Aoste <>
Soumis le : mercredi 9 octobre 2013 - 14:16:10
Dernière modification le : mercredi 9 octobre 2013 - 14:16:10

Identifiants

Collections

Citation

Arda Goknil, Ivan Kurtev, Klaas Van den Berg. Generation and Validation of Traces between Requirements and Architecture based on Formal Trace Semantics. Journal of Systems and Software, Elsevier, 2013, <10.1016/j.jss.2013.10.006>. <hal-00871318>

Partager

Métriques

Consultations de la notice

199