| 摘要 |
PROBLEM TO BE SOLVED: To enable a user of a rule checking system to newly define a rule, and to execute the rule check of an application by using the defined rule. SOLUTION: A rule definition analyzing part 11 analyzes rule definition data 400 defined by a user, and extracts one conditional formula constituted of a target designated part and a logical formula in the rule definition data 400, and transmits it to a word/phase analyzing part 12. The word/phrase analyzing part 12 divides the conditional formula into tokens. A syntax analyzing part 13 prepares an abstract syntax tree of the segmented tokens. An interpretation part 14 reads the the prepared abstract syntax tree and an application to be checked, and evaluates the conditional formula for the application by using the function of a program analyzing part 15, and returns the evaluation result to a rule definition analyzing part 11. The rule definition analyzing part 11 displays the occurrence of rule violation on an output device 31 when the returned value is false, and repeats the similar processing until any unevaluated conditional formula is not present when the returned value is true. COPYRIGHT: (C)2005,JPO&NCIPI
|
