{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:49:04Z","timestamp":1742957344876,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755623"},{"type":"electronic","value":"9783540755630"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75563-0_33","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T07:07:07Z","timestamp":1194937627000},"page":"485-501","source":"Crossref","is-referenced-by-count":7,"title":["Mining and Re-engineering Transactional Workflows for Reliable Executions"],"prefix":"10.1007","author":[{"given":"Walid","family":"Gaaloul","sequence":"first","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"}]}],"member":"297","reference":[{"issue":"3","key":"33_CR1","doi-asserted-by":"publisher","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.\u00a024(3), 239\u2013256 (1998)","journal-title":"Data Knowl. Eng."},{"issue":"1","key":"33_CR2","doi-asserted-by":"publisher","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. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"issue":"2","key":"33_CR3","doi-asserted-by":"publisher","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. Intell. Inf. Syst.\u00a010(2), 131\u2013158 (1998)","journal-title":"J. Intell. Inf. Syst."},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"Eder, J., Liebhart, W.: Workflow recovery. In: Conference on Cooperative Information Systems, pp. 124\u2013134 (1996)","DOI":"10.1109\/COOPIS.1996.555004"},{"key":"33_CR5","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":"33_CR6","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, pp. 1\u201315. Springer, Heidelberg (2002)"},{"key":"33_CR7","unstructured":"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), pp. 550\u2013566. Southern Methodist University (2001)"},{"key":"33_CR8","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, pp. 35\u201345. ACM Press, New York (1998)"},{"key":"33_CR9","unstructured":"Gaaloul, W.: La D\u00e9couverte de Workflow Transactionnel pour la Fiabilisation des Ex\u00e9cutions. Phd thesis, Universit\u00e9 Henri Poincar\u00e9 - Nancy 1, LORIA(November 3, 2006)"},{"issue":"2","key":"33_CR10","doi-asserted-by":"publisher","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\u00a03(2), 119\u2013153 (1995)","journal-title":"Distrib. Parallel Databases"},{"key":"33_CR11","unstructured":"Sheth, A., Rusinkiewicz, M.: On transactional workflows. Special Issue on Workflow and Extended Transaction Systems IEEE Computer Society\u00a0 (1993)"},{"key":"33_CR12","volume-title":"Database transaction models for advanced applications","author":"A.K. Elmagarmid","year":"1992","unstructured":"Elmagarmid, A.K.: Database transaction models for advanced applications. Morgan Kaufmann Publishers Inc, San Francisco (1992)"},{"key":"33_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/10722620_2","volume-title":"Cooperative Information Systems","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: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol.\u00a01901, pp. 18\u201329. Springer, Heidelberg (2000)"},{"key":"33_CR14","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.: A multidatabase transaction model for interbase. In: Proceedings of the sixteenth international conference on Very large databases, pp. 507\u2013518. Morgan Kaufmann Publishers Inc, San Francisco (1990)"},{"key":"33_CR15","doi-asserted-by":"publisher","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, pp. 309\u2013316. ACM Press, New York (1997)"},{"key":"33_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/11546924_3","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. 24\u201333. Springer, Heidelberg (2005)"},{"key":"33_CR17","unstructured":"Gaaloul, W., Godart, C.: A workflow mining tool based on logs statistical analysis. In: Maurer, F., Ruhe, G. (eds.) SEKE, pp. 37\u201344 (2006)"},{"key":"33_CR18","doi-asserted-by":"publisher","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, pp. 555\u2013557. ACM Press, New York (1998)"},{"key":"33_CR19","doi-asserted-by":"crossref","unstructured":"Bhiri, S., Perrin, O., Godart, C.: Extending workflow patterns with transactional dependencies to define reliable composite web services. In: AICT\/ICIW, p. 145. IEEE Computer Society (2006)","DOI":"10.1109\/AICT-ICIW.2006.97"},{"issue":"3","key":"33_CR20","doi-asserted-by":"publisher","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 concrete approach to support workflow change. Information Systems Frontiers\u00a03(3), 297\u2013317 (2001)","journal-title":"Information Systems Frontiers"},{"issue":"2","key":"33_CR21","doi-asserted-by":"publisher","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. Log. Algebr. Program.\u00a047(2), 47\u2013145 (2001)","journal-title":"J. Log. Algebr. Program."},{"key":"33_CR22","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1145\/170035.170133","volume-title":"Proceedings of the 1993 ACM SIGMOD international conference on Management of data","author":"W.W. Jin","year":"1993","unstructured":"Jin, W.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, pp. 456\u2013459. ACM Press, New York (1993)"},{"key":"33_CR23","first-page":"51","volume-title":"Proceedings of BTW 1995","author":"F. Leymann","year":"1995","unstructured":"Leymann, F.: Supporting business transactions via partial backward recovery in workflow management systems. In: Proceedings of BTW 1995, pp. 51\u201370. Springer, Heidelberg (1995)"},{"key":"33_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"OTM 2004","author":"W. Gaaloul","year":"2004","unstructured":"Gaaloul, W., Bhiri, S., Godart, C.: Discovering workflow transactional behaviour event-based log. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol.\u00a03290, Springer, Heidelberg (2004)"},{"key":"33_CR25","doi-asserted-by":"publisher","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, A.K.A.: Process mining and security: Detecting anomalous process executions and checking process conformance. Electr. Notes Theor. Comput. Sci.\u00a0121, 3\u201321 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"33_CR26","doi-asserted-by":"crossref","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. 163\u2013176 (2005)","DOI":"10.1007\/11678564_15"},{"issue":"3","key":"33_CR27","doi-asserted-by":"publisher","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.\u00a053(3), 321\u2013343 (2004)","journal-title":"Comput. Ind."},{"key":"33_CR28","series-title":"Lecture Notes in Computer Science","volume-title":"Advanced Information Systems Engineering","author":"K. Ba\u00efna","year":"2006","unstructured":"Ba\u00efna, K., Gaaloul, W., ElKhattabi, R., Mouhou, A.: A new workflow patterns and performance analysis tool. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, Springer, Heidelberg (2006)"},{"key":"33_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/11914853_25","volume-title":"OTM 2006","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 approach based on event calculus. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol.\u00a04275, pp. 408\u2013425. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling - ER 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75563-0_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T07:28:17Z","timestamp":1737530897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75563-0_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540755623","9783540755630"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75563-0_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}