{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T21:12:49Z","timestamp":1774732369195,"version":"3.50.1"},"reference-count":77,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,3,14]],"date-time":"2009-03-14T00:00:00Z","timestamp":1236988800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Parallel Databases"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s10619-009-7040-0","type":"journal-article","created":{"date-parts":[[2009,3,13]],"date-time":"2009-03-13T16:37:31Z","timestamp":1236962251000},"page":"193-240","source":"Crossref","is-referenced-by-count":24,"title":["Log-based transactional workflow mining"],"prefix":"10.1007","volume":"25","author":[{"given":"Walid","family":"Gaaloul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khaled","family":"Gaaloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sami","family":"Bhiri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Haller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manfred","family":"Hauswirth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,3,14]]},"reference":[{"issue":"3","key":"7040_CR1","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/S0169-023X(97)00032-3","volume":"24","author":"A.H.M. Hofstede ter","year":"1998","unstructured":"ter Hofstede, A.H.M., Orlowska, M.E., Rajapakse, J.: Verification problems in conceptual workflow specifications. Data Knowl. Eng. 24(3), 239\u2013256 (1998)","journal-title":"Data Knowl. Eng."},{"issue":"1","key":"7040_CR2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. J.\u00a0Circuits Syst. Comput. 8(1), 21\u201366 (1998)","journal-title":"J.\u00a0Circuits Syst. Comput."},{"issue":"2","key":"7040_CR3","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1023\/A:1008656726700","volume":"10","author":"N.R. Adam","year":"1998","unstructured":"Adam, N.R., Atluri, V., Huang, W.-K.: Modeling and analysis of workflows using petri nets. J.\u00a0Intell. Inf. Syst. 10(2), 131\u2013158 (1998)","journal-title":"J.\u00a0Intell. Inf. Syst."},{"key":"7040_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/978-3-540-69534-9_34","volume-title":"CAiSE","author":"B.F. Dongen van","year":"2008","unstructured":"van Dongen, B.F., Dijkman, R.M., Mendling, J.: Measuring similarity between business process models. In: Bellahsene, Z., L\u00e9onard, M. (eds.) CAiSE. Lecture Notes in Computer Science, vol.\u00a05074, pp.\u00a0450\u2013464. Springer, Berlin (2008)"},{"key":"7040_CR5","unstructured":"Eder, J., Liebhart, W.: Workflow recovery. In: Conference on Cooperative Information Systems, pp.\u00a0124\u2013134, 1996"},{"key":"7040_CR6","series-title":"IFIP Transactions","volume-title":"Business Process Re-Engineering","author":"B.C. Glasson","year":"1994","unstructured":"Glasson, B.C., Hawryszkiewycz, I., Underwood, A., Weber, R.: Business Process Re-Engineering. IFIP Transactions, vol.\u00a0A-54. Elsevier, Amsterdam (1994)"},{"issue":"1","key":"7040_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10619-007-7020-1","volume":"23","author":"R. Hamadi","year":"2008","unstructured":"Hamadi, R., Benatallah, B., Medjahed, B.: Self-adapting recovery nets for policy-driven exception handling in business processes. Distrib. Parallel Databases 23(1), 1\u201344 (2008)","journal-title":"Distrib. Parallel Databases"},{"key":"7040_CR8","series-title":"LNCS","first-page":"24","volume-title":"DEXA","author":"W. Gaaloul","year":"2005","unstructured":"Gaaloul, W., Ba\u00efna, K., Godart, C.: Towards mining structural workflow patterns. In: Andersen, K.V., Debenham, J.K., Wagner, R. (eds.) DEXA. LNCS, vol.\u00a03588, pp.\u00a024\u201333. Springer, Berlin (2005)"},{"key":"7040_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"The 2nd International Workshop on Data Engineering Issues in E-Commerce and Services","author":"W. Gaaloul","year":"2006","unstructured":"Gaaloul, W., Ba\u00efna, 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\u00a0June 2006. Lecture Notes in Computer Science. Springer, Berlin (2006)"},{"key":"7040_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"12th International Conference on Cooperative Information Systems (CoopIS\u201904))","author":"W. Gaaloul","year":"2004","unstructured":"Gaaloul, W., Bhiri, S., Godart, C.: Discovering workflow transactional behaviour event-based log. In: 12th International Conference on Cooperative Information Systems (CoopIS\u201904)), Larnaca, Cyprus, 25\u201329 October, 2004. Lecture Notes in Computer Science. Springer, Berlin (2004)"},{"key":"7040_CR11","doi-asserted-by":"crossref","unstructured":"Gaaloul, W., Godart, C.: Mining workflow recovery from event based logs. In: Business Process Management, pp.\u00a0169\u2013185, 2005","DOI":"10.1007\/11538394_12"},{"key":"7040_CR12","volume-title":"Database Transaction Models for Advanced Applications","author":"J. Veijalainen","year":"1990","unstructured":"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)"},{"key":"7040_CR13","first-page":"3","volume-title":"VLDB","author":"U. Dayal","year":"2001","unstructured":"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.\u00a03\u201313. Morgan Kaufmann, San Mateo (2001)"},{"issue":"2","key":"7040_CR14","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF01277643","volume":"3","author":"D. Georgakopoulos","year":"1995","unstructured":"Georgakopoulos, D., Hornick, M., Sheth, A.: An overview of workflow management: from process modeling to workflow automation infrastructure. Distrib. Parallel Databases 3(2), 119\u2013153 (1995)","journal-title":"Distrib. Parallel Databases"},{"key":"7040_CR15","volume-title":"Concurrency Control and Recovery in Database Systems","author":"P.A. Bernstein","year":"1987","unstructured":"Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading (1987)"},{"key":"7040_CR16","first-page":"65","volume-title":"Proceedings of the 18th International Conference on Very Large Data Bases","author":"M. Ansari","year":"1992","unstructured":"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.\u00a065\u201376. Morgan Kaufmann, San Mateo (1992)"},{"issue":"3","key":"7040_CR17","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/185827.185843","volume":"19","author":"P.K. Chrysanthis","year":"1994","unstructured":"Chrysanthis, P.K., Ramamritham, K.: Synthesis of Extended Transaction Models. ACM Trans. Database Syst. 19(3), 451\u2013491 (1994)","journal-title":"ACM Trans. Database Syst."},{"key":"7040_CR18","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1145\/38713.38742","volume-title":"Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data","author":"H. Garcia-Molina","year":"1987","unstructured":"Garcia-Molina, H., Salem, K.: Sagas. In: Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data, 1987, pp.\u00a0249\u2013259. ACM Press, New York (1987)"},{"key":"7040_CR19","first-page":"592","volume-title":"Modern Database Systems, The Object Model Interoperability and Beyond","author":"M. Rusinkiewicz","year":"1995","unstructured":"Rusinkiewicz, M., Sheth, A.: Specification and Execution of Transactional Workflows. In: Kim,\u00a0W. (ed.) Modern Database Systems, The Object Model Interoperability and Beyond, pp.\u00a0592\u2013620. Addison-Wesley, ACM Press, New York (1995)"},{"key":"7040_CR20","volume-title":"Special Issue on Workflow and Extended Transaction Systems IEEE Computer Society","author":"A. Sheth","year":"1993","unstructured":"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)"},{"key":"7040_CR21","first-page":"145","volume-title":"AICT\/ICIW","author":"S. Bhiri","year":"2006","unstructured":"Bhiri, S., Perrin, O., Godart, C.: Extending workflow patterns with transactional dependencies to define reliable composite web services. In: AICT\/ICIW, 2006, p.\u00a0145. IEEE Computer Society, Los Alamitos (2006)"},{"key":"7040_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/978-3-540-75563-0_33","volume-title":"ER","author":"W. Gaaloul","year":"2007","unstructured":"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.\u00a04801, pp.\u00a0485\u2013501. Springer, Berlin (2007)"},{"key":"7040_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/10722620_2","volume-title":"5th IFCIS Int. Conf. on Cooperative Information Systems (CoopIS\u201900)","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P., Barros, A.P., ter Hofstede, A.H.M., Kiepuszewski, B.: Advanced workflow patterns. In: Etzion,\u00a0O., Scheuermann,\u00a0P. (eds.) 5th IFCIS Int. Conf. on Cooperative Information Systems (CoopIS\u201900), Eilat, Israel, 6\u20138 September 2000. Lecture Notes in Computer Science, vol.\u00a01901, pp.\u00a018\u201329. Springer, Berlin (2000)"},{"key":"7040_CR24","first-page":"507","volume-title":"Proceedings of the Sixteenth International Conference on Very Large Databases","author":"A. Elmagarmid","year":"1990","unstructured":"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.\u00a0507\u2013518. Morgan Kaufmann, San Mateo (1990)"},{"key":"7040_CR25","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1145\/266838.267342","volume-title":"Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work: The Integration Challenge","author":"W. Du","year":"1997","unstructured":"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.\u00a0309\u2013316. ACM Press, New York (1997)"},{"key":"7040_CR26","volume-title":"Proceedings of the 2nd Symposium on Reliability in Distributed Software and database Systems","author":"J. Moss","year":"1982","unstructured":"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)"},{"key":"7040_CR27","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/276304.276379","volume-title":"Proceedings of the 1998 ACM SIGMOD international conference on Management of Data","author":"B. Kiepuszewski","year":"1998","unstructured":"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.\u00a0555\u2013557. ACM Press, New York (1998)"},{"key":"7040_CR28","unstructured":"Eder, J., Liebhart, W.: The workflow activity model Wamo. In: CoopIS, pp.\u00a087\u201398, 1995"},{"key":"7040_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"430","DOI":"10.1007\/BFb0022052","volume-title":"DEXA","author":"P.W.P.J. Grefen","year":"1997","unstructured":"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.\u00a01308, pp.\u00a0430\u2013439. Springer, Berlin (1997)"},{"issue":"2\u20133","key":"7040_CR30","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1049\/ip-sen:19985842","volume":"145","author":"G. Canals","year":"1998","unstructured":"Canals, G., Godart, C., Charoy, F., Molli, P., Skaf-Molli, H.: Coo approach to support cooperation in software developments. IEE Proc.\u2014Softw. 145(2\u20133), 79\u201384 (1998)","journal-title":"IEE Proc.\u2014Softw."},{"key":"7040_CR31","first-page":"334","volume-title":"ICDE","author":"M. Kamath","year":"1998","unstructured":"Kamath, M., Ramamritham, K.: Failure handling and coordinated execution of concurrent workflows. In: ICDE, 1998, pp.\u00a0334\u2013341. IEEE Computer Society, Los Alamitos (1998)"},{"key":"7040_CR32","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., van Dongen, B.F.: Workflow mining: A survey of issues and approaches. In: Data and Knowledge Engineering, 2003","DOI":"10.1016\/S0169-023X(03)00066-1"},{"key":"7040_CR33","first-page":"1","volume-title":"Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems","author":"J. Eder","year":"2002","unstructured":"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.\u00a01\u201315. Springer, Berlin (2002)"},{"key":"7040_CR34","first-page":"550","volume-title":"Proceedings of the 4th International Conference on Electronic Commerce Research (ICECR-4)","author":"M. zur Muehlen","year":"2001","unstructured":"zur Muehlen, M.: Process-driven management information systems\u2014combining 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.\u00a0550\u2013566. Southern Methodist University, Dallas (2001)"},{"key":"7040_CR35","unstructured":"WorkFlow Management Coalition. Terminology and glossary. Technical report wfms-tc-1011. Technical report, Workflow Management Coalition Brussels, Belgium (1996)"},{"issue":"9","key":"7040_CR36","doi-asserted-by":"crossref","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W.M.P. Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"7040_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1007\/11494744_25","volume-title":"ICATPN","author":"B.F. Dongen van","year":"2005","unstructured":"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\u00a0new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN. Lecture Notes in Computer Science, vol.\u00a03536, pp.\u00a0444\u2013454. Springer, Berlin (2005)"},{"key":"7040_CR38","unstructured":"Gaaloul, W.: La d\u00e9couverte de workflow transactionnel pour la fiabilisation des ex\u00e9cutions. Ph.D.\u00a0thesis, Universit\u00e9 Henri Poincar\u00e9\u2014Nancy 1, LORIA, 3\u00a0November (2006)"},{"key":"7040_CR39","first-page":"134","volume-title":"19th International Conference on Very Large Data Bases, Proceedings","author":"P.C. Attie","year":"1993","unstructured":"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\u201327 August 1993, pp.\u00a0134\u2013145. Morgan Kaufmann, San Mateo (1993)"},{"key":"7040_CR40","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/288195.288214","volume-title":"Proceedings of the 6th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"J.E. Cook","year":"1998","unstructured":"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.\u00a035\u201345. ACM Press, New York (1998)"},{"issue":"3","key":"7040_CR41","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1023\/A:1009748302351","volume":"1","author":"H. Mannila","year":"1997","unstructured":"Mannila, H., Toivonen, H., Inkeri Verkamo, A.: Discovery of frequent episodes in event sequences. Data Min. Knowl. Discovery 1(3), 259\u2013289 (1997)","journal-title":"Data Min. Knowl. Discovery"},{"issue":"2","key":"7040_CR42","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/304399.304401","volume":"8","author":"J.E. Cook","year":"1999","unstructured":"Cook, J.E., Wolf, A.L.: Software process validation: quantitatively measuring the correspondence of a process to a model. ACM Trans. Softw. Eng. Methodol. (TOSEM) 8(2), 147\u2013176 (1999)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"issue":"3","key":"7040_CR43","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1023\/A:1011409408711","volume":"3","author":"W.M.P. Aalst van der","year":"2001","unstructured":"van der Aalst, W.M.P.: Exterminating the dynamic change bug: a\u00a0concrete approach to support workflow change. Inf. Syst. Front. 3(3), 297\u2013317 (2001)","journal-title":"Inf. Syst. Front."},{"issue":"2","key":"7040_CR44","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S1567-8326(00)00004-7","volume":"47","author":"T. Basten","year":"2001","unstructured":"Basten, T., van der Aalst, W.M.P.: Inheritance of behavior. J.\u00a0Log. Algebr. Program. 47(2), 47\u2013145 (2001)","journal-title":"J.\u00a0Log. Algebr. Program."},{"key":"7040_CR45","unstructured":"Gaaloul, W., Godart, C.: A workflow mining tool based on logs statistical analysis. In: Maurer,\u00a0F., Ruhe,\u00a0G. (ed.) SEKE, pp.\u00a037\u201344, 2006"},{"key":"7040_CR46","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1995","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol.\u00a02. Springer, London (1995)"},{"key":"7040_CR47","unstructured":"Miguel, V., Charoy, F.: Bonita: workflow cooperative system. http:\/\/bonita.objectweb.org (2003)"},{"key":"7040_CR48","unstructured":"Sun. Enterprise JavaBeansTM Specification, Version\u00a02.1. Sun Microsystems, August 2002"},{"key":"7040_CR49","unstructured":"Harold, E.R.: Processing XML with Java: a guide to SAX, DOM, JDOM, JAXP, and TrAX (2003)"},{"key":"7040_CR50","unstructured":"de Medeiros, A., Gunther, C.: Process mining: using cpn tools to create test logs for mining algorithms, 2005"},{"key":"7040_CR51","unstructured":"Ba\u00efna, K., Berrada, I., Kjiri, L.: A balanced scoreboard experiment for business process performance monitoring: case study. In: 1st International E-Business Conference (IEBC\u201905), Tunis, Tunisia, 24\u201325 June 2005"},{"key":"7040_CR52","unstructured":"Ba\u00efna, K., Gaaloul, W., El Khattabi, R., Mouhou, A.: Workflowminer: a\u00a0new workflow patterns and performance analysis tool. In: Boudjlida,\u00a0N., Cheng, D., Guelfi,\u00a0N. (eds.) CAiSE Forum. CEUR Workshop Proceedings, vol.\u00a0231. CEUR-WS.org (2006)"},{"key":"7040_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1007\/978-3-540-73094-1_28","volume-title":"ICATPN","author":"W.M.P. Aalst van der","year":"2007","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., G\u00fcnther, 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\u00a04.0: comprehensive support for eal process analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN. Lecture Notes in Computer Science, vol.\u00a04546, pp.\u00a0484\u2013494. Springer, Berlin (2007)"},{"key":"7040_CR54","first-page":"167","volume-title":"Logics for Emerging Applications of Databases","author":"S. Mukherjee","year":"2003","unstructured":"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.\u00a0167\u2013202. Springer, Berlin (2003)"},{"issue":"5","key":"7040_CR55","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1093\/logcom\/14.5.703","volume":"14","author":"E.T. Mueller","year":"2004","unstructured":"Mueller, E.T.: Event calculus reasoning through satisfiability. J.\u00a0Log. and Comput. 14(5), 703\u2013730 (2004)","journal-title":"J.\u00a0Log. and Comput."},{"key":"7040_CR56","unstructured":"Gaaloul, W., Hauswirth, M., Rouached, M., Godart, C.: Verifying composite service recovery mechanisms: a\u00a0transactional approach based on event calculus. In: 15th International Conference on Cooperative Information Systems CoopIS07, November, 2007"},{"issue":"4","key":"7040_CR57","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1006\/jsco.2000.0469","volume":"32","author":"S. Stratulat","year":"2001","unstructured":"Stratulat, S.: A general framework to build contextual cover set induction provers. J.\u00a0Symb. Comput. 32(4), 403\u2013445 (2001)","journal-title":"J.\u00a0Symb. Comput."},{"key":"7040_CR58","first-page":"456","volume-title":"Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data","author":"W. Woody Jin","year":"1993","unstructured":"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.\u00a0456\u2013459. ACM Press, New York (1993)"},{"key":"7040_CR59","first-page":"51","volume-title":"Proceedings of BTW\u201995","author":"F. Leymann","year":"1995","unstructured":"Leymann, F.: Supporting business transactions via partial backward recovery in workflow management systems. In: Proceedings of BTW\u201995, 1995, pp.\u00a051\u201370. Springer, Berlin (1995)"},{"issue":"1","key":"7040_CR60","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10619-006-8593-9","volume":"20","author":"I. Ray","year":"2006","unstructured":"Ray, I., Xin, T.: Analysis of dependencies in advanced transaction models. Distrib. Parallel Databases 20(1), 5\u201327 (2006)","journal-title":"Distrib. Parallel Databases"},{"issue":"3","key":"7040_CR61","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1023\/A:1022827610371","volume":"13","author":"Z. Luo","year":"2003","unstructured":"Luo, Z., Sheth, A.P., Kochut, K., Arpinar, I.B.: Exception handling for conflict resolution in cross-organizational workflows. Distrib. Parallel Databases 13(3), 271\u2013306 (2003)","journal-title":"Distrib. Parallel Databases"},{"key":"7040_CR62","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/1361186.1361189"},{"key":"7040_CR63","unstructured":"Sayal, M., Casati, F., Shan, M.C., Dayal, U.: Business process cockpit. In: Proceedings of 28th International Conference on Very Large Data Bases (VLDB\u201902), pp.\u00a0880\u2013883, 2002"},{"issue":"3","key":"7040_CR64","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/j.compind.2003.10.007","volume":"53","author":"D. Grigori","year":"2004","unstructured":"Grigori, D., Casati, F., Castellanos, M., Dayal, U., Sayal, M., Shan, M.-C.: Business process intelligence. Comput. Ind. 53(3), 321\u2013343 (2004)","journal-title":"Comput. Ind."},{"key":"7040_CR65","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2004.10.013","volume":"121","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., de Medeiros, K.A.: Process mining and security: detecting anomalous process executions and checking process conformance. Electr. Notes Theor. Comput. Sci. 121, 3\u201321 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"7040_CR66","unstructured":"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.\u00a0163\u2013176, 2005"},{"key":"7040_CR67","unstructured":"van der Aalst, W.M.P.: Business alignment: using process mining as a tool for delta analysis. In: CAiSE Workshops\u00a0(2), pp.\u00a0138\u2013145, 2004"},{"key":"7040_CR68","doi-asserted-by":"crossref","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Analysis and management of web service protocols. In: ER, pp.\u00a0524\u2013541, 2004","DOI":"10.1007\/978-3-540-30464-7_40"},{"key":"7040_CR69","doi-asserted-by":"crossref","unstructured":"Ba\u00efna, K., Benatallah, B., Casati, F., Toumani, F.: Model-driven web service development. In: CAiSE, pp.\u00a0290\u2013306, 2004","DOI":"10.1007\/978-3-540-25975-6_22"},{"key":"7040_CR70","first-page":"469","volume-title":"Lecture Notes in Computer Science","author":"R. Agrawal","year":"1998","unstructured":"Agrawal, R., Gunopulos, D., Leymann, F.: Mining process models from workflow logs. In: Lecture Notes in Computer Science, vol.\u00a01377, pp.\u00a0469\u2013498. Springer, Berlin (1998)"},{"issue":"3","key":"7040_CR71","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"J.E. Cook","year":"1998","unstructured":"Cook, J.E., Wolf, A.L.: Discovering models of software processes from event-based data. ACM Trans. Softw. Eng. Methodol. (TOSEM) 7(3), 215\u2013249 (1998)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"7040_CR72","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/288195.288214","volume-title":"Proceedings of the 6th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"J.E. Cook","year":"1998","unstructured":"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.\u00a035\u201345. ACM Press, New York (1998)"},{"issue":"2","key":"7040_CR73","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s10618-006-0061-7","volume":"14","author":"A.K.A. Medeiros de","year":"2007","unstructured":"de Medeiros, A.K.A., Weijters, A.J.M.M., van der Aalst, W.M.P.: Genetic process mining: an experimental evaluation. Data Min. Knowl. Discov. 14(2), 245\u2013304 (2007)","journal-title":"Data Min. Knowl. Discov."},{"key":"7040_CR74","doi-asserted-by":"crossref","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process mining based on regions of languages. In: BPM, pp.\u00a0375\u2013383, 2007","DOI":"10.1007\/978-3-540-75183-0_27"},{"issue":"2","key":"7040_CR75","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s10618-007-0065-y","volume":"15","author":"L. Wen","year":"2007","unstructured":"Wen, L., van der Aalst, W.M.P., Wang, J., Sun, J.: Mining process models with non-free-choice constructs. Data Min. Knowl. Discov. 15(2), 145\u2013180 (2007)","journal-title":"Data Min. Knowl. Discov."},{"issue":"2","key":"7040_CR76","doi-asserted-by":"crossref","first-page":"23","DOI":"10.4018\/jwsr.2008040102","volume":"5","author":"S. Bhiri","year":"2008","unstructured":"Bhiri, S., Gaaloul, W., Godart, C.: Mining and improving composite web services recovery mechanisms. Int. J. Web Serv. Res. 5(2), 23\u201348 (2008)","journal-title":"Int. J. Web Serv. Res."},{"key":"7040_CR77","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/11914853_25","volume-title":"OTM Conferences\u00a0(1)","author":"M. Rouached","year":"2006","unstructured":"Rouached, M., Gaaloul, W., van der Aalst, W.M.P., Bhiri, S., Godart, C.: Web service mining and verification of properties: an\u00a0approach based on event calculus. In: Meersman, R., Tari, Z. (eds.) OTM Conferences\u00a0(1). Lecture Notes in Computer Science, vol.\u00a04275, pp.\u00a0408\u2013425. Springer, Berlin (2006)"}],"container-title":["Distributed and Parallel Databases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10619-009-7040-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10619-009-7040-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10619-009-7040-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,3]],"date-time":"2021-10-03T05:59:40Z","timestamp":1633240780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10619-009-7040-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,14]]},"references-count":77,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["7040"],"URL":"https:\/\/doi.org\/10.1007\/s10619-009-7040-0","relation":{},"ISSN":["0926-8782","1573-7578"],"issn-type":[{"value":"0926-8782","type":"print"},{"value":"1573-7578","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3,14]]}}}