posted by user: scottukjinlee || 2859 views || tracked by 5 users: [display]

MELO 2011 : The 1st International Workshop on Model-Driven Engineering, Logic and Optimization: friends or foes?

FacebookTwitterLinkedInGoogle

Link: http://www.emn.fr/z-info/idmpp/index.php/MELO_2011_-_Model-Driven_Engineering,_Logic_and_Optimization:_friends_or_foes%3F
 
When Jun 6, 2011 - Jun 6, 2011
Where Birmingham, UK
Submission Deadline Apr 6, 2011
Notification Due May 4, 2011
Final Version Due May 31, 2011
Categories    model-driven engineering (mde)   logic programming   optimization
 

Call For Papers

========================================================================

MELO 2011: The First International Workshop on Model-Driven Engineering,
Logic and Optimization: friends or foes?

In conjunction with the seventh European Conference on Modeling
Foundations and Applications (ECMFA 2011 - http://www.ecmfa-2011.org/)

June 6, 2011
University of Birmingham, Birmingham, UK
http://www.emn.fr/z-info/idmpp/index.php/MELO_2011_-_Model-Driven_Engineering,_Logic_and_Optimization:_friends_or_foes%3F

------------------------------------------------------------------------
*CALL FOR PAPERS*
Paper submission: April 6th, 2011
========================================================================


-------
Goals
-------
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).

The widesepread application of MDE in all kinds of domains (e.g.
critical sytems, software product lines, embedded systems...) has
triggered the need of new techniques to solve optimization,
visualization, verification, configuration, ... problems at the model
level. Instead of reinventing the wheel, most of these problemes could
be solved by reexpressing the modeling problem as a logic programming
problem. As an example, verification (satisfiability) of large static
models can be addressed by reexpressing 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, ... We believe the workshop will attract
researchers and practitioners in all the above areas.


------------------
Topics of interest
------------------
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


--------------------
Submission Guideline
--------------------
Technical papers describing original solutions, empirical evaluation
papers and experience/industrial papers presenting problems or
challenges encountered in practice are welcome.

There are three types of papers:
- Position papers (5 pages)
- Short papers (up to 8 pages)
- Full papers (up to 16 pages)

Submissions must be provided as A4 size PDF files compliant with the
LNCS paper style and can be submitted via EasyChair.
https://www.easychair.org/account/signin.cgi?conf=melo2011

The guidelines and templates for LNCS paper style available at:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0


The program committee will review the submissions (minimum 2 reviews
per paper) and select papers according to their relevance and interest
for discussions that will take place at the workshop.

Accepted papers will be first published online in the workshop web page.
It is planned that the final versions of accepted papers will be
published as online proceedings on the CEUR Workshop Proceedings
publication service.


---------------
Important Dates
---------------
Paper submission: Wednesday, April 6, 2011
Author notification: Wednesday, May 4, 2011
Camera-ready version submission: Tuesday, May 31, 2011
MELO2011 workshop: Monday, June 6, 2011


------------
Organization
------------
MELO2011 Organizing Committee:
- Jordi Cabot, AtlanMod (INRIA & Ecole des Mines de Nantes), France
- Patrick Albert, Ilog Research Project, IBM, France
- Gabriel Barbier, Mia-software, France
- Marcos Didonet Del Fabro, Universidade Federal do Paran´a, Brazil
- Scott Uk-Jin Lee, CEA-List, France

MELO2011 Program Committee:
- Sophie Demassey, Ecole des Mines de Nantes, France.
- Jules White, Virginia Tech, USA.
- Robert Clarisó, Open University of Catalonia, Spain.
- Sebastien Gerard, CEA-List, France
- Alfonso Pierantonio, University of L'Aquila, Italy.
- Daniel Varró, Budapest University of Technology and Economics, Hungary.
- Raphael Chenouard, Ecole Centrale de Nantes, France.
- François Fage, INRIA, France.


-------
Contact
-------
Conference Website: http://www.emn.fr/z-info/idmpp/index.php/MELO_2011_-_Model-Driven_Engineering,_Logic_and_Optimization:_friends_or_foes%3F

For any inquiries please contact the local organizer at:
scott.lee@cea.fr

Related Resources

MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
COCOA 2018   The 12th Annual International Conference on Combinatorial Optimization and Applications
MoDRE 2018   8th Int. Workshop on Model-Driven Requirements Engineering (MoDRE)
BOCIA-CI-SI 2018   Special Issue on Benchmarking of Computational Intelligence Algorithms in Computational Intelligence
MDASD 2018   5th Workshop on Model Driven Approaches in System Development
PPDP 2018   20th International Symposium on Principles and Practice of Declarative Programming
ModComp 2018   5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2018
ORESM 2018   Special Session on: Optimization Methods applied to Renewable energy systems & smart grids in ECRES2018
IEEE TETCI 2018   IEEE Transactions on Emerging Topics in Computational Intelligence Special Issue on Computational Intelligence in Data-Driven Optimization
CLOUD 2018   The 2018 International Conference on Cloud Computing