Towards a Generic Trace for Rule Based Constraint Reasoning

Armando Gonçalves Da Silva Junior; Pierre Deransart; Luis-Carlos Menezes; Marcos-Aurélio Almeida Da Silva; Jacques Robin

hal-00690604, version 1

Towards a Generic Trace for Rule Based Constraint Reasoning

Armando Gonçalves Da Silva Junior ¹, Pierre Deransart (, ) ², Luis-Carlos Menezes ()^a^, 1, Marcos-Aurélio Almeida Da Silva ()^b^, 3, Jacques Robin () ⁴

N° RR-7939 (2012)

Abstract: CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers is in their testing and debugging phases. Current CHR implementations support those phases by offering tracing facilities with limited information. In this report, we propose a new trace for CHR which contains enough information to analyze any aspects of \CHRv\ execution at some useful abstract level, common to several implementations. %a large family of rule based solvers. This approach is based on the idea of generic trace. Such a trace is formally defined as an extension of the $\omega_r^\lor$ semantics of CHR. We show that it can be derived form the SWI Prolog CHR trace.

a – Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (Cinvestav)
b – Université Pierre et Marie Curie - Paris 6
1: Centro de Informatica UFPE (CIn)
Universidade Federal de Pernambuco
2: CONTRAINTES (INRIA Rocquencourt)
INRIA
3: Laboratoire de Physique de la Matière Condensée (LPMC)
CNRS : UMR7602 – Université Pierre et Marie Curie [UPMC] - Paris VI
4: Thales Research and Technology [Palaiseau] (TRT)
THALES

hal-00690604, version 1
http://hal.inria.fr/hal-00690604
oai:hal.inria.fr:hal-00690604
From: Pierre Deransart <>
Submitted on: Tuesday, 24 April 2012 01:09:55
Updated on: Tuesday, 24 April 2012 08:57:17

See detailed view

Associated documents

PDF :

PS :

arXiv: 1204.5280

Export

Bibtex EndNote TEI RefWorks

%F hal-00690604, version 1
%0 Report
%U http://hal.inria.fr/hal-00690604
%2 INFO:INFO_PL
%T Towards a Generic Trace for Rule Based Constraint Reasoning
%A Gonçalves Da Silva Junior, Armando
%A Deransart, Pierre
%A Menezes, Luis-Carlos
%A Almeida Da Silva, Marcos-Aurélio
%A Robin, Jacques
%+ Centro de Informatica UFPE - CIn , CONTRAINTES - INRIA Rocquencourt , Laboratoire de Physique de la Matière Condensée - LPMC , Thales Research and Technology [Palaiseau] - TRT
%X CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers is in their testing and debugging phases. Current CHR implementations support those phases by offering tracing facilities with limited information. In this report, we propose a new trace for CHR which contains enough information to analyze any aspects of \CHRv\ execution at some useful abstract level, common to several implementations. %a large family of rule based solvers. This approach is based on the idea of generic trace. Such a trace is formally defined as an extension of the $\omega_r^\lor$ semantics of CHR. We show that it can be derived form the SWI Prolog CHR trace.
%2 CHR (Constraint Handling Rules) est un langage de programmation adaptable qui permet de spécifier trés déclarativement des solveurs de contraintes. Un aspect important de leur mise au point concerne leur débogage. Les implantations actuelles de CHR offrent des possiblilités de traces avec relativement peu d'information. Dans ce rapport, nous proposons une nouvelle trace CHR qui contient suffisamment d'information pour analyser potentiellement tous les détails d'exécution de \CHRv, correspondant á un niveau d'analyse abstrait et utile, commun á différentes implémentations. Cette approche est fondée sur l'idée de trace générique. Une telle trace est définie comme une extension de la sémantique $\omega_r^\lor$ de CHR. On montre qu'elle peut être dérivée de la trace CHR de SWI Prolog
%2 D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications
%G English
%2 Research Report
%P 42
%8 2012-04-23
%K Trace, CHR, CHR$^\vee$, Tracer, Generic Trace, Analysis Tool, Observational Semantics, Debugging, Programming Environment, Constraint Programming, Validation
%Z RR-7939
%Z STIC-AmSud

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="report"><head>Research reports</head>
<biblStruct type="report" xml:id="hal-00690604"><monogr>
<author><persName><forename>Armando</forename><surname>Gonçalves Da Silva Junior</surname></persName>
<affiliation>
<orgName type="laboratory">CIn</orgName>
<orgName type="team">Centro de Informatica UFPE</orgName>
<country>BR</country>
<orgName type="institution">Universidade Federal de Pernambuco</orgName>
</affiliation>
</author>
<author><persName><forename>Pierre</forename><surname>Deransart</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Rocquencourt</orgName>
<orgName type="team">CONTRAINTES</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
</affiliation>
</author>
<author><persName><forename>Luis-Carlos</forename><surname>Menezes</surname></persName>
<affiliation>
<orgName type="laboratory">CIn</orgName>
<orgName type="team">Centro de Informatica UFPE</orgName>
<country>BR</country>
<orgName type="institution">Universidade Federal de Pernambuco</orgName>
</affiliation>
</author>
<author><persName><forename>Marcos-Aurélio</forename><surname>Almeida Da Silva</surname></persName>
<affiliation>
<orgName type="laboratory">LPMC</orgName>
<orgName type="team">Laboratoire de Physique de la Matière Condensée</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR7602</orgName>
<orgName type="institution">Université Pierre et Marie Curie [UPMC] - Paris VI</orgName>
</affiliation>
</author>
<author><persName><forename>Jacques</forename><surname>Robin</surname></persName>
<affiliation>
<orgName type="laboratory">TRT</orgName>
<orgName type="team">Thales Research and Technology [Palaiseau]</orgName>
<country>FR</country>
<orgName type="institution">THALES</orgName>
</affiliation>
</author>
<title type="main" level="m">Towards a Generic Trace for Rule Based Constraint Reasoning</title><title type="main" level="m">Towards a Generic Trace for Rule Based Constraint Reasoning</title><imprint><biblScope type="publicationDate">2012-04-23</biblScope><biblScope type="pp">42</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/hal-00690604</idno><idno type="HALFile">http://hal.inria.fr/hal-00690604/PDF/RR-7939.pdf</idno></biblStruct>
</listBibl>
</listBibl>