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


Share/Save/Bookmark

Göknil, Arda and Kurtev, Ivan and Berg van den, Klaas (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.

[img]PDF
Restricted to UT campus only
: Request a copy
786Kb
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/72154
Official URL:http://dx.doi.org/10.1145/1814392.1814398
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page