Abstract
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. In addition, by applying analysis on model management programs, sub-optimal performance patterns can be detected early in the development process and feedback can be provided to the developers to enable efficient management of large models.
| Original language | English |
|---|---|
| Pages (from-to) | 48-57 |
| Number of pages | 10 |
| Journal | CEUR Workshop Proceedings |
| Volume | 1206 |
| Publication status | Published - 2014 |
| Event | 2nd Workshop on Scalability in Model Driven Engineering, BigMDE 2014, co-located with the Software Technologies: Applications and Foundations Conference, STAF 2014 - York, United Kingdom Duration: 24 Jul 2014 → 24 Jul 2014 |