Title | ||
---|---|---|
Process Mining Approach Based on Partial Structures of Event Logs and Decision Tree Learning |
Abstract | ||
---|---|---|
Process mining techniques are able to improve processes by extracting knowledge from event logs commonly available in today's information systems. In the area, it is important to verify whether business goals can be satisfied. LTL (Linear Temporal Logic) verification is an important means for checking the goals automatically and exhaustively. However, writing formal language like LTL is difficult, and the properties by which the user's intentions are not reflected sufficiently have bad influence on the verification results. Therefore, it is needed to help writing correct LTL formula for users who do not have sufficient domain knowledge and knowledge of mathematical logic. We propose an approach for goal achievement prediction based on decision tree learning. It is conducted focusing on partial structures represented as event order relations of each trace. The proposed technique is evaluated on a phone repair process log. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/IIAI-AAI.2016.174 | 2016 5th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI) |
Keywords | Field | DocType |
business process management,process mining,requirements engineering,process aware information system,business constraints,linear temporal logic | Artifact-centric business process model,Data mining,Business process management,Business process,Computer science,Artificial intelligence,Business process modeling,Business process discovery,Machine learning,Decision tree learning,Business Process Model and Notation,Process mining | Conference |
ISBN | Citations | PageRank |
978-1-4673-8986-0 | 0 | 0.34 |
References | Authors | |
6 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hiroki Horita | 1 | 1 | 1.41 |
Hideaki Hirayama | 2 | 10 | 3.89 |
Takeo Hayase | 3 | 6 | 2.66 |
Yasuyuki Tahara | 4 | 163 | 49.16 |
Akihiko Ohsuga | 5 | 283 | 73.35 |