# 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:

- the Model-Driven Engineering (MDE) community,
- the logic programming community, and
- the optimization community,

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):

- Modeling and generation of constraint problems,
- Interoperability between constraint technical spaces,
- Constraint metamodels,
- Constraint Independent Model-Platform Independent Model-Platform Specific Model for Constraint Logic Programming,
- Domain Specific Languages for Constraint Logic Programming,
- Semantics of Business Vocabularies & Business Rules (SBVR),
- Business Process Modeling Notation(BPMN),
- MDE in satisfaction and planning problems,
- Model Checking,
- Model Optimization,
- Using Constraint Programming or Operational Research to compute Software Product Line solutions,
- Using MDE to represent Software Product Line problems and solutions,
- Comparing combination of MDE and Constraint Programming/Operational Research for Software Product Line.
- Combining Modeling and Search-Based Software Engineering
- Generic representations of models amenable to search
- Generic implementations of search-based algorithms applicable to models
- Novel reformulations of modeling problems as search problems
- Case studies/Experiments in combining modeling, logic programming and search

## 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.