Workshop on Model-Driven Engineering, Logic and Optimization

Co-located with STAF 2016: Software Technologies: Applications and Foundations

Monday July 4, 2016 in Vienna, Austria

The main goal of this workshop is to bring together three different communities:

to explore how each community can benefit from the techniques of the other. The workshop will develop bridges and synergies between these communities, and will provide a forum for researchers to discuss new or ongoing projects, and develop new collaborations. The widespread application of MDE in all kinds of domains (e.g. critical systems, software product lines, embedded systems, etc.) has triggered the need of new techniques to solve optimization, visualization, verification, configuration, etc problems at the model level. Instead of reinventing the wheel, most of these problems could be solved by reexpressing the modeling problem as a logic programming problem or as an optimization or search problem. As an example, verification (satisfiability) of large static models can be addressed by re-expressing the model as a constraint satisfaction problem to be solved by state-of-the-art constraint solvers.

Similarly, logic programming can benefit from the integration of MDE principles. As in any other domain, introduction of MDE would help to raise the abstraction level at which the problem is described (e.g. by providing domain-specific languages that allow non-technical users to specify the problem using a vocabulary closer to the domain), improve the separation of concerns by using different model-based views of the problem at different levels of detail, achieve tool independence (e.g. by following a typical Platform Independent Model - Platform Specific Model separation where, for instance, at the Platform Independent Model level we could define tool-independent logic programming metamodels), increase reusability. As well, optimization techniques can benefit from closer connections to MDE principles, e.g., to help develop generic solutions to optimization problems (e.g., standardized representations of optimization problems, benchmarks). We believe the workshop will attract researchers and practitioners in all the above areas. The workshop will focus on presentation of ongoing work at the intersection of at least two of the areas noted above (e.g., MDE + logic programming, MDE + optimization). The workshop will accept work in progress, preliminary experimental results, position papers and challenge problems (precisely and concisely stated – these may in turn lead to the development of benchmarks).

Topics

Topics of interest include (but are not limited to):

Intended audience

Researchers and practitioners working in MDE, optimization or logic programming with an interest in synergies between techniques, who value a forum to present work in progress and preliminary results.