METHOD FOR DETECTING MISMATCHING OF TIME CONSTRAINT IN SEQUENCE DIAGRAM

摘要

PROBLEM TO BE SOLVED: To detect the mismatching of time constraints assigned to time segments in a sequence diagram.SOLUTION: A method according to the present invention includes the steps of: setting at least one or more sets (U) including a plurality of time segments (&sgr;); setting a logical expression (Y) including, in each of the sets (U), a sequence constraint (C) and a time constraint (C) assigned to each of the plurality of time segments (&sgr;); setting, when the logical expression (Y) is satisfiable, at least one or more sets (U') including a negative time constraint (C') for negating at least one time constraints (C) among a plurality of assigned time constraints (C); setting, in each of the sets (U'), a logical expression (Y') including the sequence constraint (C) and a plurality of negative time constraints (C'); and determining the satisfiability of the logical expression (Y').