Developer Tools

ProMoTA: a model-driven framework for end-to-end traceability analysis

New Eclipse-based framework automates traceability from design to code generation.

Deep Dive

A team of researchers from the University of Antwerp and other institutions have introduced ProMoTA, a model-driven framework designed to bring end-to-end traceability to software engineering workflows based on Model-Driven Engineering (MDE). The framework tackles a persistent challenge: tracking how high-level models evolve into platform-specific models and ultimately into generated code. ProMoTA represents MDE workflows as process models spanning platform-independent, platform-specific, and code generation phases. Process execution is automated using megamodels and model transformation chains, which generate comprehensive traceability information. This enables global model traceability—from initial input models down to the final generated code—forming a solid foundation for traceability analysis that was previously difficult to achieve in complex MDE pipelines.

The framework is implemented as an Eclipse-based tool, extending the Acceleo model transformation language with local traceability support. Beyond that, ProMoTA includes a global traceability map generator and dedicated end-to-end traceability analysis modules. These components give users a holistic view of the entire transformation process, making it easier to identify errors, track dependencies, and verify that generated code faithfully reflects the original models. The researchers demonstrated ProMoTA on a Wireless Sensor Network-based IoT application, validating its ability to handle real-world complexity. For software engineering teams using MDE, ProMoTA promises to reduce debugging time and improve compliance by making every transformation step auditable.

Key Points
  • Integrates end-to-end traceability with process modelling for MDE workflows spanning platform-independent to code generation.
  • Uses megamodels and model transformation chains to automate global traceability generation.
  • Eclipse-based framework extends Acceleo, includes global traceability map generator and analysis modules.

Why It Matters

Automated traceability from models to code improves software engineering efficiency and error detection.