MELO 2011 - Model-Driven Engineering, Logic and Optimization: friends or foes?
From IDMPP
(Difference between revisions)
(→Accepted publications) |
|||
| Line 27: | Line 27: | ||
We are happy to announce that the following publications will be presented during the first MELO workshop: | 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, | |
Revision as of 11:46, 26 May 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).
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,
