Example-driven Development Environment for Model Queries

OData support
Supervisor:
Dr. Bergmann Gábor
Department of Measurement and Information Systems

The model-based software design approach forces the usage of various system models during the development lifecycle. The creation of these models, and after that, their processing is extremely important - for these tasks, extensive language and device support is necessary.

The technology of model queries could be a great assistance for the model-driven development tools, for example validating the constraints of a modeling language, performing model transformations, etc. These queries might be implemented via the programming way, but it could be more expressive, if we define a query like this with a special, declarative language, and is automatically evaluated based on it.

The EMF-IncQuery tool, which was developed in the Department of Measurement and Information Systems, allows model queries over the Eclipse Modeling Framework instance models. An own, declarative language is provided to draw up the queries, by the formalism of graph patterns. The disadvantage of an own, declarative language is that even for the simpler patterns' definition, special skills are required, furthermore the knowledge of the given model's abstract representation is also required for wording various constraints, and it is not necessarily provided in every single case.

For this model-query system, an effective extension could be a tool, that is able to produce a graph pattern by an example, which consists of the selected elements by the user on an instance model. The output graph pattern will identify all of model elements, that have a similar layout. The method automatically explore the given instance model, allows the user to perform omnifarious fine tuning settings, finally generates a runnable query that will match the example. It would be ideal to have a user interface for the extension, that could be used together with IncQuery's views within a compact development environment.

The EMF-IncQuery user interface supports several EMF-based concrete syntax editor, so it will be important to make the example-based development environment to cooperate with most of these environments.

Downloads

Please sign in to download the files of this thesis.