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 proceedingConference contributionAcademicpeer-review

8 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 languageEnglish
Title of host publicationECMFA-TW '10
Subtitle of host publicationProceedings of the 6th ECMFA Traceability Workshop
EditorsJon Oldevik, Goran K. Olsen, Dimitrios S. Kolovos
Place of PublicationNew York, NY
PublisherAssociation for Computing Machinery (ACM)
Pages39-46
Number of pages8
ISBN (Print)978-1-60558-993-0
DOIs
Publication statusPublished - 15 Jun 2010
Event6th ECMFA Traceability Workshop, ECMFA-TW 2010 - Paris, France
Duration: 15 Jun 201015 Jun 2010
Conference number: 6

Publication series

NameACM International Conference proceedings Series
PublisherACM

Workshop

Workshop6th ECMFA Traceability Workshop, ECMFA-TW 2010
Abbreviated titleECMFA-TW
CountryFrance
CityParis
Period15/06/1015/06/10

Fingerprint

Semantics
Software engineering

Keywords

  • METIS-270858
  • EWI-18026
  • IR-72154

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). New York, NY: Association for Computing Machinery (ACM). 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 (ACM), 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 = "6",
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 (ACM)",
pages = "39--46",
editor = "Jon Oldevik and Olsen, {Goran K.} and Kolovos, {Dimitrios S.}",
booktitle = "ECMFA-TW '10",
address = "United States",

}

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 (ACM), 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 (ACM), 2010. p. 39-46 (ACM International Conference proceedings Series).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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

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 (ACM)

CY - New York, NY

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 (ACM). 2010. p. 39-46. (ACM International Conference proceedings Series). https://doi.org/10.1145/1814392.1814398