Tool Support for Generation and Validation of Traces between Requirements and Architecture

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

doi:10.1145/1814392.1814398

Tool Support for Generation and Validation of Traces between Requirements and Architecture

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

12 Citations (Scopus)

Abstract

Traceability is considered crucial for establishing and maintaining consistency between software development artifacts. Although considerable research has been devoted to relating requirements and design artifacts with source code, less attention has been paid to relating requirements with architecture by using well-defined semantics of traces. We present a tool that provides trace establishment by using semantics of traces between R&A (Requirements and Architecture). The tool provides the following: (1) generation/validation of traces by using requirements relations and/or verification of architecture, (2) generation/validation of requirements relations by using traces. The tool uses the semantics of traces together with requirements relations and verification results for generating and validating traces. It is based on model transformations in ATL and term-rewriting logic in Maude.

Original language	English
Title of host publication	ECMFA-TW '10
Subtitle of host publication	Proceedings of the 6th ECMFA Traceability Workshop
Editors	Jon Oldevik, Goran K. Olsen, Dimitrios S. Kolovos
Place of Publication	New York, NY
Publisher	Association for Computing Machinery
Pages	39-46
Number of pages	8
ISBN (Print)	978-1-60558-993-0
DOIs	https://doi.org/10.1145/1814392.1814398
Publication status	Published - 15 Jun 2010
Event	6th ECMFA Traceability Workshop, ECMFA-TW 2010 - Paris, France Duration: 15 Jun 2010 → 15 Jun 2010 Conference number: 6

Publication series

Name	ACM International Conference proceedings Series
Publisher	ACM

Workshop

Workshop	6th ECMFA Traceability Workshop, ECMFA-TW 2010
Abbreviated title	ECMFA-TW
Country/Territory	France
City	Paris
Period	15/06/10 → 15/06/10

Keywords

METIS-270858
EWI-18026
IR-72154

Access to Document

10.1145/1814392.1814398

Cite this

Göknil, A., Ivanov, I., & van den Berg, K. (2010). Tool Support for Generation and Validation of Traces between Requirements and Architecture. In J. Oldevik, G. K. Olsen, & D. S. Kolovos (Eds.), ECMFA-TW '10: Proceedings of the 6th ECMFA Traceability Workshop (pp. 39-46). (ACM International Conference proceedings Series). Association for Computing Machinery. https://doi.org/10.1145/1814392.1814398

Göknil, Arda ; Ivanov, Ivan ; van den Berg, Klaas. / Tool Support for Generation and Validation of Traces between Requirements and Architecture. ECMFA-TW '10: Proceedings of the 6th ECMFA Traceability Workshop. editor / Jon Oldevik ; Goran K. Olsen ; Dimitrios S. Kolovos. New York, NY : Association for Computing Machinery, 2010. pp. 39-46 (ACM International Conference proceedings Series).

@inproceedings{1d54ad1322a54564a869e0350fbe171f,

title = "Tool Support for Generation and Validation of Traces between Requirements and Architecture",

abstract = "Traceability is considered crucial for establishing and maintaining consistency between software development artifacts. Although considerable research has been devoted to relating requirements and design artifacts with source code, less attention has been paid to relating requirements with architecture by using well-defined semantics of traces. We present a tool that provides trace establishment by using semantics of traces between R&A (Requirements and Architecture). The tool provides the following: (1) generation/validation of traces by using requirements relations and/or verification of architecture, (2) generation/validation of requirements relations by using traces. The tool uses the semantics of traces together with requirements relations and verification results for generating and validating traces. It is based on model transformations in ATL and term-rewriting logic in Maude.",

keywords = "METIS-270858, EWI-18026, IR-72154",

author = "Arda G{\"o}knil and Ivan Ivanov and {van den Berg}, Klaas",

year = "2010",

month = jun,

day = "15",

doi = "10.1145/1814392.1814398",

language = "English",

isbn = "978-1-60558-993-0",

series = "ACM International Conference proceedings Series",

publisher = "Association for Computing Machinery",

pages = "39--46",

editor = "Jon Oldevik and Olsen, {Goran K.} and Kolovos, {Dimitrios S.}",

booktitle = "ECMFA-TW '10",

note = "6th ECMFA Traceability Workshop, ECMFA-TW 2010, ECMFA-TW ; Conference date: 15-06-2010 Through 15-06-2010",

}

