TY - GEN
T1 - Determining linear temporal logic formula for decomposed process model
AU - Maryamah,
AU - Sarno, Riyanarto
AU - Nurlaili, Afina Lina
N1 - Publisher Copyright:
© 2018 IEEE.
PY - 2018/4/26
Y1 - 2018/4/26
N2 - Process discovery is a process to observe behaviour in the event log and to build a model for the next process. In addition, it is an important process because its strength to predict the time, and cost. After constructing the model, the model has to be set into some parts by using decomposed process algorithm. So that, the result will be easier to be analyzed. A decomposed process can implementation inductive miner algorithm. However, decomposed using inductive miner have limited relation in process. To overcome this problem, this paper proposed decomposed model by using Linear Temporal Logic (LTL) to find the rule and build the process model automatically without constructing from the first step and also have many notations to formalize relation of activity. In addition, LTL is a method to build the rule and check the workflow of the process logs whether the logs have the parallel process. So that, by using the proposed method LTL will be used for getting a process model in less time with average time 1 second and more accurate result.
AB - Process discovery is a process to observe behaviour in the event log and to build a model for the next process. In addition, it is an important process because its strength to predict the time, and cost. After constructing the model, the model has to be set into some parts by using decomposed process algorithm. So that, the result will be easier to be analyzed. A decomposed process can implementation inductive miner algorithm. However, decomposed using inductive miner have limited relation in process. To overcome this problem, this paper proposed decomposed model by using Linear Temporal Logic (LTL) to find the rule and build the process model automatically without constructing from the first step and also have many notations to formalize relation of activity. In addition, LTL is a method to build the rule and check the workflow of the process logs whether the logs have the parallel process. So that, by using the proposed method LTL will be used for getting a process model in less time with average time 1 second and more accurate result.
KW - Decomposed
KW - Discovery
KW - Linear Temporal Logic (LTL)
KW - Process Mining
UR - http://www.scopus.com/inward/record.url?scp=85050468791&partnerID=8YFLogxK
U2 - 10.1109/ICOIACT.2018.8350722
DO - 10.1109/ICOIACT.2018.8350722
M3 - Conference contribution
AN - SCOPUS:85050468791
T3 - 2018 International Conference on Information and Communications Technology, ICOIACT 2018
SP - 466
EP - 470
BT - 2018 International Conference on Information and Communications Technology, ICOIACT 2018
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 1st International Conference on Information and Communications Technology, ICOIACT 2018
Y2 - 6 March 2018 through 7 March 2018
ER -