Automated analysis, validation and suboptimal code detection in model management programs

Research output: Contribution to journalConference articlepeer-review


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 languageEnglish
Pages (from-to)48-57
Number of pages10
JournalCEUR Workshop Proceedings
Publication statusPublished - 2014
Event2nd 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 201424 Jul 2014

Cite this