def test_AeventuallyBeventuallyC_neg(self): log = xes_importer.apply( os.path.join("..", "tests", "input_data", "running-example.xes")) filt_A_ev_B_ev_C_neg = ltl_checker.A_eventually_B_eventually_C( log, "check ticket", "decide", "pay compensation", parameters={ltl_checker.Parameters.POSITIVE: False})
def test_AeventuallyBeventuallyC_pos(self): log = xes_importer.apply( os.path.join("..", "tests", "input_data", "running-example.xes")) filt_A_ev_B_ev_C_pos = ltl_checker.A_eventually_B_eventually_C( log, "check ticket", "decide", "pay compensation", parameters={"positive": True})
def execute_script(): # import the log log = xes_importer.apply( os.path.join("..", "tests", "input_data", "running-example.xes")) # A eventually B positive: filter the cases of the log where each instance of A is eventually followed by an instance # of B filt_A_ev_B_pos = ltl_checker.A_eventually_B(log, "check ticket", "pay compensation", parameters={"positive": True}) print("len(filt_A_ev_B_pos) = ", len(filt_A_ev_B_pos)) # A eventually B negative: filter the cases of the log where A or B where not there, or cases where an instance of # A is not followed by an instance of B filt_A_ev_B_neg = ltl_checker.A_eventually_B( log, "check ticket", "pay compensation", parameters={"positive": False}) print("len(filt_A_ev_B_neg) = ", len(filt_A_ev_B_neg)) # A eventually B eventually C positive: filter the cases of the log where each instance of A is # eventually followed by an instance of B that is eventually followed by an instance of C filt_A_ev_B_ev_C_pos = ltl_checker.A_eventually_B_eventually_C( log, "check ticket", "decide", "pay compensation", parameters={"positive": True}) print("len(filt_A_ev_B_ev_C_pos) = ", len(filt_A_ev_B_ev_C_pos)) # A eventually B eventually C negative: filter the cases of the log where A,B,C are not all in the case, # or an instance of A is not eventually followed by an instance of B that is not eventually followed by # an instance of C filt_A_ev_B_ev_C_neg = ltl_checker.A_eventually_B_eventually_C( log, "check ticket", "decide", "pay compensation", parameters={"positive": False}) print("len(filt_A_ev_B_ev_C_neg) = ", len(filt_A_ev_B_ev_C_neg)) # A next B next C positive: filter the cases of the log where an instance of A was followed by an # instance of B, and the instance of B was directly followed by an instance of C filt_A_next_B_next_C_pos = ltl_checker.A_next_B_next_C( log, "check ticket", "decide", "pay compensation", parameters={"positive": True}) print("len(filt_A_next_B_net_C_pos) = ", len(filt_A_next_B_next_C_pos)) # A next B next C negative: filter the cases of the log where none instance of A was followed directly # by an instance of B, and the instance of B was directly followed by an instance of C filt_A_next_B_next_C_neg = ltl_checker.A_next_B_next_C( log, "check ticket", "decide", "pay compensation", parameters={"positive": False}) print("len(filt_A_next_B_next_C_neg) = ", len(filt_A_next_B_next_C_neg)) # four eyes principle positive: filter the cases of the log where A and B are both there, and the resource doing A # is NEVER the same resource doing B filt_foureyes_pos = ltl_checker.four_eyes_principle( log, "check ticket", "pay compensation", parameters={"positive": True}) print("len(filt_foureyes_pos) = ", len(filt_foureyes_pos)) # four eyes principle negative: filter the cases of the log where A and B are both there, and there is a common # resource doing A and B filt_foureyes_neg = ltl_checker.four_eyes_principle( log, "check ticket", "pay compensation", parameters={"positive": False}) print("len(filt_foureyes_neg) = ", len(filt_foureyes_neg)) # attr_value_different_persons positive: filter the cases of the log in which A was done by two different resources attr_value_different_persons_pos = ltl_checker.attr_value_different_persons( log, "check ticket", parameters={"positive": True}) print("len(attr_value_different_persons_pos) = ", len(attr_value_different_persons_pos)) # attr_value_different_persons negative: filter the cases of the log in which A was not there or was not executed # by two different resources attr_value_different_persons_neg = ltl_checker.attr_value_different_persons( log, "check ticket", parameters={"positive": False}) print("len(attr_value_different_persons_neg) = ", len(attr_value_different_persons_neg))