Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
tutorial:answers [2014/11/26 16:22]
hverbeek [Verifying Properties in an Event Log]
tutorial:answers [2014/11/26 16:22]
hverbeek [Questions Answered Based on an Event Log Only]
Line 5: Line 5:
 Now that you know how to [[preprocessing|inspect and pre-process an event log]], we proceed with showing how to answer the questions related to the //​discovery//​ plug-ins. Recall that a log is the only input for these kinds of plug-ins. Now that you know how to [[preprocessing|inspect and pre-process an event log]], we proceed with showing how to answer the questions related to the //​discovery//​ plug-ins. Recall that a log is the only input for these kinds of plug-ins.
  
-The questions answered in this Section are summarized in the table below. The first section shows how to mine the //​control-flow//​ perspective of process models. The second matrix explains how to mine information regarding certain aspects of cases. The third section describes how to mine information related to the roles/​employees in the event log. The fourth section shows how to use temporal logic to verify if the cases in a log satisfy certain (required) properties.+The questions answered in this Section are summarized in the table below. The first section shows how to mine the //​control-flow//​ perspective of process models. The second matrix explains how to mine information regarding certain aspects of cases. The third section describes how to mine information related to the roles/​employees in the event log. 
  
 ^ Question ​ ^  Section ​ ^ ^ Question ​ ^  Section ​ ^
Line 17: Line 17:
 | Who subcontract work to whom?  |   ​[[#​mining_organizational-related_information_about_a_process|Third]] ​ | | Who subcontract work to whom?  |   ​[[#​mining_organizational-related_information_about_a_process|Third]] ​ |
 | Who work on the same tasks? ​ |   ​[[#​mining_organizational-related_information_about_a_process|Third]] ​ | | Who work on the same tasks? ​ |   ​[[#​mining_organizational-related_information_about_a_process|Third]] ​ |
-| Are the rules indeed being obeyed? ​ |  [[#​verifying_properties_in_an_event_log|Fourth]] ​ | 
  
 ===== Mining the Control-Flow Perspective of a Process ===== ===== Mining the Control-Flow Perspective of a Process =====
  • Show page