Verifier offers some of what you seek.
In essence it decomposes "your" rules into Facts that are inserted into a
KnowledgeSession constructed with a set of analytical rules.
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.
You can also extend the set of analytical rules that are used to cover
additional use cases not provided by default.
With kind regards,
Mike
2011/4/13 Guy Moas <GMoas(a)fis-software.com>
Could you please help with the following questions?, whether Drools
supporting it
· Rule ambiguity - Checking if multiple rules are ambiguous
· Rule completeness - Checking if the set of rules cover all the
population
Regards,**
*Guy Moas* *– Technical Project Manager* *[image:
cid:image001.jpg@01CB953C.44421930]*
tel: +972 (73) 2608276 *|* mobile: +972 (52) 3624583 *|* X-Lite: 8276* |*fax: +972 (73)
2608205
*GMoas(a)fis-software.com* * |*
http://www.fis-software.com
_______________________________________________
rules-users mailing list
rules-users(a)lists.jboss.org
https://lists.jboss.org/mailman/listinfo/rules-users