Data processing: artificial intelligence – Knowledge processing system – Knowledge representation and reasoning technique
Reexamination Certificate
2004-06-04
2008-09-23
Holmes, Michael B (Department: 2129)
Data processing: artificial intelligence
Knowledge processing system
Knowledge representation and reasoning technique
Reexamination Certificate
active
07428519
ABSTRACT:
In one aspect, the invention relates to a method to propagate relations between a first rule set and a second rule set wherein the first and second rule sets are invoked by a common workflow model. The method includes tracing paths forward through the workflow model from the first rule set to the second rule set. Enumerating relations that extend forward from the first rule set to the second rule set is another step in the method. Additionally, using multi-valued logic, calculating the effects on the relations of control flow through the workflow model from the first rule set to the second rule set, tracing paths backward through the workflow model from the second rule set to the first rule set, enumerating relations that extend backward from the second rule set to the first rule set, and using multi-valued logic, calculating the effects on the relations of control flow backwards through the workflow model from the second rule set to the first rule set are also steps in the method.
REFERENCES:
patent: 5485616 (1996-01-01), Burke et al.
patent: 5706452 (1998-01-01), Ivanov
patent: 5802508 (1998-09-01), Morgenstern
patent: 5890130 (1999-03-01), Cox et al.
patent: 5920861 (1999-07-01), Hall et al.
patent: 5960404 (1999-09-01), Chaar et al.
patent: 6009405 (1999-12-01), Leymann et al.
patent: 6401111 (2002-06-01), Dan et al.
patent: 6473748 (2002-10-01), Archer
patent: 6631271 (2003-10-01), Logan
patent: 6662172 (2003-12-01), Smith
patent: 6789054 (2004-09-01), Makhlouf
patent: 6807583 (2004-10-01), Hrischuk et al.
patent: 6952690 (2005-10-01), Lumpp et al.
patent: 6993514 (2006-01-01), Majoor
patent: 7165105 (2007-01-01), Reiner et al.
patent: 7222302 (2007-05-01), Hauser et al.
Definition of deadlock patterns for business processes workflow models Onoda, S.; Ikkai, Y.; Kobayashi, T.; Komoda, N.; System Sciences, 1999. HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on vol. Track5, Jan. 5-8, 1999 pp. 11 pp. Digital Object Identifier 10.1109/HICSS.1999.772966.
Forgy Charles
Minsky Steven
Tan Ming
Holmes Michael B
Mintz Levin Cohn Ferris Glovsky and Popeo P.C.
LandOfFree
Relational logic management system does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Relational logic management system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Relational logic management system will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3992517