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


Göknil, Arda and Kurtev, Ivan and Berg, Klaas van den (2010) Tool Support for Generation and Validation of Traces between Requirements and Architecture. In: Sixth ECMFA Traceability Workshop, ECMFA-TW, 15 June 2010, Paris, France (pp. pp. 39-46).

[img] PDF
Restricted to UT campus only
: Request a copy
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.
Item Type:Conference or Workshop Item
Copyright:© 2010 ACM
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page