MELO 2011 - Model-Driven Engineering, Logic and Optimization: friends or foes?
From IDMPP
(Difference between revisions)
| (6 intermediate revisions not shown) | |||
| Line 1: | Line 1: | ||
| - | June, 2011 - University of Birmingham, Birmingham, UK | + | 6th of June, 2011 - University of Birmingham, Birmingham, UK |
| Line 9: | Line 9: | ||
to explore how each community can benefit from the techniques of the other. We refer to the logic programming community in a broad sense (i.e. including Constraint Logic Programming, Answer-Set Programming but also ontology and semantic web aspects). | to explore how each community can benefit from the techniques of the other. We refer to the logic programming community in a broad sense (i.e. including Constraint Logic Programming, Answer-Set Programming but also ontology and semantic web aspects). | ||
| + | |||
| + | '''[http://modeling-languages.com/summary-melo-2011-workshop-bringing-mde-and-logic-programming-together/ A summary of the workshop presentations is available here.]''' | ||
| + | |||
| + | |||
| + | :[[Image:evolution-calendar.png|48px|middle]] [[MELO2011:Program|Program]] | ||
:[[Image:audio-volume-high.png|48px|middle]] [[MELO2011:CFP|Call For Papers]] | :[[Image:audio-volume-high.png|48px|middle]] [[MELO2011:CFP|Call For Papers]] | ||
| Line 19: | Line 24: | ||
:[[Image:Stock_people.png|48px|middle]] [[MELO2011:Committees|Committees]] | :[[Image:Stock_people.png|48px|middle]] [[MELO2011:Committees|Committees]] | ||
| + | |||
| + | |||
| + | == Accepted publications == | ||
| + | |||
| + | We are happy to announce that the following publications will be presented during the first MELO workshop: | ||
| + | |||
| + | * '''[http://docatlanmod.emn.fr/MELO%202011/ODMBasedUMLMondeTransformationsUsingProlog.pdf ODM-based UML Model Transformations using Prolog]''', by Jesus M. Almendros-Jimenez and Luis Iribarne, | ||
| + | * '''[http://docatlanmod.emn.fr/MELO%202011/MDEForConstraintsDatabaseQueryEvaluation.pdf Model-Driven Engineering for Constraint Database Query Evaluation]''', by María Teresa Gómez-López, Antonia Reina-Quintero and Rafael M. Gasca, | ||
| + | * '''[http://docatlanmod.emn.fr/MELO%202011/VIDEASSupportingAnswerSetProgramDevelopmentUsingMDE.pdf VIDEAS: Supporting Answer-Set Program Development using Model-Driven Engineering Techniques]''', by Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits and Patrick Zwickl. | ||
| + | * '''[http://docatlanmod.emn.fr/MELO%202011/ModelTransformationbyRefinementinConstructiveLogic.pdf Model Transformation by Refinement in Constructive Logic]''', by Simon Foster, Georg Struth, Ondrej Rypacek and Anthony Simons, | ||
| + | * '''[http://docatlanmod.emn.fr/MELO%202011/LogicalConstraintsForManagingNonDeterminismInBidiricetionnalTransformations.pdf Logical constraints for managing non-determinism in bidirectional model transformations]''', by Antonio Cicchetti, Davide Di Ruscio, Romina Eramo and Alfonso Pierantonio, | ||
Current revision as of 15:25, 16 June 2011
6th of June, 2011 - University of Birmingham, Birmingham, UK
In conjunction with the seventh European Conference on Modeling Foundations and Applications ECMFA 2011.
The main goal of this workshop is to bring together two different communities: the
Model-Driven Engineering (MDE) community and the logic programming community,
to explore how each community can benefit from the techniques of the other. We refer to the logic programming community in a broad sense (i.e. including Constraint Logic Programming, Answer-Set Programming but also ontology and semantic web aspects).
A summary of the workshop presentations is available here.
Accepted publications
We are happy to announce that the following publications will be presented during the first MELO workshop:
- ODM-based UML Model Transformations using Prolog, by Jesus M. Almendros-Jimenez and Luis Iribarne,
- Model-Driven Engineering for Constraint Database Query Evaluation, by María Teresa Gómez-López, Antonia Reina-Quintero and Rafael M. Gasca,
- VIDEAS: Supporting Answer-Set Program Development using Model-Driven Engineering Techniques, by Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits and Patrick Zwickl.
- Model Transformation by Refinement in Constructive Logic, by Simon Foster, Georg Struth, Ondrej Rypacek and Anthony Simons,
- Logical constraints for managing non-determinism in bidirectional model transformations, by Antonio Cicchetti, Davide Di Ruscio, Romina Eramo and Alfonso Pierantonio,
