skip to main content
10.1145/3270112.3275332acmconferencesArticle/Chapter ViewAbstractPublication PagesmodelsConference Proceedingsconference-collections
research-article

Context-aware traceability across heterogeneous modelling environments

Published: 14 October 2018 Publication History

Abstract

Most industrial software development processes rely on a variety of tools that are specialized in particular development tasks. As the number of modelling tools involved in a development process increases, handling the heterogeneity of model artefacts and interoperability between tools becomes a complex task. As traceability is mandated by regulations and standards, it has been one of the main drivers for the establishment of semantically rich relations between model artefacts in order to facilitate the generation of compliance evidence required for certification. While there are modelling tools that provide interoperability features with other modelling languages or tools, there is no rigorous and automated approach for capturing semantic relationships across heterogeneous modelling environments. We argue that having a structured, automated and technology-agnostic approach to declare the relationships between heterogeneous artefacts (e.g. through model mappings) can increase the maintainability of the model management operations and grant more flexibility to switch tools for any development task. In this work we propose an architecture that facilitates life cycle- and system- wide context-awareness in heterogeneous modelling environments and enables the automation of model management tasks through semantically rich relationships between heterogeneous model artefacts. For this purpose, we define context-awareness as the ability to capture and manage the frames of knowledge of the development process e.g. software architecture, testing artefacts, applicable standards, etc.

References

[1]
{n. d.}. Open Services for Lifecycle Collaboration (OSLC). http://open-services.net/
[2]
Camilo Alvarez and Rubby Casallas. 2013. MTC Flow: A tool to design, develop and deploy model transformation chains. In Proceedings of the workshop on ACadeMics Tooling with Eclipse - ACME '13. ACM Press, New York, New York, USA, 1--9.
[3]
Konstantinos Barmpis and Dimitris Kolovos. 2013. Hawk: Towards a Scalable Model Indexing Architecture Konstantinos. In Proceedings of the Workshop on Scalability in Model Driven Engineering - BigMDE '13. ACM Press, New York, New York, USA, 1--9.
[4]
Jean Bézivin, Frédéric Jouault, Peter Rosenthal, and Patrick Valduriez. 2005. Modeling in the Large and Modeling in the Small. In Model Driven Architecture. 33--46.
[5]
Jane Cleland-Huang, Orlena C. Z. Gotel, Jane Huffman Hayes, Patrick Mäder, and Andrea Zisman. 2014. Software traceability: trends and future directions. In Proceedings of the on Future of Software Engineering - FOSE 2014. ACM Press, New York, New York, USA, 55--69.
[6]
Jane Cleland-Huang, Grant Zemont, and Wiktor Lukasik. 2004. A heterogeneous solution for improving the return on investment of requirements traceability. Proceedings of the IEEE International Conference on Requirements Engineering (2004), 230--239.
[7]
Åsa Dahlstedt and Anne Persson. 2005. Requirements Interdependencies: State of the Art and Future Challenges. In Engineering and Managing Software Requirements.
[8]
Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, and Marsha Chechik. 2015. MMINT: A graphical tool for interactive model management. Proceedings of Model Driven Engineering Languages and Systems (MODELS) 2015 (2015), 82--97.
[9]
Zinovy Diskin, Sahar Kokaly, and Tom Maibaum. 2013. Mapping-Aware Megamodeling: Design Patterns and Laws. In Lecture Notes in Computer Science. Vol. 8225 LNCS. 322--343.
[10]
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, and Fernando Orejas. 2011. From state- to delta-based bidirectional model transformations: The symmetric case. In Lecture Notes in Computer Science, Vol. 6981 LNCS. 304--318.
[11]
Diverse Project. {n. d.}. Kermeta. http://diverse-project.github.io/k3/
[12]
Nikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, and Kiran J. Fernandes. 2009. Engineering a DSL for software traceability. In Lecture Notes in Computer Science, Vol. 5452. 151--167.
[13]
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt. 2007. Combinators for bidirectional tree transformations. ACM Transactions on Programming Languages and Systems 29, 3 (may 2007), 17--es.
[14]
Martins Francis, Dimitrios S. Kolovos, Nicholas Matragkas, and Richard F. Paige. 2013. Adding spreadsheets to the MDE toolkit. In Lecture Notes in Computer Science, Vol. 8107 LNCS. 35--51.
[15]
Antonio Garcia-Dominguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Marcos Aurelio Almeida da Silva, Antonin Abherve, and Alessandra Bagnato. 2016. Integration of a graph-based model indexer in commercial modelling tools. In Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS '16. ACM Press, New York, New York, USA, 340--350.
[16]
Antonio Garcia-Dominguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Ran Wei, and Richard F. Paige. 2017. Stress-testing remote model querying APIs for relational and graph-based stores., 29 pages.
[17]
Orlena Gotel, Jane Cleland-Huang, Jane Huffman Hayes, Andrea Zisman, Alexander Egyed, Paul Grünbacher, Alex Dekhtyar, Giuliano Antoniol, Jonathan Maletic, and Patrick Mäder. 2012. Traceability fundamentals. In Software and Systems Traceability. Vol. 9781447122. 3--22.
[18]
Orlena Gotel and Patrick Mäder. 2012. Acquiring tool support for traceability. In Software and Systems Traceability. Vol. 9781447122. 43--68.
[19]
IBM. {n. d.}. IBM Knowledge Center - Extending Rational DOORS by using OSLC services. https://www.ibm.com/support/knowledgecenter/en/SSYQBZ_9.6.0/com.ibm.doors.install.doc/topics/r_oslc_services.html
[20]
IBM. {n. d.}. Rational DOORS. http://www-03.ibm.com/software/products/en/ratidoor
[21]
itemis. {n. d.}. YAKINDU Traceability.
[22]
Vikash Katta and Tor Stålhane. 2010. A Conceptual Model of Traceability for Safety Systems. CSDM-Poster Presentation April (2010), 1--12.
[23]
Sahar Kokaly. 2014. Towards a Structured Workflow Language for Model Management. (2014).
[24]
Dimitrios S. Kolovos, Massimo Tisi, Jordi Cabot, Louis M. Rose, Nicholas Matragkas, Richard F. Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan De Lara, István Ráth, and Dániel Varró. 2013. A research roadmap towards achieving scalability in model driven engineering. Proceedings of the Workshop on Scalability in Model Driven Engineering - BigMDE '13 (2013), 1--10.
[25]
Salome Maro, Anthony Anjorin, Rebekka Wohlrab, and Jan-Philipp Steghöfer. 2016. Traceability Maintenance: Factors and Guidelines. Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016) (2016), 414--425.
[26]
Salome Maro, Miroslaw Staron, and Jan Philipp Steghöfer. 2017. Challenges of establishing traceability in the automotive domain. In Lecture Notes in Business Information Processing (Lecture Notes in Business Information Processing), Dietmar Winkler, Stefan Biffl, and Johannes Bergsmann (Eds.), Vol. 269. Springer International Publishing, Cham, 153--172.
[27]
MathWorks. {n. d.}. MATLAB Simulink. https://www.mathworks.com/products/simulink.html
[28]
Nasser Mustafa and Yvan Labiche. 2015. Modeling Traceability for Heterogeneous Systems. In Proceedings of the 10th International Conference on Software Engineering and Applications. 358--366.
[29]
Nasser Mustafa and Yvan Labiche. 2015. Towards Traceability Modeling for the Engineering of Heterogeneous Systems. Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development (2015), 321--328.
[30]
Richard F. Paige, Nicholas Matragkas, and Louis M. Rose. 2016. Evolving models in Model-Driven Engineering: State-of-the-art and future challenges. Journal of Systems and Software 111 (jan 2016), 272--280.
[31]
Paige Richard F, Olsen Gøran K, Kolovos Dimitrios S, and Zschaler Steffen. 2008. Building Model-Driven Engineering Traceability Classifications. ECMDA-Traceability Workshop Proceedings (2008).
[32]
PTC. {n. d.}. Integrity Lifecycle Manager. http://www.ptc.com/en/products/plm/plm-products/integrity-lifecycle-manager
[33]
PTC. {n. d.}. Integrity Modeler. http://www.ptc.com/en/products/plm/plm-products/integrity-modeler
[34]
Balasubramaniam Ramesh and Matthias Jarke. 2001. Toward Reference Models for Requirements Traceability. IEEE Transactions on Software Engineering 27, 1 (2001), 58--93.
[35]
RTCA DO-178C. 2011. Software Considerations in Airborne Systems and Equipment Certification.
[36]
George Spanoudakis and Andrea Zisman. 2005. SOFTWARE TRACEABILITY: A ROADMAP. In Handbook Of Software Engineering And Knowledge Engineering. Vol. III. WORLD SCIENTIFIC, 395--428.
[37]
George Spanoudakis, Andrea Zisman, Elena Pérez-Miñana, and Paul Krause. 2004. Rule-based generation of requirements traceability relations. Journal of Systems and Software 72, 2 (2004), 105--127.
[38]
M Taromirad. 2014. A Modelling Approach to Multi-Domain Traceability. Ph.D. Dissertation. University of York. http://etheses.whiterose.ac.uk/7822/
[39]
The Eclipse Foundation. {n. d.}. Eclipse Modeling Framework. http://www.eclipse.org/emf
[40]
The Eclipse Foundation. {n. d.}. MWE 2 - XText. https://www.eclipse.org/Xtext/documentation/306_mwe2.html
[41]
The Eclipse Foundation. {n. d.}. Papyrus.
[42]
The Eclipse Foundation. {n. d.}. The Acceleo Project. https://www.eclipse.org/acceleo/
[43]
The Eclipse Foundation. {n. d.}. The ATLAS Transformation Language Project. https://www.eclipse.org/atl/
[44]
The Eclipse Foundation. {n. d.}. The Capra Project. https://projects.eclipse.org/projects/modeling.capra
[45]
The Eclipse Foundation. {n. d.}. The Epsilon Project. https://www.eclipse.org/epsilon/
[46]
The Object Management Group. {n. d.}. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. https://www.omg.org/spec/QVT
[47]
The Object Management Group. {n. d.}. Meta Object Facility (MOF) Core Specification. https://www.omg.org/spec/MOF
[48]
The Object Management Group. {n. d.}. Object Constraint Language. https://www.omg.org/spec/OCL/
[49]
Viatra. {n. d.}. Massif: MATLAB Simulink Integration Framework for Eclipse. https://github.com/viatra/massif
[50]
Stefan Winkler and Jens von Pilgrim. 2010. A survey of traceability in requirements engineering and model-driven development. Software and Systems Modeling 9, 4 (sep 2010), 529--565.
[51]
Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitrios S Kolovos, Richard F Paige, and Stuart Hutchesson. 2017. Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon. In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 237--247.

