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

    12 Citations (Scopus)


    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
    Number of pages8
    ISBN (Print)978-1-60558-993-0
    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


    Workshop6th ECMFA Traceability Workshop, ECMFA-TW 2010
    Abbreviated titleECMFA-TW


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


    Dive into the research topics of 'Tool Support for Generation and Validation of Traces between Requirements and Architecture'. Together they form a unique fingerprint.

    Cite this