Göknil, A, Ivanov, I & van den Berg, K 2010, Tool Support for Generation and Validation of Traces between Requirements and Architecture. in J Oldevik, GK Olsen & DS Kolovos (eds), ECMFA-TW '10: Proceedings of the 6th ECMFA Traceability Workshop. ACM International Conference proceedings Series, Association for Computing Machinery, New York, NY, pp. 39-46, 6th ECMFA Traceability Workshop, ECMFA-TW 2010, Paris, France, 15/06/10. https://doi.org/10.1145/1814392.1814398

Tool Support for Generation and Validation of Traces between Requirements and Architecture. / Göknil, Arda; Ivanov, Ivan; van den Berg, Klaas.

ECMFA-TW '10: Proceedings of the 6th ECMFA Traceability Workshop. ed. / Jon Oldevik; Goran K. Olsen; Dimitrios S. Kolovos. New York, NY : Association for Computing Machinery, 2010. p. 39-46 (ACM International Conference proceedings Series).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Tool Support for Generation and Validation of Traces between Requirements and Architecture

AU - Göknil, Arda

AU - Ivanov, Ivan

AU - van den Berg, Klaas

N1 - Conference code: 6

PY - 2010/6/15

Y1 - 2010/6/15

N2 - Traceability is considered crucial for establishing and maintaining consistency between software development artifacts. Although considerable research has been devoted to relating requirements and design artifacts with source code, less attention has been paid to relating requirements with architecture by using well-defined semantics of traces. We present a tool that provides trace establishment by using semantics of traces between R&A (Requirements and Architecture). The tool provides the following: (1) generation/validation of traces by using requirements relations and/or verification of architecture, (2) generation/validation of requirements relations by using traces. The tool uses the semantics of traces together with requirements relations and verification results for generating and validating traces. It is based on model transformations in ATL and term-rewriting logic in Maude.

AB - Traceability is considered crucial for establishing and maintaining consistency between software development artifacts. Although considerable research has been devoted to relating requirements and design artifacts with source code, less attention has been paid to relating requirements with architecture by using well-defined semantics of traces. We present a tool that provides trace establishment by using semantics of traces between R&A (Requirements and Architecture). The tool provides the following: (1) generation/validation of traces by using requirements relations and/or verification of architecture, (2) generation/validation of requirements relations by using traces. The tool uses the semantics of traces together with requirements relations and verification results for generating and validating traces. It is based on model transformations in ATL and term-rewriting logic in Maude.

KW - METIS-270858

KW - EWI-18026

KW - IR-72154

U2 - 10.1145/1814392.1814398

DO - 10.1145/1814392.1814398

M3 - Conference contribution

SN - 978-1-60558-993-0

T3 - ACM International Conference proceedings Series

SP - 39

EP - 46

BT - ECMFA-TW '10

A2 - Oldevik, Jon

A2 - Olsen, Goran K.

A2 - Kolovos, Dimitrios S.

PB - Association for Computing Machinery

CY - New York, NY

T2 - 6th ECMFA Traceability Workshop, ECMFA-TW 2010

Y2 - 15 June 2010 through 15 June 2010

ER -

Göknil A, Ivanov I, van den Berg K. Tool Support for Generation and Validation of Traces between Requirements and Architecture. In Oldevik J, Olsen GK, Kolovos DS, editors, ECMFA-TW '10: Proceedings of the 6th ECMFA Traceability Workshop. New York, NY: Association for Computing Machinery. 2010. p. 39-46. (ACM International Conference proceedings Series). doi: 10.1145/1814392.1814398

Tool Support for Generation and Validation of Traces between Requirements and Architecture

Abstract

Publication series

Workshop

Keywords

Access to Document

Fingerprint

Cite this