摘要 |
PROBLEM TO BE SOLVED: To provide a process execution order control method for easily and surely ensuring the safety of process execution order control in real time. SOLUTION: A bf-EVALP expression in which a temporal before-after relationship between two processes is numeralized by a vector annotation (i, j) ä0≤i, j≤m, i, j and m are integers} forming a complete lattice structure is used. A safety rule for the temporal before-after relationship between two processes is expressed beforehand by a bf-EVALP expression comprising an antecedent part and a conclusion part to which the vector annotation (i<SB>0</SB>, j<SB>0</SB>) is attached, and when the vector annotation (i, j) increased accompanied by the progress of a process becomes equal to or more than the vector annotation (i<SB>0</SB>, j<SB>0</SB>) of the bf-EVALP expression, the conclusion part is inferred, and thus the process is executed while verifying the safety in real time. COPYRIGHT: (C)2008,JPO&INPIT
|