Automated Analysis, Validation and Suboptimal Code Detection in Model Management Programs

Provided by: RWSoftware
Topic: Software
Format: PDF
As MDE is increasingly applied to larger and more complex systems, the models that MDE platforms need to manage can grow significantly in size. Additionally, model management programs that interact with such models become larger and more complicated, which introduces further challenges in ensuring their correctness and maintainability. This paper presents an automated static analysis and validation framework for languages of the Epsilon platform. By performing static analysis on model management programs written in the Epsilon languages, this framework aims to improve program correctness and development efficiency in MDE development processes.

Find By Topic