Log-based transactional workflow mining

Distributed and Parallel Databases

Volumn 25, Issue 3, 2009, Pages 193-240

  Gaaloul, Walid ^a   Gaaloul, Khaled ^c,d   Bhiri, Sami ^b   Haller, Armin ^b   Hauswirth, Manfred ^b  

^a INSTITUT NATIONAL DES TÉLÉCOMMUNICATIONS   (France)

^b NATIONAL UNIVERSITY OF IRELAND   (Ireland)

^c SAP RESEARCH   (Germany)

^d LORIA   (France)

Author keywords

Business process analysis; Business process intelligence; Correction; Execution reliability; Process mining; Process reengineering; Transactional workflow; Workflow logs; Workflow mining; Workflow patterns

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT; MACHINE DESIGN; MINING; REENGINEERING; RELIABILITY ANALYSIS;

BUSINESS PROCESS ANALYSIS; BUSINESS PROCESS INTELLIGENCE; CORRECTION; EXECUTION RELIABILITY; PROCESS MINING; PROCESS REENGINEERING; TRANSACTIONAL WORKFLOW; WORKFLOW LOGS; WORKFLOW MINING; WORKFLOW PATTERNS;

QUALITY ASSURANCE;

EID: 63449124249     PISSN: 09268782     EISSN: 15737578     Source Type: Journal    
DOI: 10.1007/s10619-009-7040-0     Document Type: Article

References (77)

