The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The model transformation language of the VIATRA2 framework
Science of Computer Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Incremental pattern matching in the viatra model transformation system
Proceedings of the third international workshop on Graph and model transformations
Precise Semantics of EMF Model Transformations by Graph Transformation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Efficient Model Transformations by Combining Pattern Matching Strategies
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Incremental integrity checking of UML/OCL conceptual schemas
Journal of Systems and Software
Towards incremental execution of ATL transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Incremental model transformation for the evolution of model-driven systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Incremental consistency checking of dynamic constraints
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
A graph query language for EMF models
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Taming the confusion of languages
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Incremental evaluation of model queries over EMF models: a tutorial on EMF-IncQuery
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Orchestrating security and system engineering for evolving systems
ServiceWave'11 Proceedings of the 4th European conference on Towards a service-based internet
SeCMER: a tool to gain control of security requirements evolution
ServiceWave'11 Proceedings of the 4th European conference on Towards a service-based internet
Implementing efficient model validation in EMF tools
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Derived features for EMF by integrating advanced model queries
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Integrating efficient model queries in state-of-the-art EMF tools
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Object constraint language (OCL): a definitive guide
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Lessons learned from building model-driven development tools
Software and Systems Modeling (SoSyM)
Query-driven soft interconnection of EMF models
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Incremental consistency checking for complex design rules and larger model changes
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Incremental pattern matching for the efficient computation of transitive closure
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
A research roadmap towards achieving scalability in model driven engineering
Proceedings of the Workshop on Scalability in Model Driven Engineering
IncQuery-D: incremental graph search in the cloud
Proceedings of the Workshop on Scalability in Model Driven Engineering
| Hi-index | 0.00 |
Model-driven development tools built on industry standard platforms, such as the Eclipse Modeling Framework (EMF), heavily utilize model queries in model transformation, well-formedness constraint validation and domain-specific model execution. As these queries are executed rather frequently in interactive modeling applications, they have a significant impact on runtime performance and end user experience. However, due to their complexity, these queries can be time consuming to implement and optimize on a case-by-case basis. Consequently, there is a need for a model query framework that combines an easy-touse and concise declarative query formalism with high runtime performance. In this paper, we propose a declarative EMF model query framework using the graph pattern formalism as the query specification language. These graph patterns describe the arrangement and properties of model elements that correspond to, e.g. a well-formedness constraint, or an application context of a model transformation rule. For improved runtime performance, we employ incremental pattern matching techniques: matches of patterns are stored and incrementally maintained upon model manipulation. As a result, query operations can be executed instantly, independently of the complexity of the constraint and the size of the model. We demonstrate our approach in an industrial (AUTOSAR) model validation context and compare it against other solutions.