research-article
Authors: Thomas Chiang, Richard Paige, Alan Wassyng, Sebastien Mosser
MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
Pages 725 - 734
Published: 31 October 2024 Publication History
Metrics
Total Citations0Total Downloads46Last 12 Months46
Last 6 weeks2
New Citation Alert added!
This alert has been successfully added and will be sent to:
You will be notified whenever a record that you have chosen has been cited.
To manage your alert preferences, click on the button below.
Manage my Alerts
New Citation Alert!
Please log in to your account
Get Access
- Get Access
- References
- Figures
- Tables
- Media
- Share
Abstract
System traceability from requirements to implementation is desirable, often mandatory, for complex and safety-critical system development. However, maintaining traceability documentation can be extremely taxing and tedious through iterative and incremental development life cycles. The problem is further exacerbated when product variability is introduced in the system development. Feature modelling and product line engineering are becoming increasingly common in safety-critical domains such as the automotive domain when manufacturers must consider maintaining documentation for multiple variations of a single vehicle. This problem is made even more complex by the yearly iterations they have on their vehicles. Thus, we introduce CyclicL, a tool for developing, managing, and modelling feature-requirement traceability through iterative and incremental development strategies. CyclicL is designed to facilitate traceability between features and requirements through various product iterations, and multiple incremental feature and requirement changes.
References
[1]
2024. Gherkin Reference. (2024). https://cucumber.io/docs/gherkin/reference/
[2]
Ankit Agrawal and Jane Cleland-Huang. 2023. Leveraging Traceability to Integrate Safety Analysis Artifacts into the Software Development Process. In 31st IEEE International Requirements Engineering Conference, RE 2023 - Workshops, Hannover, Germany, September 4--5, 2023, Kurt Schneider, Fabiano Dalpiaz, and Jennifer Horkoff (Eds.). IEEE, 475--478.
[3]
Hazeline U Asuncion, Arthur U Asuncion, and Richard N Taylor. 2010. Software traceability with topic modeling. In Proceedings of the 32nd ACM/IEEE international conference on Software Engineering-Volume 1. 95--104.
Digital Library
[4]
CDC. 1999. Requirements Traceability Matrix Template. Retrieved 2024-04-30 from https://www2a.cdc.gov/cdcup/library/templates/CDC_UP_Requirements_Traceability_Matrix_Template.xls
[5]
Thomas Chiang, Richard Paige, Sébastien Mosser, and Alan Wassyng. 2024. Mapping Requirements to Features to Create Traceability in Product Line Models. In Proceedings of the 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings.
[6]
Jane Cleland-Huang, Ankit Agrawal, Md Nafee Al Islam, Eric Tsai, Maxime Van Speybroeck, and Michael Vierhauser. 2020. Requirements-driven configuration of emergency response missions with small aerial vehicles. In SPLC '20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19--23, 2020, Volume A. 26:1--26:12.
Digital Library
[7]
Jane Cleland-Huang, Brian Berenbach, Stephen Clark, Raffaella Settimi, and Eli Romanova. 2007. Best Practices for Automated Traceability. Computer 40, 6 (2007), 27--35.
Digital Library
[8]
Moritz Eysholdt and Heiko Behrens. 2010. Xtext: implement your language faster than the quick and dirty way. In Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion. 307--309.
Digital Library
[9]
Martin Fowler. 2018. UML distilled: a brief guide to the standard object modeling language. Addison-Wesley Professional.
Digital Library
[10]
Philipp Heisig, Jan-Philipp Steghöfer, Christopher Brink, and Sabine Sachweh. 2019. A generic traceability metamodel for enabling unified end-to-end traceability in software product lines. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. 2344--2353.
Digital Library
[11]
Peter Höfner, Ridha Khedri, and Bernhard Möller. 2006. Feature algebra. In International Symposium on Formal Methods. Springer, 300--315.
Digital Library
[12]
Peter Höfner, Ridha Khedri, and Bernhard Möller. 2011. An algebra of product families. Software & Systems Modeling 10 (2011), 161--182.
Digital Library
[13]
Kyo Kang, Sholom Cohen, James Hess, William Novak, and A Spencer Peterson. 1990. Feature-oriented domain analysis (FODA) feasibility study. Software Engineering Institute. Universitas Carnegie Mellon, Pittsburgh, Pennsylvania (1990).
[14]
Kyo C Kang, Sajoong Kim, Jaejoon Lee, Kijoo Kim, Euiseob Shin, and Moonhang Huh. 1998. FORM: A feature-; oriented reuse method with domain-; specific reference architectures. Annals of software engineering 5, 1 (1998), 143--168.
Digital Library
[15]
Kyo C Kang, Jaejoon Lee, and Patrick Donohoe. 2002. Feature-oriented product line engineering. IEEE software 19, 4 (2002), 58--65.
Digital Library
[16]
Christian Kastner, Thomas Thum, Gunter Saake, Janet Feigenspan, Thomas Leich, Fabian Wielgorz, and Sven Apel. 2009. FeatureIDE: A tool framework for feature-oriented software development. In 2009 ieee 31st international conference on software engineering. IEEE, 611--614.
[17]
Justin Kelleher. 2005. A reusable traceability framework using patterns. In Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering. 50--55.
Digital Library
[18]
Dimitrios Kolovos, Louis Rose, Richard Paige, and Antonio Garcia-Dominguez. 2010. The epsilon book. (2010).
[19]
Charles W. Krueger. 2007. BigLever software gears and the 3-tiered SPL methodology. In Companion to the 22nd ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications Companion (Montreal, Quebec, Canada) (OOPSLA '07). Association for Computing Machinery, New York, NY, USA, 844--845.
Digital Library
[20]
A van Lamsweerde. 2009. Requirements engineering: from system goals to UML models to software specifications. John Wiley & Sons, Ltd.
[21]
Jonathan I Maletic, Michael L Collard, and Bonita Simoes. 2005. An XML based approach to support the evolution of model-to-model traceability links. In Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering. 67--72.
Digital Library
[22]
Bertrand Meyer. 2022. Handbook of Requirements and Business Analysis. Springer.
[23]
Daniel Moody. 2009. The "Physics" of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering. IEEE Transactions on Software Engineering 35, 6 (2009), 756--779.
Digital Library
[24]
Kamil Nicieja. 2017. Writing Great Specifications: Using Specification by Example and Gherkin. Simon and Schuster.
[25]
Obeo. 2015. Acceleo Query Language Documentation. https://eclipse.dev/acceleo/documentation/
[26]
James Robertson and Suzanne Robertson. 2000. Volere. Requirements Specification Templates (2000).
[27]
Suzanne Robertson and James Robertson. 2012. Mastering the requirements process: Getting requirements right. Addison-wesley.
[28]
Milena Rota Sena Marques, Eliane Siegert, and Lisane Brisolara. 2014. Integrating UML, MARTE and sysml to improve requirements specification and traceability in the embedded domain. In 2014 12th IEEE International Conference on Industrial Informatics (INDIN). 176--181.
[29]
Keng Siau and Lihyunn Lee. 2004. Are use case and class diagrams complementary in requirements analysis? An experimental study on use case and class diagrams in UML. Requirements engineering 9 (2004), 229--237.
Digital Library
[30]
Ian Sommerville and Pete Sawyer. 1997. Requirements engineering: a good practice guide. John Wiley & Sons, Inc.
[31]
Ian Sommerville and Pete Sawyer. 1997. Viewpoints: principles, problems and a practical approach to requirements engineering. Annals of software engineering 3, 1 (1997), 101--130.
[32]
OMG Available Specification. 2019. Omg systems modeling language (omg sysml™), v1. 6. Object Management Group (2019).
[33]
Thomas Thüm, Christian Kästner, Fabian Benduhn, Jens Meinicke, Gunter Saake, and Thomas Leich. 2014. FeatureIDE: An extensible framework for feature-oriented software development. Science of Computer Programming 79 (2014), 70--85.
Digital Library
[34]
Vladimir Viyović, Mirjam Maksimović, and Branko Perisić. 2014. Sirius: A rapid development of DSM graphical editor. In IEEE 18th International Conference on Intelligent Engineering Systems INES 2014. IEEE, 233--238.
[35]
Thomas von der Maßen and Horst Lichter. 2002. Modeling variability by UML use case diagrams. In Proceedings of the International Workshop on Requirements Engineering for product lines. 19--25.
[36]
Alain Wegmann and Guy Genilloud. 2000. The role of "Roles" in use case diagrams. In International Conference on the Unified Modeling Language. Springer, 210--224.
Index Terms
A Tool For Feature-Requirement Traceability Using Requirement Canvas and Encapsulation
Hardware
Electronic design automation
Software and its engineering
Software creation and management
Designing software
Requirements analysis
Software development techniques
Reusability
Software product lines
Software post-development issues
Documentation
Software notations and tools
System description languages
Design languages
Specification languages
Software organization and properties
Extra-functional properties
Software safety
Software system structures
Software system models
Model-driven software engineering
Recommendations
- Mapping Requirements to Features to Create Traceability in Product Line Models
MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
Developers and engineers have shown the many benefits of feature modelling for identifying reusable software and hardware components across product lines and platforms. However, a gap exists when it comes to identifying reusable products, and ...
Read More
- Capturing behavior coordination in goal-oriented requirement engineering
SEA '07: Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Goal-Oriented Requirement Engineering (GORE) methodologies use goals to facilitate elicitation, elaboration, analysis, and specification of the required behaviors for software. Traditional GORE approaches focus on the goal refinement and requirement ...
Read More
- Blockchain technology for requirement traceability in systems engineering
Abstract
Requirement engineering (RE), a systematic process of eliciting, defining, analyzing, and managing requirements, is a vital phase in systems engineering. In RE, requirement traceability establishes the relationship between the artifacts and ...
Read More
Comments
Information & Contributors
Information
Published In
MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
September 2024
1261 pages
ISBN:9798400706226
DOI:10.1145/3652620
- Chairs:
- Manuel Wimmer,
- Alexander Egyed,
- Program Chairs:
- Benoit Combemale,
- Marsha Chechik
Copyright © 2024 Copyright is held by the owner/author(s). Publication rights licensed to 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 the author(s) 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 [emailprotected].
Sponsors
- SIGSOFT: ACM Special Interest Group on Software Engineering
- Johannes Kepler University Linz
- IEEE CS
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 31 October 2024
Check for updates
Author Tags
- model-driven engineering
- requirement engineering
- product line engineering
- product families
- domain-specific languages
- traceability generation
- traceability management
- feature modelling
- requirement diagrams
- encapsulation
Qualifiers
- Research-article
Conference
MODELS Companion '24
Sponsor:
- SIGSOFT
September 22 - 27, 2024
Linz, Austria
Acceptance Rates
Overall Acceptance Rate 144 of 506 submissions, 28%
Contributors
Other Metrics
View Article Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
Total Citations
46
Total Downloads
- Downloads (Last 12 months)46
- Downloads (Last 6 weeks)2
Reflects downloads up to 15 Feb 2025
Other Metrics
View Author Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in
Full Access
Get this Publication
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderFigures
Tables
Media