1. A.H.M. ter Hofstede M.E. Orlowska J. Rajapakse 1998 Verification problems in conceptual workflow specifications Data Knowl. Eng. 24 3 239 256
2. W.M.P. van der Aalst 1998 The application of Petri nets to workflow management J. Circuits Syst. Comput. 8 1 21 66
3. N.R. Adam V. Atluri W.-K. Huang 1998 Modeling and analysis of workflows using petri nets J. Intell. Inf. Syst. 10 2 131 158
4. van Dongen, B.F., Dijkman, R.M., Mendling, J.: Measuring similarity between business process models. In: Bellahsene, Z., Léonard, M. (eds.) CAiSE. Lecture Notes in Computer Science, vol. 5074, pp. 450-464. Springer, Berlin (2008)
5. Eder, J., Liebhart, W.: Workflow recovery. In: Conference on Cooperative Information Systems, pp. 124-134, 1996
6. Glasson, B.C., Hawryszkiewycz, I., Underwood, A., Weber, R.: Business Process Re-Engineering. IFIP Transactions, vol. A-54. Elsevier, Amsterdam (1994)
7. R. Hamadi B. Benatallah B. Medjahed 2008 Self-adapting recovery nets for policy-driven exception handling in business processes Distrib. Parallel Databases 23 1 1 44
8. Gaaloul, W., Baïna, K., Godart, C.: Towards mining structural workflow patterns. In: Andersen, K.V., Debenham, J.K., Wagner, R. (eds.) DEXA. LNCS, vol. 3588, pp. 24-33. Springer, Berlin (2005)
9. Gaaloul, W., Baïna, K., Godart, C.: A bottom-up workflow mining approach for workflow applications analysis. In: The 2nd International Workshop on Data Engineering Issues in E-Commerce and Services, San Francisco, California, USA, 26 June 2006. Lecture Notes in Computer Science. Springer, Berlin (2006)
10. Gaaloul, W., Bhiri, S., Godart, C.: Discovering workflow transactional behaviour event-based log. In: 12th International Conference on Cooperative Information Systems (CoopIS'04)), Larnaca, Cyprus, 25-29 October, 2004. Lecture Notes in Computer Science. Springer, Berlin (2004)
11. Gaaloul, W., Godart, C.: Mining workflow recovery from event based logs. In: Business Process Management, pp. 169-185, 2005
12. Veijalainen, J., Eliassen, F., Holtkamp, B.: The S-transaction model. In: Elmagarmid, A.K. (ed.) Database Transaction Models for Advanced Applications. Morgan Kauffman, San Mateo (1990)
13. Dayal, U., Hsu, M., Ladin, R.: Business process coordination: State of the art, trends, and open issues. In: Apers, P.M.G., Atzeni, P., Ceri, S., Paraboschi, S., Ramamohanarao, K., Snodgrass, R.T. (eds.) VLDB, pp. 3-13. Morgan Kaufmann, San Mateo (2001)
14. D. Georgakopoulos M. Hornick A. Sheth 1995 An overview of workflow management: from process modeling to workflow automation infrastructure Distrib. Parallel Databases 3 2 119 153
15. Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading (1987)
16. Ansari, M., Ness, L., Rusinkiewicz, M., Sheth, A.P.: Using flexible transactions to support multi-system telecommunication applications. In: Proceedings of the 18th International Conference on Very Large Data Bases, pp. 65-76. Morgan Kaufmann, San Mateo (1992)
17. P.K. Chrysanthis K. Ramamritham 1994 Synthesis of Extended Transaction Models ACM Trans. Database Syst. 19 3 451 491
18. Garcia-Molina, H., Salem, K.: Sagas. In: Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data, 1987, pp. 249-259. ACM Press, New York (1987)
19. Rusinkiewicz, M., Sheth, A.: Specification and Execution of Transactional Workflows. In: Kim, W. (ed.) Modern Database Systems, The Object Model Interoperability and Beyond, pp. 592-620. Addison-Wesley, ACM Press, New York (1995)
20. Sheth, A., Rusinkiewicz, M.: On transactional workflows. In: Special Issue on Workflow and Extended Transaction Systems IEEE Computer Society, Washington DC, 1993. IEEE Computer Society, Los Alamitos (1993)
21. Bhiri, S., Perrin, O., Godart, C.: Extending workflow patterns with transactional dependencies to define reliable composite web services. In: AICT/ICIW, 2006, p. 145. IEEE Computer Society, Los Alamitos (2006)
22. Gaaloul, W., Bhiri, S., Haller, A.: Mining and re-engineering transactional workflows for reliable executions. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER. Lecture Notes in Computer Science, vol. 4801, pp. 485-501. Springer, Berlin (2007)
23. van der Aalst, W.M.P., Barros, A.P., ter Hofstede, A.H.M., Kiepuszewski, B.: Advanced workflow patterns. In: Etzion, O., Scheuermann, P. (eds.) 5th IFCIS Int. Conf. on Cooperative Information Systems (CoopIS'00), Eilat, Israel, 6-8 September 2000. Lecture Notes in Computer Science, vol. 1901, pp. 18-29. Springer, Berlin (2000)
24. Elmagarmid, A., Leu, Y., Litwin, W., Rusinkiewicz, M.: A multidatabase transaction model for interbase. In: Proceedings of the Sixteenth International Conference on Very Large Databases, 1990, pp. 507-518. Morgan Kaufmann, San Mateo (1990)
25. Du, W., Davis, J., Shan, M.-C.: Flexible specification of workflow compensation scopes. In: Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work: The Integration Challenge, 1997, pp. 309-316. ACM Press, New York (1997)
26. Moss, J.: Nested transactions and reliable distributed computing. In: Proceedings of the 2nd Symposium on Reliability in Distributed Software and database Systems, 1982. IEEE Computer Society, Los Alamitos (1982)
27. Kiepuszewski, B., Muhlberger, R., Orlowska, M.E.: Flowback: providing backward recovery for workflow management systems. In: Proceedings of the 1998 ACM SIGMOD international conference on Management of Data, 1998, pp. 555-557. ACM Press, New York (1998)
28. Eder, J., Liebhart, W.: The workflow activity model Wamo. In: CoopIS, pp. 87-98, 1995
29. Grefen, P.W.P.J., Vonk, J., Boertjes, E., Apers, P.M.G.: Two-layer transaction management for workflow management applications. In: Hameurlain, A., Tjoa, A.M. (eds.) DEXA. Lecture Notes in Computer Science, vol. 1308, pp. 430-439. Springer, Berlin (1997)
30. G. Canals C. Godart F. Charoy P. Molli H. Skaf-Molli 1998 Coo approach to support cooperation in software developments IEE Proc.-Softw. 145 2-3 79 84
31. Kamath, M., Ramamritham, K.: Failure handling and coordinated execution of concurrent workflows. In: ICDE, 1998, pp. 334-341. IEEE Computer Society, Los Alamitos (1998)
32. van der Aalst, W.M.P., van Dongen, B.F.: Workflow mining: A survey of issues and approaches. In: Data and Knowledge Engineering, 2003
33. Eder, J., Olivotto, G.E., Gruber, W.: A data warehouse for workflow logs. In: Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems, 2000, pp. 1-15. Springer, Berlin (2002)
34. zur Muehlen, M.: Process-driven management information systems-combining data warehouses and workflow technology. In: Gavish, B. (ed.) Proceedings of the 4th International Conference on Electronic Commerce Research (ICECR-4), Dallas (TX), 2001, pp. 550-566. Southern Methodist University, Dallas (2001)
35. WorkFlow Management Coalition. Terminology and glossary. Technical report wfms-tc-1011. Technical report, Workflow Management Coalition Brussels, Belgium (1996)
36. W.M.P. van der Aalst T. Weijters L. Maruster 2004 Workflow mining: Discovering process models from event logs IEEE Trans. Knowl. Data Eng. 16 9 1128 1142
37. van Dongen, B.F., de Medeiros, A.K.A., Verbeek, H.M.W., Weijters, A.J.M.M., van der Aalst, W.M.P.: The prom framework: A new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN. Lecture Notes in Computer Science, vol. 3536, pp. 444-454. Springer, Berlin (2005)
38. Gaaloul, W.: La découverte de workflow transactionnel pour la fiabilisation des exécutions. Ph.D. thesis, Université Henri Poincaré-Nancy 1, LORIA, 3 November (2006)
39. Attie, P.C., Singh, M.P., Sheth, A.P., Rusinkiewicz, M.: Specifying and enforcing intertask dependencies. In: Agrawal, R., Baker, S., Bell, D.A. (eds.) 19th International Conference on Very Large Data Bases, Proceedings, Dublin, Ireland, 24-27 August 1993, pp. 134-145. Morgan Kaufmann, San Mateo (1993)
40. Cook, J.E., Wolf, A.L.: Event-based detection of concurrency. In: Proceedings of the 6th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998, pp. 35-45. ACM Press, New York (1998)
41. H. Mannila H. Toivonen A. Inkeri Verkamo 1997 Discovery of frequent episodes in event sequences Data Min. Knowl. Discovery 1 3 259 289
42. J.E. Cook A.L. Wolf 1999 Software process validation: quantitatively measuring the correspondence of a process to a model ACM Trans. Softw. Eng. Methodol. (TOSEM) 8 2 147 176
43. W.M.P. van der Aalst 2001 Exterminating the dynamic change bug: a concrete approach to support workflow change Inf. Syst. Front. 3 3 297 317
44. T. Basten W.M.P. van der Aalst 2001 Inheritance of behavior J. Log. Algebr. Program. 47 2 47 145
45. Gaaloul, W., Godart, C.: A workflow mining tool based on logs statistical analysis. In: Maurer, F., Ruhe, G. (ed.) SEKE, pp. 37-44, 2006
46. Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 2. Springer, London (1995)
47. Miguel, V., Charoy, F.: Bonita: workflow cooperative system. http://bonita.objectweb.org (2003)
48. Sun. Enterprise JavaBeansTM Specification, Version 2.1. Sun Microsystems, August 2002
49. Harold, E.R.: Processing XML with Java: a guide to SAX, DOM, JDOM, JAXP, and TrAX (2003)
50. de Medeiros, A., Gunther, C.: Process mining: using cpn tools to create test logs for mining algorithms, 2005
51. Baïna, K., Berrada, I., Kjiri, L.: A balanced scoreboard experiment for business process performance monitoring: case study. In: 1st International E-Business Conference (IEBC'05), Tunis, Tunisia, 24-25 June 2005
52. Baïna, K., Gaaloul, W., El Khattabi, R., Mouhou, A.: Workflowminer: a new workflow patterns and performance analysis tool. In: Boudjlida, N., Cheng, D., Guelfi, N. (eds.) CAiSE Forum. CEUR Workshop Proceedings, vol. 231. CEUR-WS.org (2006)
53. van der Aalst, W.M.P., van Dongen, B.F., Günther, C.W., Mans, R.S., Alves de Medeiros, A.K., Rozinat, A., Rubin, V., Song, M., Verbeek, H.M.W., Weijters, A.J.M.M.: Prom 4.0: comprehensive support for eal process analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN. Lecture Notes in Computer Science, vol. 4546, pp. 484-494. Springer, Berlin (2007)
54. Mukherjee, S., Davulcu, H., Kifer, M., Senkul, P., Yang, G.: Logic based approaches to workflow modeling and verification. In: Chomicki, J., van der Meyden, R., Saake, G. (eds.) Logics for Emerging Applications of Databases, pp. 167-202. Springer, Berlin (2003)
55. E.T. Mueller 2004 Event calculus reasoning through satisfiability J. Log. and Comput. 14 5 703 730
56. Gaaloul, W., Hauswirth, M., Rouached, M., Godart, C.: Verifying composite service recovery mechanisms: a transactional approach based on event calculus. In: 15th International Conference on Cooperative Information Systems CoopIS07, November, 2007
57. S. Stratulat 2001 A general framework to build contextual cover set induction provers J. Symb. Comput. 32 4 403 445
58. Woody Jin, W., Rusinkiewicz, M., Ness, L., Sheth, A.: Concurrency control and recovery of multidatabase work flows in telecommunication applications. In: Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993, pp. 456-459. ACM Press, New York (1993)
59. Leymann, F.: Supporting business transactions via partial backward recovery in workflow management systems. In: Proceedings of BTW'95, 1995, pp. 51-70. Springer, Berlin (1995)
60. I. Ray T. Xin 2006 Analysis of dependencies in advanced transaction models Distrib. Parallel Databases 20 1 5 27
61. Z. Luo A.P. Sheth K. Kochut I.B. Arpinar 2003 Exception handling for conflict resolution in cross-organizational workflows Distrib. Parallel Databases 13 3 271 306
62. van der Aalst, W.M.P., Dumas, M., Ouyang, C., Rozinat, A., Verbeek, H.M.W.: Conformance checking of service behavior. ACM Trans. Internet Technol. (TOIT), Special issue on Middleware for Service-Oriented Computing (2007)
63. Sayal, M., Casati, F., Shan, M.C., Dayal, U.: Business process cockpit. In: Proceedings of 28th International Conference on Very Large Data Bases (VLDB'02), pp. 880-883, 2002
64. D. Grigori F. Casati M. Castellanos U. Dayal M. Sayal M.-C. Shan 2004 Business process intelligence Comput. Ind. 53 3 321 343
65. W.M.P. van der Aalst K.A. de Medeiros 2005 Process mining and security: detecting anomalous process executions and checking process conformance Electr. Notes Theor. Comput. Sci. 121 3 21
66. Rozinat, A., van der Aalst, W.M.P.: Conformance testing: measuring the fit and appropriateness of event logs and process models. In: Business Process Management Workshops, pp. 163-176, 2005
67. van der Aalst, W.M.P.: Business alignment: using process mining as a tool for delta analysis. In: CAiSE Workshops (2), pp. 138-145, 2004
68. Benatallah, B., Casati, F., Toumani, F.: Analysis and management of web service protocols. In: ER, pp. 524-541, 2004
69. Baïna, K., Benatallah, B., Casati, F., Toumani, F.: Model-driven web service development. In: CAiSE, pp. 290-306, 2004
70. Agrawal, R., Gunopulos, D., Leymann, F.: Mining process models from workflow logs. In: Lecture Notes in Computer Science, vol. 1377, pp. 469-498. Springer, Berlin (1998)
71. J.E. Cook A.L. Wolf 1998 Discovering models of software processes from event-based data ACM Trans. Softw. Eng. Methodol. (TOSEM) 7 3 215 249
72. Cook, J.E., Wolf, A.L.: Event-based detection of concurrency. In: Proceedings of the 6th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998, pp. 35-45. ACM Press, New York (1998)
73. A.K.A. de Medeiros A.J.M.M. Weijters W.M.P. van der Aalst 2007 Genetic process mining: an experimental evaluation Data Min. Knowl. Discov. 14 2 245 304
74. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process mining based on regions of languages. In: BPM, pp. 375-383, 2007
75. L. Wen W.M.P. van der Aalst J. Wang J. Sun 2007 Mining process models with non-free-choice constructs Data Min. Knowl. Discov. 15 2 145 180
76. S. Bhiri W. Gaaloul C. Godart 2008 Mining and improving composite web services recovery mechanisms Int. J. Web Serv. Res. 5 2 23 48
77. Rouached, M., Gaaloul, W., van der Aalst, W.M.P., Bhiri, S., Godart, C.: Web service mining and verification of properties: an approach based on event calculus. In: Meersman, R., Tari, Z. (eds.) OTM Conferences (1). Lecture Notes in Computer Science, vol. 4275, pp. 408-425. Springer, Berlin (2006)