Cited By

View all
  • (2021)What have we learnt from the challenges of (semi‐) automated requirements traceability? A discussion on blockchain applicabilityIET Software10.1049/sfw2.1203515:6(391-411)Online publication date: 4-Jul-2021
  • (2020)A Model Traceability Framework for Network Service ManagementProceedings of the 12th System Analysis and Modelling Conference10.1145/3419804.3420267(64-73)Online publication date: 19-Oct-2020
  • (2020)Expanding Tracing Capabilities Using Dynamic Tracing DataEvaluation of Novel Approaches to Software Engineering10.1007/978-3-030-40223-5_16(319-340)Online publication date: 9-Feb-2020

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
MODELS '18: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
October 2018
214 pages
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 [email protected].

Sponsors

In-Cooperation

  • IEEE CS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 October 2018

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Funding Sources

Conference

MODELS '18
Sponsor:

Acceptance Rates

MODELS '18 Paper Acceptance Rate 19 of 29 submissions, 66%;
Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)6
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2021)What have we learnt from the challenges of (semi‐) automated requirements traceability? A discussion on blockchain applicabilityIET Software10.1049/sfw2.1203515:6(391-411)Online publication date: 4-Jul-2021
  • (2020)A Model Traceability Framework for Network Service ManagementProceedings of the 12th System Analysis and Modelling Conference10.1145/3419804.3420267(64-73)Online publication date: 19-Oct-2020
  • (2020)Expanding Tracing Capabilities Using Dynamic Tracing DataEvaluation of Novel Approaches to Software Engineering10.1007/978-3-030-40223-5_16(319-340)Online publication date: 9-Feb-2020

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media