MELO 2016 - International Workshop on Model-Driven Engineering, Logic and Optimization

The widespread application of MDE in all kinds of domains has triggered the need of new techniques to solve optimization, visualization, verification, or configuration problems at the model level. Instead of reinventing the wheel, most of these problems could be solved by re-expressing the modeling problem as a logic programming problem, an optimization or a search problem. For instance, 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 to raise the abstraction level at which the problem is described, improve the separation of concerns by using different model-based views at different levels of detail, achieve tool independence, and increase reusability. As well, optimization techniques can benefit from closer connections to MDE principles, e.g., to help develop generic solutions to optimization problems The main goal of this workshop is to bring together three different communities: the MDE community, the logic programming community, and the optimization community, to explore how each community can benefit from the techniques of the other.
Organizers:
Jordi Cabot (Open University of Catalonia, Spain)
Richard Paige (University of York, England)
Alfonso Pierantonio (University of L’Aquila, Italy)