Abstract
Targeting the auditing problem in process mining, this paper proposed a novel approach to carry out auditing between event logs and process trees. Firstly, all the possible problems in auditing of event logs and process trees were analyzed. Then, the set of first activity for a process tree (FirstSet) was defined to solve the sub-tree choice problem; and the set of following activity for a process tree (FollowSet) was proposed to solve the auto-matching problems. Then, AnalyForm and Process tree auditing algorithm were provided to audit event logs and a process tree. An example was given to illustrate the given algorithms subsequently. Four sorts of comparison were carried out between Process tree auditing and A* alignment algorithm: the computation time for a few traces and batches of traces, the computation time of different noise percent and length of traces. From the comparative experimental results, Process tree auditing algorithm was superior to A* alignment algorithm in batches of event logs auditing.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes, pp. 95–124. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-19345-3
Fahland, D., Van der Aalst, W.M.P.: Model repair-aligning process models to reality. Inf. Syst. 47, 220–243 (2015). https://doi.org/10.1016/j.is.2013.12.007
Kharbili, M.E., De Medeiros, A.K.A., Stein, S., et al.: Business process conformance checking: current state and future challenges. In: MobIS 2008. LNI, vol. 141, GI, 008, pp. 107–113 (2008)
Adriansyah, A.A.: Aligning observed and modeled behavior. Technische Universiteitndhoven (2014)
Adriansyah, A.A., van Dongen, B.F., van der Aalst, W.M.P.: Conformance checking using cost-based fitness analysis. In: 5th IEEE International EDOC, pp. 55–64 (2011)
Verbeek, H.M.W.: Decomposed replay using hiding and reduction as abstraction. In: Koutny, M., Kleijn, J., Penczek, W. (eds.) Transactions on Petri Nets and Other Models of Concurrency XII. LNCS, vol. 10470, pp. 166–186. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-55862-1_8
Wang, L., Du, Y.Y., Liu, W.: Aligning observed and modelled behaviour based on workflow decomposition. Enterp. Inf. Syst. 11(8), 1207–1227 (2017). https://doi.org/10.1080/17517575.2016.1193633
Van der Aalst, W.M.P., Van Hee, K., Van der Werf, J.M., et al.: Conceptual model for online auditing. Decis. Support Syst. 50, 636–647 (2011). https://doi.org/10.1016/j.dss.2010.08.014
Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs - a constructive approach. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 311–329. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38697-8_17
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Li, H., Hou, H., Du, Y., Liu, Z. (2019). Auditing Between Event Logs and Process Trees. In: Zhai, G., Zhou, J., An, P., Yang, X. (eds) Digital TV and Multimedia Communication. IFTC 2018. Communications in Computer and Information Science, vol 1009. Springer, Singapore. https://doi.org/10.1007/978-981-13-8138-6_19
Download citation
DOI: https://doi.org/10.1007/978-981-13-8138-6_19
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-8137-9
Online ISBN: 978-981-13-8138-6
eBook Packages: Computer ScienceComputer Science (R0)