Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based ReasoningReport as inadecuate




Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning - Download this document for free, or read online. Document in PDF available to download.

1 CONTRAINTES - Constraint programming Inria Paris-Rocquencourt 2 CIn - Centro de Informatica UFPE Recife

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.

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





Author: Pierre Deransart - Rafael Oliveira -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents