W3C home > Mailing lists > Public > public-rule-workshop-discuss@w3.org > July 2005

Re: constraints use cases/stories? [was: a first tilt at the strawman]

From: Anthony Finkelstein <anthony@systemwire.com>
Date: Fri, 8 Jul 2005 18:45:33 +0100
Message-Id: <p06210260bef46b38c721@[]>
To: Sandro Hawke <sandro@w3.org>
Cc: Dan Connolly <connolly@w3.org>, public-rule-workshop-discuss@w3.org

I am interested primarily in constraint checking (with diagnosis) but 
there are obviously cases in which you want to automatically repair 
constraints which break (which may require constraint solving). 
Constraint repair is difficult in a distributed, federated ownership 


>Thanks for the examples.  Just to double check, what is the user
>functionality here?  Are we talking about constraint enforcement
>(validation) or constraint solving (as in CHR [1])?  It sounds like
>just popping up an error window is fine, and one can just use rules
>like: "if not condition then error", perhaps packaged more succinctly
>as a list of named conditions.  Is that right?
>      -- sandro
>[1] http://www.cs.kuleuven.ac.be/~dtai/projects/CHR/


Anthony Finkelstein
Director of Strategy

TEL: +44 (0)20 7679 7293 (Direct Dial)
MOB: +44 (0)7771 813981
EMAIL: anthony@systemwire.com
WEB: http://www.systemwire.com

Received on Friday, 8 July 2005 17:45:43 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:48:33 UTC