research-article

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

Authors:

Klaas van den BergAuthors Info & Claims

ECMFA-TW '10: Proceedings of the 6th ECMFA Traceability Workshop

Pages 39 - 46

https://doi.org/10.1145/1814392.1814398

Published: 15 June 2010 Publication History

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.

References

[1]

Abi-Antoun, M., and Medvidovic, N. 1999. Enabling the Refinement of a Software Architecture into a Design. In: UML'99, LNCS, vol. 1723, pp. 17--31.

Digital Library

[2]

Architecture Design and Analysis Language (AADL). http://www.aadl.info. Accessed 05 January 2010.

[3]

Baier, C., and Katoen, J. P. 2008. Principles of Model Checking. MIT Press.

Digital Library

[4]

Bonde, L., Boulet, P., and Dekeyser, J. L. 2005. Traceability and Interoperability at Different Levels of Abstraction in Model-Driven Engineering. In: FDL 2005, pp. 263--276.

[5]

Ciraci, S. 2009. Graph based Verification of Software Evolution Requirements. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis series No. 09-162 ISBN 978-90-365-2956-3

[6]

Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., and Queseda, J. F. 2002. Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science, 285, 187--243, Elsevier.

Digital Library

[7]

Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., and Talcott, C. 2007. All about Maude - A High-Performance Logical Framework. Lecture Notes in Computer Science, Vol. 4350, Springer.

Digital Library

[8]

Dahlstedt, A. G., Persson, A. 2005. Requirements Interdependencies: State of the Art and Future Challenges. In: Aurum, A., Wohlin, C. (eds.) Engineering and Managing Software Requirements, pp. 95--116. Springer, Berlin.

[9]

Egyed, A., and Grunbacher, P. 2005. Supporting Software Understanding with Automated Requirements Traceability. Int. J. Soft. Eng. Knowl. Eng. 15(5), 783--810.

[10]

Egyed, A. 2003. A Scenario-Driven Approach to Trace Dependency Analysis. IEEE Trans. Software Eng. 29(2), 116--132.

Digital Library

[11]

Egyed, A. 2000. Automatically Validating Model Consistency during Refinement. Technical report, Center for Software Engineering, University of Southern California.

[12]

Goknil, A., Kurtev, I., van den Berg, K., and Veldhuis, J. W. 2009. Semantics of Trace Relations in Requirements Models for Consistency Checking and Inferencing. Theme Issue on Traceability, Software and System Modeling Journal.

[13]

Goknil, A., Kurtev, I., and van den Berg, K. 2010. Generation and Validation of Traces between Requirements and Architecture based on Trace Semantics. Technical Report (To appear), University of Twente.

[14]

Gotel, O. C. Z., and Finkelstein, C. W. 1994. An Analysis of the Requirements Traceability Problem. In: RE'94, pp. 94--101. IEEE Computer Society Press, Colorado, USA.

[15]

Grechanik, M., McKinley, K. S., and Perry, D. E. 2007. Recovering and Using use-case-diagram-to-source-code traceability links. In: ESEC-FSE '07, pp. 95--104.

Digital Library

[16]

Heckel, R., and Thone, S. 2005. Behavior-Preserving Refinement Relations between Dynamic Software Architectures. In: WADT'04, LNCS, vol. 3423, pp. 1--27.

Digital Library

[17]

Jackson, D. 2002. Alloy: a Lightweight Object Modelling Notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256--290.

Digital Library

[18]

Jouault, F., and Kurtev, I. 2006. Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128--138. Springer, Heidelberg.

Digital Library

[19]

Kurtev, I., Bézivin, J., and Aksit, M. 2002. Technical Spaces: An Initial Appraisal. In: CoopIS, DOA'2002 Federated Conferences, Industrial track, Irvine.

[20]

Looman, S. A. M. 2009. Impact Analysis of Changes in Functional Requirements in the Behavioral View of Software Architectures. M.Sc. Thesis, University of Twente.

[21]

Mader, P., Gotel. O., and Philippow, I. 2009. Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations. In ECMDA-FA '09, LNCS, vol. 5562, pp. 174--189.

Digital Library

[22]

McCormack, A., Rusnak, J., and Baldwin, C. Y. 2006. Exploring the Structure of Complex Software Designs: An Empirical Study of Open Source and Proprietary Code. Management Science, vol. 52, no. 7, pp. 1015--1030.

Digital Library

[23]

Moment2-AADL. http://www.cs.le.ac.uk/people/aboronat/tools/moment2-aadl/

[24]

Murphy, G. C., Notkin, D., and Sullivan, K. 1995. Software Reflexion Models: Bridging the Gap between Source and High-Level Models. In: SIGSOFT'95, pp. 18--28.

Digital Library

[25]

OMG: Semantics of Business Vocabulary and Rules (SBVR). OMG Standard, v. 1.0.

[26]

OMG: SysML Specification. OMG ptc/06-05-04, http://www.sysml.org/specs.htm. Accessed 05 January 2010

[27]

Ölveczky, P. C., Boronat, A., Mesequer, J., and Pek, E. 2010. Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. Technical Report at UIUC (to appear).

[28]

Post, H., Sinz, C., Merz, F., Gorges, T., and Kropf, T. 2009. Linking Functional Requirements and Software Verification. In: RE'09. IEEE Computer Society Press, 295--302, USA.

Digital Library

[29]

Rivera, E. J., Guerra, E., de Lara, J., and Vallecillo, A. 2009. Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. In: SLE 2008, LNCS 5452, pp. 54--73, France.

[30]

