Recognition: unknown
ProMoTA: a model-driven framework for end-to-end traceability analysis
Pith reviewed 2026-05-09 18:55 UTC · model grok-4.3
The pith
ProMoTA generates end-to-end traceability information to enable global model traceability from high-level models to generated code.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The generation of end-to-end traceability information enables global model traceability, from high-level input models to generated code, forming the basis for traceability analysis. ProMoTA is an Eclipse-based framework that extends the Acceleo model transformation language with local traceability support, includes a global traceability map generator and end-to-end traceability analysis modules, and is demonstrated with a Wireless Sensor Network-Based IoT application.
What carries the argument
Megamodel-driven process execution combined with local traceability extensions to Acceleo that produce a global traceability map for analysis.
Load-bearing premise
The selected process models must accurately reflect actual MDE workflows from PIM to PSM to code, and the combination of megamodel execution with local traceability extensions must yield complete and consistent global links.
What would settle it
Finding missing or incorrect traceability links in the output for the demonstrated IoT application would show that the end-to-end generation does not produce reliable global traceability.
Figures
read the original abstract
In this paper, we propose an approach that integrates end-to-end traceability with process modelling. OurprocessmodelsrepresentMDEworkflowsthatspan platform-independent-modelling, platform-specificmodelling, andcodegenerationphases. Processexecutionisautomated using megamodels and model transformation chains. The generation of end-to-end traceability information enables global model traceability, from high-level input models to generated code, forming the basis for traceability analysis. We have built an Eclipse-based framework, ProMoTA, to support our approach. ProMoTA extends the Acceleo model transformation language, introducing local traceability support. It also includes a global traceability map generator and end-to-end traceability analysis modules, providing users with a holistic view of the entire transformation process. Our framework is demonstrated with the use of a Wireless Sensor Network-Based IoT application.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents ProMoTA, an Eclipse-based framework that integrates end-to-end traceability with process modeling for MDE workflows spanning PIM, PSM, and code generation phases. Process execution is automated via megamodels and model transformation chains; local traceability extensions to Acceleo are combined with a global traceability map generator and analysis modules to provide a holistic view from high-level input models to generated code. The approach is illustrated through a demonstration on a Wireless Sensor Network-based IoT application.
Significance. If the completeness and correctness claims hold, ProMoTA would provide a practical, integrated solution to the longstanding challenge of maintaining end-to-end traceability in model-driven engineering, particularly valuable for complex domains such as IoT. The concrete construction of the framework, including the Acceleo extensions and megamodel-driven execution, represents a tangible engineering contribution that could be adopted by practitioners. The single demonstration supplies initial evidence of feasibility, though the absence of quantitative metrics or comparative evaluation limits the assessed impact to a proof-of-concept level.
major comments (2)
- [§5] §5 (Demonstration): The WSN-IoT case study illustrates successful generation of traceability links but reports no quantitative metrics (e.g., precision, recall, or completeness ratio), error analysis, or comparison against existing traceability tools or baselines, leaving the central claim of holistic, complete end-to-end traceability only partially evidenced.
- [§3] §3 (Approach): The global traceability map generator is described as producing complete links by construction from local Acceleo traces and megamodel execution, yet no formal semantics, enumeration of transformation patterns (e.g., many-to-one mappings, conditional branches), or independent verification is provided to rule out omissions or inconsistencies.
minor comments (2)
- [Abstract] Abstract: Concatenated words without spaces appear (e.g., 'OurprocessmodelsrepresentMDEworkflowsthatspan', 'platform-specificmodelling, andcodegenerationphases'); these should be corrected for readability.
- [Throughout] Throughout: Terminology for megamodels, PIM/PSM phases, and traceability map components should be defined consistently on first use; additional implementation details on the end-to-end traceability analysis modules would improve clarity.
Simulated Author's Rebuttal
Thank you for the opportunity to respond to the referee's report. We address the major comments point by point and outline the revisions we intend to make to strengthen the manuscript.
read point-by-point responses
-
Referee: [§5] §5 (Demonstration): The WSN-IoT case study illustrates successful generation of traceability links but reports no quantitative metrics (e.g., precision, recall, or completeness ratio), error analysis, or comparison against existing traceability tools or baselines, leaving the central claim of holistic, complete end-to-end traceability only partially evidenced.
Authors: We acknowledge that the demonstration section would be strengthened by the inclusion of quantitative metrics and comparisons. In the revised manuscript, we will add quantitative data from the case study, such as the total number of traceability links generated across the transformation chain, the distribution of link types, and a manual inspection for completeness in a subset of the generated artifacts. We will also include a brief comparison with existing traceability approaches in the related work section, highlighting the unique integration with process modeling. However, a full comparative evaluation with baselines would require additional experiments that are outside the current scope but will be noted as future work. revision: partial
-
Referee: [§3] §3 (Approach): The global traceability map generator is described as producing complete links by construction from local Acceleo traces and megamodel execution, yet no formal semantics, enumeration of transformation patterns (e.g., many-to-one mappings, conditional branches), or independent verification is provided to rule out omissions or inconsistencies.
Authors: We agree that additional details on the construction of the global traceability map would enhance the rigor of the approach description. In the revision, we will expand §3 to include an enumeration of the supported transformation patterns, with examples of many-to-one mappings and conditional branches as handled by our Acceleo extensions. We will also provide a more detailed explanation of how completeness is ensured by the composition rules derived from the megamodel. While a complete formal semantics is not provided in the current version due to the engineering focus of the paper, we will include an informal proof sketch based on the inductive construction of the map. Independent verification will be facilitated by making the ProMoTA framework available as open source upon acceptance. revision: yes
Circularity Check
No circularity: framework construction without derivation chain or self-referential reduction
full rationale
The paper presents the design, implementation, and demonstration of the ProMoTA Eclipse-based framework for integrating end-to-end traceability into MDE process models via megamodels and Acceleo extensions. No mathematical derivations, equations, fitted parameters, or predictions are claimed. Core assertions (e.g., generation of global traceability links from PIM/PSM to code) are supported directly by the tool's construction and a single WSN-IoT example, without reducing to tautological inputs or load-bearing self-citations. The approach is self-contained as an engineering artifact; completeness is asserted via the implemented components rather than derived from prior outputs of the same work.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption MDE workflows can be faithfully represented as executable process models using megamodels and transformation chains
invented entities (1)
-
ProMoTA framework
no independent evidence
Reference graph
Works this paper leans on
-
[1]
International Journal of Business Process Integration and Management , volume=
Bridging the gap between business and software engineering: a unified traceability method , author=. International Journal of Business Process Integration and Management , volume=. 2024 , publisher=
2024
-
[2]
2022 , title=
Paredis,Randy and Exelmans,Joeri and Vangheluwe,Hans , editor=. 2022 , title=
2022
-
[3]
Campbell, S. L. and Gear, C. W. The index of general nonlinear D A E S. Numer. M ath. 1995
1995
-
[4]
Slifka, M. K. and Whitton, J. L. Clinical implications of dysregulated cytokine production. J. M ol. M ed. 2000. doi:10.1007/s001090000086
-
[5]
Quasimonotonicity, regularity and duality for nonlinear systems of partial differential equations
Hamburger, C. Quasimonotonicity, regularity and duality for nonlinear systems of partial differential equations. Ann. Mat. Pura. Appl. 1995
1995
-
[6]
Geddes, K. O. and Czapor, S. R. and Labahn, G. Algorithms for C omputer A lgebra. 1992
1992
-
[7]
Software engineering---from auxiliary to key technologies
Broy, M. Software engineering---from auxiliary to key technologies. Software Pioneers. 1992
1992
-
[8]
Conductive P olymers. 1981
1981
-
[9]
Smith, S. E. Neuromuscular blocking drugs in man. Neuromuscular junction. H andbook of experimental pharmacology. 1976
1976
-
[10]
Chung, S. T. and Morris, R. L. Isolation and characterization of plasmid deoxyribonucleic acid from Streptomyces fradiae. 1978
1978
-
[11]
and AghaKouchak, A
Hao, Z. and AghaKouchak, A. and Nakhjiri, N. and Farahmand, A. Global integrated drought monitoring and prediction system (GIDMaPS) data sets. 2014
2014
-
[12]
Babichev, S. A. and Ries, J. and Lvovsky, A. I. Quantum scissors: teleportation of single-mode optical states by means of a nonlocal single photon. 2002
2002
-
[13]
Wormholes in Maximal Supergravity
Beneke, M. and Buchalla, G. and Dunietz, I. Mixing induced CP asymmetries in inclusive B decays. Phys. L ett. 1997. arXiv:0707.3168
work page Pith review arXiv 1997
-
[14]
deep SIP : deep learning of S upernova I a P arameters
Stahl, B. deep SIP : deep learning of S upernova I a P arameters. 2020. ascl:2006.023
2020
-
[15]
Abbott, T. M. C. and others. Dark Energy Survey Year 1 Results: Constraints on Extended Cosmological Models from Galaxy Clustering and Weak Lensing. Phys. Rev. D. 2019. doi:10.1103/PhysRevD.99.123505. arXiv:1810.02499
-
[16]
The FTG+PM Framework for Multi-Paradigm Modelling: An Automotive Case Study , year =
Mustafiz, Sadaf and Denil, Joachim and L\'. The FTG+PM Framework for Multi-Paradigm Modelling: An Automotive Case Study , year =
-
[17]
FTG+PM: An Integrated Framework for Investigating Model Transformation Chains
L \'u cio, Levi and Mustafiz, Sadaf and Denil, Joachim and Vangheluwe, Hans and Jukss, Maris. FTG+PM: An Integrated Framework for Investigating Model Transformation Chains. SDL 2013: Model-Driven Dependability Engineering. 2013
2013
-
[18]
FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling
Challenger, Moharram and Vanherpen, Ken and Denil, Joachim and Vangheluwe, Hans. FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling. Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems. 2020
2020
-
[19]
ACM Computing Surveys (CSUR) , volume=
Programming wireless sensor networks: Fundamental concepts and state of the art , author=. ACM Computing Surveys (CSUR) , volume=. 2011 , publisher=
2011
-
[20]
Proceedings of the AIS’2002 conference (AI, Simulation and Planning in High Autonomy Systems) , pages=
An introduction to multi-paradigm modelling and simulation , author=. Proceedings of the AIS’2002 conference (AI, Simulation and Planning in High Autonomy Systems) , pages=
2002
-
[21]
2017 2nd International Conference on Information Technology (INCIT) , pages=
A scalable and low-cost MQTT broker clustering system , author=. 2017 2nd International Conference on Information Technology (INCIT) , pages=. 2017 , organization=
2017
-
[22]
Mosterman and Hans Vangheluwe , title =
Pieter J. Mosterman and Hans Vangheluwe , title =. SIMULATION , volume =
-
[23]
Contiki-NG: The OS for Next Generation IoT Devices , howpublished =
Contiki-NG , year =. Contiki-NG: The OS for Next Generation IoT Devices , howpublished =
-
[24]
2013 IEEE conference on computer communications workshops (INFOCOM WKSHPS) , pages=
RIOT OS: Towards an OS for the Internet of Things , author=. 2013 IEEE conference on computer communications workshops (INFOCOM WKSHPS) , pages=. 2013 , organization=
2013
-
[25]
IEEE Internet of Things Journal , volume=
RIOT: An open source operating system for low-end embedded devices in the IoT , author=. IEEE Internet of Things Journal , volume=. 2018 , publisher=
2018
-
[26]
6th Symposium on Languages, Applications and Technologies (SLATE 2017) , pages =
Caglar Durmaz and Moharram Challenger and Orhan Dagdeviren and Geylani Kardas , title =. 6th Symposium on Languages, Applications and Technologies (SLATE 2017) , pages =. 2017 , volume =
2017
-
[27]
International Workshop on Formalization of Modeling Languages , pages=
Towards a DSML for semantic web enabled multi-agent systems , author=. International Workshop on Formalization of Modeling Languages , pages=
-
[28]
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) , pages=
Firmware Synthesis for Ultra-Thin IoT Devices Based on Model Integration , author=. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) , pages=. 2019 , organization=
2019
-
[29]
Softwaretechnik-Trends: Vol
A benchmark for model matching systems: The heterogeneous metamodel case , author=. Softwaretechnik-Trends: Vol. 33, No. 2 , year=
-
[30]
Wireless World Research Forum Meeting , volume=
Cyber-physical-security model for safety-critical iot infrastructures , author=. Wireless World Research Forum Meeting , volume=
-
[31]
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems , pages=
Thingml: a language and code generation framework for heterogeneous targets , author=. Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems , pages=. 2016 , organization=
2016
-
[32]
Procedia Computer Science , volume=
DoS-IL: A domain specific Internet of Things language for resource constrained devices , author=. Procedia Computer Science , volume=. 2017 , publisher=
2017
-
[33]
2018 13th Annual Conference on System of Systems Engineering (SoSE) , pages=
A language for analyzing security of IoT systems , author=. 2018 13th Annual Conference on System of Systems Engineering (SoSE) , pages=. 2018 , organization=
2018
-
[34]
Procedia Computer Science , volume=
A data sharing strategy and a DSL for service discovery, selection and consumption for the IoT , author=. Procedia Computer Science , volume=. 2014 , publisher=
2014
-
[35]
, author=
Model-driven Development of Adaptive IoT Systems. , author=. MODELS (Satellite Events) , pages=
-
[36]
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering , pages=
Facet-oriented modelling: open objects for model-driven engineering , author=. Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering , pages=. 2018 , organization=
2018
-
[37]
Companion Proceedings of the 15th International Conference on Modularity , pages=
Addressing modularity for heterogeneous multi-model systems using model federation , author=. Companion Proceedings of the 15th International Conference on Modularity , pages=. 2016 , organization=
2016
-
[38]
International Conference on Model Driven Engineering Languages and Systems , pages=
Generic meta-modelling with concepts, templates and mixin layers , author=. International Conference on Model Driven Engineering Languages and Systems , pages=
-
[39]
Software & Systems Modeling , volume=
A feature-based survey of model view approaches , author=. Software & Systems Modeling , volume=. 2019 , publisher=
2019
-
[40]
Marah, Hussein M and Eslampanah, Raheleh and Challenger, Moharram , booktitle=
-
[41]
Computer Languages, Systems & Structures , volume=
DSML4CP: A Domain-specific Modeling Language for Concurrent Programming , author=. Computer Languages, Systems & Structures , volume=. 2015 , publisher=
2015
-
[42]
2017 International Conference on Computer Science and Engineering (UBMK) , pages=
Arslan, Sad. 2017 International Conference on Computer Science and Engineering (UBMK) , pages=. 2017 , organization=
2017
-
[43]
2016 , publisher=
Challenger, Moharram and Kardas, Geylani and Tekinerdogan, Bedir , journal=. 2016 , publisher=
2016
-
[44]
5th Symposium on Languages, Applications and Technologies (SLATE'16) , year=
A metamodel for Jason BDI agents , author=. 5th Symposium on Languages, Applications and Technologies (SLATE'16) , year=
-
[45]
2018 , organization=
Karaduman, Burak and Challenger, Moharram and Eslampanah, Raheleh , booktitle=. 2018 , organization=
2018
-
[46]
Proceedings of the Intl
Karaduman, Burak and A. Proceedings of the Intl. Conf. on Engineering & MIS 2018 , pages=. 2018 , organization=
2018
-
[47]
ACM SIGSOFT Software Engineering Notes , volume=
Engineering multi-agent systems: State of affairs and the road ahead , author=. ACM SIGSOFT Software Engineering Notes , volume=. 2019 , publisher=
2019
-
[48]
2018 , organization=
5th International Conference on Electrical and Electronic Engineering (ICEEE) , pages=. 2018 , organization=
2018
-
[49]
2006 , publisher=
Schmidt, Douglas C , journal=. 2006 , publisher=
2006
-
[50]
2017 , organization=
Maier, Alexander and Sharp, Andrew and Vagapov, Yuriy , booktitle=. 2017 , organization=
2017
-
[51]
2019 , organization=
Karimpour, Noushin and Karaduman, Burak and Ural, Aybars and Challenger, Moharram and Dagdeviren, Orhan , booktitle=. 2019 , organization=
2019
-
[52]
2014 11th International Conference on Electronics, Computer and Computation (ICECCO) , pages=
Arduino as a learning tool , author=. 2014 11th International Conference on Electronics, Computer and Computation (ICECCO) , pages=. 2014 , organization=
2014
-
[53]
2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE) , pages=
Arduino as an educational tool to introduce robotics , author=. 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE) , pages=. 2018 , organization=
2018
-
[54]
A survey on industrial automation based on IoT with arduino microcontroller , author=. Int. J. Cont. Res. Comp. Sci. Technol.(IJCRCST) , volume=
-
[55]
2018 IEEE Canadian conference on electrical & computer engineering (CCECE) , pages=
Solar water pumping system control using a low cost ESP32 microcontroller , author=. 2018 IEEE Canadian conference on electrical & computer engineering (CCECE) , pages=. 2018 , organization=
2018
-
[56]
2017 IEEE electrical power and energy conference (EPEC) , pages=
Design and implementation of a low cost web server using ESP32 for real-time photovoltaic system monitoring , author=. 2017 IEEE electrical power and energy conference (EPEC) , pages=. 2017 , organization=
2017
-
[57]
IOP Conference Series: Materials Science and Engineering , volume=
IoT Based Underwater Robot for Water Quality Monitoring , author=. IOP Conference Series: Materials Science and Engineering , volume=. 2021 , organization=
2021
-
[58]
Karaduman, Burak and Challenger, Moharram and Eslampanah, Raheleh and Denil, Joachim and Vangheluwe, Hans , booktitle=
-
[59]
Dantas and T
P. Dantas and T. Rodrigues and T. Batista and F. C. Delicato and P. F. Pires and W. Li and A. Y. Zomaya , booktitle=. 2013 , volume=
2013
-
[60]
T. Rodrigues and P. Dantas and F. C. Delicato and P. F. Pires and L. Pirmez and T. Batista and C. Miceli and A. Zomaya , booktitle=. Model-Driven Development of Wireless Sensor Network Applications , year=. doi:10.1109/EUC.2011.50 , ISSN=
-
[61]
Software & Systems Modeling , volume=
Rodrigues, Taniro and Delicato, Fl. Software & Systems Modeling , volume=. 2017 , publisher=
2017
-
[62]
3rd International Workshop on Software Engineering for Sensor Network Applications , series =
Doddapaneni, Krishna and Ever, Enver and Gemikonakli, Orhan and Malavolta, Ivano and Mostarda, Leonardo and Muccini, Henry , title =. 3rd International Workshop on Software Engineering for Sensor Network Applications , series =. 2012 , isbn =
2012
-
[63]
2019 , organization=
Alulema, Darwin and Criado, Javier and Iribarne, Luis , booktitle=. 2019 , organization=
2019
-
[64]
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Chapter 10, , publisher =. 2021 , isbn =. doi:https://doi.org/10.1016/B978-0-12-819105-7.00015-5 , url =
-
[65]
Applied Sciences , volume=
Development of semantic web-enabled BDI multi-agent systems using SEA\_ML: An electronic bartering case study , author=. Applied Sciences , volume=. 2018 , publisher=
2018
-
[66]
Software: Practice and Experience , volume=
Model-based design of IoT systems with the BIP component framework , author=. Software: Practice and Experience , volume=. 2018 , publisher=
2018
-
[67]
International Journal of Cooperative Information Systems , volume=
Applying MDE to the development of flexible and reusable wireless sensor networks , author=. International Journal of Cooperative Information Systems , volume=. 2007 , publisher=
2007
-
[68]
Journal of Visual Languages & Computing , volume=
A visual language and interactive system for end-user development of internet of things ecosystems , author=. Journal of Visual Languages & Computing , volume=. 2017 , publisher=
2017
-
[69]
2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications , pages=
A study on MDE approaches for engineering wireless sensor networks , author=. 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications , pages=. 2014 , organization=
2014
-
[70]
Scientific Programming , volume=
A survey on visual programming languages in internet of things , author=. Scientific Programming , volume=. 2017 , publisher=
2017
-
[71]
Journal of Computer Languages , volume=
Visual programming environments for end-user development of intelligent and social robots, a systematic review , author=. Journal of Computer Languages , volume=. 2020 , publisher=
2020
-
[72]
2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT) , pages=
Applying model driven engineering techniques to the development of contiki-based IoT systems , author=. 2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT) , pages=. 2019 , organization=
2019
-
[73]
Electronic notes in theoretical computer science , volume=
A taxonomy of model transformation , author=. Electronic notes in theoretical computer science , volume=. 2006 , publisher=
2006
-
[74]
IT Professional , volume=
Cyber Physical Systems and IoT: Architectural Practices, Interoperability, and Transformation , author=. IT Professional , volume=. 2020 , publisher=
2020
-
[75]
Modelling Foundations and Applications - 14th European Conference, ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings , series =
Sadaf Mustafiz and Guillaume Dupont and Ferhat Khendek and Maria Toeroe , editor =. Modelling Foundations and Applications - 14th European Conference, ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings , series =. 2018 , timestamp =
2018
-
[76]
Software and Systems Modeling (SoSyM) , volume =
Sadaf Mustafiz and Omar Hassane and Guillaume Dupont and Ferhat Khendek and Maria Toeroe , title =. Software and Systems Modeling (SoSyM) , volume =. 2020 , timestamp =
2020
-
[77]
System Analysis and Modeling
Omar Hassane and Sadaf Mustafiz and Ferhat Khendek and Maria Toeroe , title =. System Analysis and Modeling. Languages, Methods, and Tools for AI-based Systems , month =. 2020 , publisher=
2020
-
[78]
Process Enactment with Traceability Support for NFV Systems
Hassane, Omar and Mustafiz, Sadaf and Khendek, Ferhat and Toeroe, Maria. Process Enactment with Traceability Support for NFV Systems. System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0. 2019
2019
-
[79]
O. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) , title=. 2019 , volume=. doi:10.1109/MODELS-C.2019.00118 , ISSN=
-
[80]
Proceedings of the 6th International Workshop on Multi-paradigm Modeling , pages=
The FTG+ PM framework for multi-paradigm modelling: An automotive case study , author=. Proceedings of the 6th International Workshop on Multi-paradigm Modeling , pages=
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.