Incremental Queries and Transformations: From Concepts to Industrial Applications

TitleIncremental Queries and Transformations: From Concepts to Industrial Applications
Publication TypeConference Paper
Year of Publication2016
AuthorsVarró, D.
EditorFreivalds, R M., Engels, G., and Catania, B.
Conference NameSOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
Conference LocationHarrachov, Czech Republic

Model-driven engineering (MDE) is widely used nowadays in the design of embedded systems, especially in the automotive, avionics or telecommunication domain. Behind the scenes, design and verification tools in these domains frequently exploit advanced model query and transformation techniques to support various rich tool features. The rapid increase in the size and complexity of system models has drawn significant attention to incremental model query and transformation approaches, which enable fast and incremental reactions to model changes caused by systems engineers or automated design steps. In this paper, I overview two open source Eclipse projects,EMF-IncQuery and Viatra, which have been actively used as a basis for developing various academic and industrial tools for critical systems.