Tool support for generation and validation of traces between requirements and architecture

Authors:
Arda Goknil;Ivan Kurtev;Klaas van den Berg
Affiliations:
University of Twente, Enschede, The Netherlands;University of Twente, Enschede, The Netherlands;University of Twente, Enschede, The Netherlands
Venue:
Proceedings of the 6th ECMFA Traceability Workshop
Year:
2010

Citing 12
Cited 1

Software reflexion models: bridging the gap between source and high-level models

SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Alloy: a lightweight object modelling notation

ACM Transactions on Software Engineering and Methodology (TOSEM)
Maude: specification and programming in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
A Scenario-Driven Approach to Trace Dependency Analysis

IEEE Transactions on Software Engineering
Exploring the Structure of Complex Software Designs: An Empirical Study of Open Source and Proprietary Code

Management Science
Recovering and using use-case-diagram-to-source-code traceability links

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Principles of Model Checking (Representation and Mind Series)

Principles of Model Checking (Representation and Mind Series)
Linking Functional Requirements and Software Verification

RE '09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE
Enabling the refinement of a software architecture into a design

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Transforming models with ATL

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Behavior-preserving refinement relations between dynamic software architectures

WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques

Generation and validation of traces between requirements and architecture based on formal trace semantics

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

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.