inria-00443635, version 1
Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning
Pierre Deransart
1Rafael Oliveira a, 2
N° RR-7165 (2009)
Abstract: In this report, we show how to use the Simple Fluent Calculus (SFC) to specify generic tracers, i.e. tracers which produce a generic trace. A generic trace is a trace which can be produced by different implementations of a software component and used independently from the traced component. This approach is used to define a method for extending a java based CHRor platform called CHROME (Constraint Handling Rule Online Model-driven Engine) with an extensible generic tracer. The method includes a tracer specification in SFC, a methodology to extend it, and the way to integrate it with CHROME, resulting in the platform CHROME-REF (for Reasoning Explanation Facilities), which is a constraint solving and rule based reasoning engine with explanatory traces.
- a – Universidade Federal de Pernambuco
- 1: CONTRAINTES (INRIA Rocquencourt)
- INRIA
- 2: Centro de Informática (CIN)
- Universidade Federal de Pernambuco
- Collaboration : INRIA-FACEPE (Brésil)
- Domain : Computer Science/Programming Languages
- Keywords : Trace – CHR – CHRor – CHROME – CHROME-REF – Tracer – Meta-Theory – Model Driven Engineering – Tracer Driver – Analysis Tool – Program Analysis – Observational Semantics – Software Component – Debugging – Programming Environment – Logic Programming – Validation
- Internal note : RR-7165
- inria-00443635, version 1
- http://hal.inria.fr/inria-00443635
- oai:hal.inria.fr:inria-00443635
- From: Pierre Deransart
- Submitted on: Tuesday, 12 January 2010 17:43:03
- Updated on: Wednesday, 13 January 2010 15:55:14
Associated documents
Export