The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models

This paper presents the first implementation of COMMA, a new solver independent language for modeling constraint- based problems. The combination of a constraint language with an object-oriented framework represents the base of the core of COMMA. Extension capabilities have also been included with the aim of tackling a wide range of applications from combinatorial to continuous problems. A COMMA compiler has been implemented through a three layered architecture including a dynamic parsing system for handling efficiently the mapping process. In particular, COMMA models can be translated to different solvers, currently to ECLiPSe and Gecode/J.

[1]  Tom Lenaerts,et al.  Transition models as an incremental approach for problem solving in evolutionary algorithms , 2005, GECCO '05.

[2]  Jan van Leeuwen,et al.  Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics , 1994 .

[3]  Jean-francois Puget,et al.  A C++ implementation of CLP , 1997 .

[4]  Jordan B. Pollack,et al.  Pareto Optimality in Coevolutionary Learning , 2001, ECAL.

[5]  J. Pollack,et al.  A computational model of symbiotic composition in evolutionary transitions. , 2003, Bio Systems.

[6]  Charles J. Petrie,et al.  Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation , 2004, DSOM.

[7]  Fernando José Von Zuben,et al.  Coevolutionary genetic fuzzy systems: a hierarchical collaborative approach , 2004, Fuzzy Sets Syst..

[8]  Kim Marriott,et al.  From Zinc to Design Model , 2007, PADL.

[9]  Alexander Brodsky,et al.  CoJava: Optimization Modeling by Nondeterministic Simulation , 2006, CP.

[10]  Alan Borning,et al.  The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory , 1981, TOPL.

[11]  Bharat Jayaraman,et al.  Constrained objects for modeling complex structures (extended abstract) , 2000, OOPSLA '00.

[12]  Jean-Pierre Jouannaud,et al.  Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[13]  R. Paul Wiegand,et al.  An empirical analysis of collaboration methods in cooperative coevolutionary algorithms , 2001 .

[14]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[15]  Risto Miikkulainen,et al.  Evolving Reusable Neural Modules , 2004, GECCO.

[16]  Panos E. Trahanias,et al.  Distributed brain modelling by means of hierarchical collaborative coevolution , 2005, 2005 IEEE Congress on Evolutionary Computation.

[17]  Pascal Van Hentenryck.  The OPL optimization programming language , 1999 .

[18]  Roland H. C. Yap,et al.  The CLP( R ) language and system , 1992, TOPL.

[19]  Peter Fritzson,et al.  Modelica - A Unified Object-Oriented Language for System Modelling and Simulation , 1998, ECOOP.

[20]  Gert Smolka,et al.  The Oz Programming Model , 1996, Computer Science Today.

[21]  Warwick Harvey,et al.  Essence: A constraint language for specifying combinatorial problems , 2007, Constraints.

[22]  J. Meeraus A. Bisschop,et al.  ON THE DEVELOPMENT OF A GENERAL ALGEBRAIC MODELING SYSTEM IN A STRATEGIC PLANNING ENVIRONMENT , 1982 .

[23]  Jean-François Puget,et al.  Constraint Programming Next Challenge: Simplicity of Use , 2004, CP.

[24]  Xiaodong Li,et al.  A Cooperative Coevolutionary Multiobjective Algorithm Using Non-dominated Sorting , 2004, GECCO.

[25]  Ian Gambini.  Quant aux carrés carrelés , 2001 .

[26]  Panos E. Trahanias,et al.  Modeling Overlapping Execution/Observation Brain Pathways , 2007, 2007 International Joint Conference on Neural Networks.

[27]  Massimo Paltrinieri.  On the Design of Constraint Satisfaction Problems , 1994, PPCP.

[28]  César Hervás-Martínez,et al.  Cooperative Coevolution of Generalized Multi-Layer Perceptrons , 2002, Neurocomputing.

[29]  Edwin D. de Jong,et al.  Representation Development from Pareto-Coevolution , 2003, GECCO.

[30]  Barry O'Sullivan,et al.  Trends in Constraint Programming , 2007 .

[31]  Kenneth A. De Jong,et al.  Cooperative Coevolution: An Architecture for Evolving Coadapted Subcomponents , 2000, Evolutionary Computation.

[32]  Pascal Van Hentenryck,et al.  Solving Large Combinatorial Problems in Logic Programming , 1990, J. Log. Program..

[33]  Boi Faltings,et al.  Solving Mixed and Conditional Constraint Satisfaction Problems , 2003, Constraints.

[34]  Panos E. Trahanias,et al.  Modelling brain emergent behaviours through coevolution of neural agents , 2006, Neural Networks.

[35]  Risto Miikkulainen,et al.  Solving Non-Markovian Control Tasks with Neuro-Evolution , 1999, IJCAI.

[36]  Bjørn N. Freeman-Benson,et al.  Integrating Constraints with an Object-Oriented Language , 1992, ECOOP.

[37]  Risto Miikkulainen,et al.  Robust non-linear control through neuroevolution , 2003 .