C4RBCP

Project C4RBCP, with Jacques Robin from the UFPE,
in the framework of the bilateral cooperation with Brazil (funded under the FACEPE/INRIA agreement).
In this project, we investigate of the synergy between two hitherto unrelated areas of computer science: Rule-Based Constraint Programming (RBCP) and Component-Based Software Engineering (CBSE). These two areas bring complementary principles to the general issue of software reuse for Automated Reasoning (AR). We investigate how these CBSE concepts can be adapted to the RBPC language CHR_v (Constraint Handling Rules with Disjunctive bodies, a simple yet powerful extension of CHR) and implemented in the adaptive CHR_v engine CHROME (CHR Online Model-driven Engine) currently under development at CIn-UFPE.
The project is driven by complementary skills of both teams: CBSE at UFPe and Constraint Logic Programming, CHR and Trace development methodology at INRIA.

 Internship stage proposal (year 2009)

Topic