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