Schwarz, H., Ebert, J., and Winter, A. 2009. Graph-based Traceability: a Comprehensive Approach. Theme Issue on Traceability, Software and System Modeling Journal.

[31]

http://www.aptest.com/glossary.html#S

Cited By

Minhas NAhmad BNasir N(2023)A framework to support requirements validation in global software development2023 International Conference on Frontiers of Information Technology (FIT)10.1109/FIT60620.2023.00052(244-249)Online publication date: 11-Dec-2023
https://doi.org/10.1109/FIT60620.2023.00052
Gillani MNiaz HUllah A(2022)Integration of Software Architecture in Requirements Elicitation for Rapid Software DevelopmentIEEE Access10.1109/ACCESS.2022.317765910(56158-56178)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3177659
Hammoudi MMayr-Dorn CMashkoor AEgyed AHung CHong JBechini ASong E(2021)On the effect of incompleteness to check requirement-to-method tracesProceedings of the 36th Annual ACM Symposium on Applied Computing10.1145/3412841.3442021(1465-1474)Online publication date: 22-Mar-2021
https://dl.acm.org/doi/10.1145/3412841.3442021
Show More Cited By

Index Terms

Tool support for generation and validation of traces between requirements and architecture
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
      2. Software implementation planning
        Software design techniques
    2. Software development process management

Recommendations

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

We present an approach for automatic trace generation and validation of traces between requirements and architecture.Requirements relations and architecture verification techniques are used.A trace metamodel is defined with commonly used trace types ...
A method and tool for tracing requirements into specifications

The creation of a consistent system description is a challenging problem of requirements engineering. Formal and informal reasoning can greatly contribute to meet this challenge. However, this demands that formal and informal reasoning and the system ...
Toward improved traceability of non-functional requirements
TEFSE '05: Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering

This position paper examines current practices and challenges for tracing non-functional requirements (NFRs). Anecdotal evidence suggests that many organizations do not effectively trace NFRs and that functional changes are often implemented with very ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

ECMFA-TW '10: Proceedings of the 6th ECMFA Traceability Workshop

June 2010

59 pages

ISBN:9781605589930

DOI:10.1145/1814392

Conference Chairs:
Jon Oldevik
SINTEF, Norway
,
Goran K. Olsen
SINTEF, Norway
,
Dimitrios S. Kolovos
University of York

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 June 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ECMFA-TW '10

ECMFA-TW '10: 6th ECMFA Traceability Workshop

June 15, 2010

Paris, France

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
396
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Minhas NAhmad BNasir N(2023)A framework to support requirements validation in global software development2023 International Conference on Frontiers of Information Technology (FIT)10.1109/FIT60620.2023.00052(244-249)Online publication date: 11-Dec-2023
https://doi.org/10.1109/FIT60620.2023.00052
Gillani MNiaz HUllah A(2022)Integration of Software Architecture in Requirements Elicitation for Rapid Software DevelopmentIEEE Access10.1109/ACCESS.2022.317765910(56158-56178)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3177659
Hammoudi MMayr-Dorn CMashkoor AEgyed AHung CHong JBechini ASong E(2021)On the effect of incompleteness to check requirement-to-method tracesProceedings of the 36th Annual ACM Symposium on Applied Computing10.1145/3412841.3442021(1465-1474)Online publication date: 22-Mar-2021
https://dl.acm.org/doi/10.1145/3412841.3442021
Hammoudi MMayr-Dorn CMashkoor AEgyed A(2021)TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces2021 28th Asia-Pacific Software Engineering Conference (APSEC)10.1109/APSEC53868.2021.00009(12-21)Online publication date: Dec-2021
https://doi.org/10.1109/APSEC53868.2021.00009
Erata FGoknil ATekinerdogan BKardas GBodden ESchäfer WDeursen AZisman A(2017)A tool for automated reasoning about traces based on configurable formal semanticsProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3122825(959-963)Online publication date: 21-Aug-2017
https://dl.acm.org/doi/10.1145/3106237.3122825
Mustafa NLabiche Y(2017)The Need for Traceability in Heterogeneous Systems: A Systematic Literature Review2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC)10.1109/COMPSAC.2017.237(305-310)Online publication date: Jul-2017
https://doi.org/10.1109/COMPSAC.2017.237
Goknil AKurtev Ivan den Berg KBahsoon RWeinreich R(2016)A rule-based approach for evolution of AADL models based on changes in functional requirementsProccedings of the 10th European Conference on Software Architecture Workshops10.1145/2993412.3004846(1-7)Online publication date: 28-Nov-2016
https://dl.acm.org/doi/10.1145/2993412.3004846
Duarte ADuarte DThiry M(2016)TraceBoK: Toward a Software Requirements Traceability Body of Knowledge2016 IEEE 24th International Requirements Engineering Conference (RE)10.1109/RE.2016.32(236-245)Online publication date: Oct-2016
https://doi.org/10.1109/RE.2016.32
Goknil AKurtev IVan Den Berg K(2014)Generation and validation of traces between requirements and architecture based on formal trace semanticsJournal of Systems and Software10.5555/2747015.274718188:C(112-137)Online publication date: 1-Feb-2014
https://dl.acm.org/doi/10.5555/2747015.2747181
Goknil AKurtev Ivan den Berg KSpijkerman W(2014)Change impact analysis for requirements: A metamodeling approachInformation and Software Technology10.1016/j.infsof.2014.03.00256:8(950-972)Online publication date: Aug-2014
https://doi.org/10.1016/j.infsof.2014.03.002
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents