<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#ffffff">
On 13/04/2011 16:51, Michael Anstis wrote:
<blockquote
cite="mid:BANLkTikABqMF+s4e005MfEgeLr_XnaF9gw@mail.gmail.com"
type="cite">Verifier offers some of what you seek.<br>
<br>
In essence it decomposes "your" rules into Facts that are inserted
into a KnowledgeSession constructed with a set of analytical
rules.<br>
<br>
The analytical rules check for certain validation and verification
errors in your rules. I can't remember all that are provided by
default but IIRC redundancy and subsumption are offered.<br>
<br>
You can also extend the set of analytical rules that are used to
cover additional use cases not provided by default.<br>
</blockquote>
<a class="moz-txt-link-freetext" href="http://community.jboss.org/wiki/DroolsVerifier">http://community.jboss.org/wiki/DroolsVerifier</a><br>
<br>
Mark<br>
<blockquote
cite="mid:BANLkTikABqMF+s4e005MfEgeLr_XnaF9gw@mail.gmail.com"
type="cite"><br>
With kind regards,<br>
<br>
Mike <br>
<br>
<div class="gmail_quote">2011/4/13 Guy Moas <span dir="ltr"><<a
moz-do-not-send="true" href="mailto:GMoas@fis-software.com">GMoas@fis-software.com</a>></span><br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt
0.8ex; border-left: 1px solid rgb(204, 204, 204);
padding-left: 1ex;">
<div link="blue" vlink="purple" lang="EN-GB">
<div>
<p class="MsoNormal"> </p>
<p class="MsoNormal">Could you please help with the
following questions?, whether
Drools supporting it</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> </p>
<p><span style="font-family: Symbol;" lang="EN-US"><span>·<span
style="font: 7pt "Times New Roman";">
</span></span></span><span dir="LTR"></span><span
lang="EN-US">Rule
ambiguity - Checking if multiple rules are ambiguous </span></p>
<p><span style="font-family: Symbol;" lang="EN-US"><span>·<span
style="font: 7pt "Times New Roman";">
</span></span></span><span dir="LTR"></span><span
lang="EN-US">Rule
completeness - Checking if the set of rules cover all
the population</span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">Regards,<b><span style="color:
rgb(227, 108, 10);" lang="EN-US"></span></b></p>
<p class="MsoNormal"><b><span style="color: rgb(227, 108,
10);">Guy Moas</span></b> <i>–
<b><span style="color: gray;">Technical Project
Manager</span></b></i>
<b><img src="cid:part1.04090300.04050205@codehaus.org"
alt="cid:image001.jpg@01CB953C.44421930" width="125"
height="38"></b></p>
<p class="MsoNormal"><span style="font-size: 10pt; color:
rgb(127, 127, 127);">tel: +972 (73)
2608276 <b>|</b> mobile: +972 (52) 3624583 <b>|</b>
X-Lite: 8276<b> |</b> fax:
+972 (73) 2608205</span><span style="font-size: 10pt;
color: rgb(127, 127, 127);" lang="EN-US"></span></p>
<p class="MsoNormal"><u><span style="font-size: 10pt;
color: blue;" lang="EN-US"><a moz-do-not-send="true"
href="mailto:GMoas@fis-software.com"
target="_blank">GMoas@fis-software.com</a></span></u><span
style="font-size: 10pt;"> <b><span style="color:
rgb(127, 127, 127);"> |</span></b> </span><span
lang="EN-US"><a moz-do-not-send="true"
href="http://www.fis-software.com/" target="_blank"><span
style="font-size: 10pt; color: blue;">http://www.fis-software.com</span></a></span></p>
<p class="MsoNormal"> </p>
</div>
</div>
<br>
_______________________________________________<br>
rules-users mailing list<br>
<a moz-do-not-send="true"
href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a><br>
<a moz-do-not-send="true"
href="https://lists.jboss.org/mailman/listinfo/rules-users"
target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>
<br>
</blockquote>
</div>
<br>
<pre wrap="">
<fieldset class="mimeAttachmentHeader"></fieldset>
_______________________________________________
rules-users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a>
<a class="moz-txt-link-freetext" href="https://lists.jboss.org/mailman/listinfo/rules-users">https://lists.jboss.org/mailman/listinfo/rules-users</a>
</pre>
</blockquote>
<br>
</body>
</html>