Generation and validation of traces between requirements and architecture based on formal trace semantics

Arda Göknil, Ivan Ivanov, Klaas van den Berg

Research output: Contribution to journalArticleAcademicpeer-review

22 Citations (Scopus)
22 Downloads (Pure)

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) and 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.
Original languageUndefined
Pages (from-to)112-137
Number of pages26
JournalJournal of systems and software
Volume88
DOIs
Publication statusPublished - Feb 2014

Keywords

  • Trace generation and validation
  • Requirements metamodel
  • Software Architecture
  • EWI-24552
  • METIS-304015
  • IR-90550
  • Trace metamodel

Cite this

@article{a15b4bcf5790400094c6e71f62442dc7,
title = "Generation and validation of traces between requirements and architecture based on formal trace semantics",
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) and 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.",
keywords = "Trace generation and validation, Requirements metamodel, Software Architecture, EWI-24552, METIS-304015, IR-90550, Trace metamodel",
author = "Arda G{\"o}knil and Ivan Ivanov and {van den Berg}, Klaas",
note = "eemcs-eprint-24552 ; http://eprints.ewi.utwente.nl/24552",
year = "2014",
month = "2",
doi = "10.1016/j.jss.2013.10.006",
language = "Undefined",
volume = "88",
pages = "112--137",
journal = "Journal of systems and software",
issn = "0164-1212",
publisher = "Elsevier",

}

Generation and validation of traces between requirements and architecture based on formal trace semantics. / Göknil, Arda; Ivanov, Ivan; van den Berg, Klaas.

In: Journal of systems and software, Vol. 88, 02.2014, p. 112-137.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - Generation and validation of traces between requirements and architecture based on formal trace semantics

AU - Göknil, Arda

AU - Ivanov, Ivan

AU - van den Berg, Klaas

N1 - eemcs-eprint-24552 ; http://eprints.ewi.utwente.nl/24552

PY - 2014/2

Y1 - 2014/2

N2 - 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) and 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.

AB - 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) and 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.

KW - Trace generation and validation

KW - Requirements metamodel

KW - Software Architecture

KW - EWI-24552

KW - METIS-304015

KW - IR-90550

KW - Trace metamodel

U2 - 10.1016/j.jss.2013.10.006

DO - 10.1016/j.jss.2013.10.006

M3 - Article

VL - 88

SP - 112

EP - 137

JO - Journal of systems and software

JF - Journal of systems and software

SN - 0164-1212

ER -