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

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 
setting.

Anthony

>
>
>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
Systemwire
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