Model querying is an integral part of Model-Driven Engineering. Developers query models when specifying model transformations, when defining model constraints, or simply when they need to extract some information from the model. Model queries are often specified in a general programming language, with developers just navigating models through their programming interfaces. OCL is the best known model query language, and while successful, it is difficult to express complex structural properties featured in target model elements. In this paper we describe a model query facility that aims at easing the description of structural features in a query. In our approach, developers model their queries by reusing fragments of the target model to specify the invariant parts of the template, augmented with variables and special relations to specify what can vary. The query itself conforms to a meta-model that extends the meta-model under-query. By reusing the queried meta-model developers can maintain reduce the mental overhead that comes from using a different language to specify the queries. We have developed a proof of concept tool for the Eclipse Modeling Framework (EMF) that (1) generates a query meta-model from a target meta-model, (2) allows the construction of queries using a graphical, graph-based editor and (3) executes the queries by translating them to a set of logic predicates that are then evaluated using an extension of the logic-based query language Ekeko.
Tue 27 OctDisplayed time zone: Eastern Time (US & Canada) change
15:30 - 17:30 | |||
15:30 30mTalk | Modular Interpreters for the Masses: Implicit Context Propagation Using Object Algebras GPCE | ||
16:00 30mTalk | Addressing Metamodel Revisions in Model-based Software Product Lines GPCE Jaime Font San Jorge University, Lorena Arcega San Jorge University, Øystein Haugen Østfold University College, Carlos Cetina San Jorge University | ||
16:30 30mTalk | Generative Software Product Line Development using Variability-Aware Design Patterns GPCE Christoph Seidl Technische Universität Braunschweig, Sven Schuster Technische Universität Braunschweig, Ina Schaefer | ||
17:00 20mTalk | Model Querying with Query Models GPCE | ||
17:20 10mDay closing | GPCE'15 Closing and GPCE'16 Announcement GPCE |