{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:27:50Z","timestamp":1747805270672},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540482871"},{"type":"electronic","value":"9783540482895"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11914853_25","type":"book-chapter","created":{"date-parts":[[2006,11,29]],"date-time":"2006-11-29T15:14:51Z","timestamp":1164813291000},"page":"408-425","source":"Crossref","is-referenced-by-count":13,"title":["Web Service Mining and Verification of Properties: An Approach Based on Event Calculus"],"prefix":"10.1007","author":[{"given":"Mohsen","family":"Rouached","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Gaaloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sami","family":"Bhiri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Godart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, Version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation (2003)","key":"25_CR1"},{"unstructured":"Arkin, A., Askary, S., Bloch, B., Curbera, F.: Web services business process execution language version 2.0. Technical report, OASIS (December 2004)","key":"25_CR2"},{"unstructured":"Baglioni, M., Ferrara, U., Romei, A., Ruggieri, S., Turini, F.: Use soap-based intermediaries to build chains of web service functionality (2002)","key":"25_CR3"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/1035167.1035195","volume-title":"ICSOC 2004: Proceedings of the 2nd International Conference on Service Oriented Computing","author":"L. Baresi","year":"2004","unstructured":"Baresi, L., Ghezzi, C., Guinea, S.: Smart Monitors for Composed Services. In: ICSOC 2004: Proceedings of the 2nd International Conference on Service Oriented Computing, pp. 193\u2013202. ACM Press, New York (2004)"},{"unstructured":"Denecker, M., Missiaen, L., Bruynooghe, M.: Temporal reasoning with abductive event calculus. In: Proceedings of the 10th European Conference and Symposium on Logic Programming (ECAI), pp. 384\u2013388 (1992)","key":"25_CR5"},{"unstructured":"Dustdar, S., Gombotz, R., Baina, K.: Web Services Interaction Mining. Technical Report TUV-1841-2004-16, Information Systems Institute, Vienna University of Technology, Wien, Austria (2004)","key":"25_CR6"},{"unstructured":"Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control flow. In: Beauquier, D., B\u00f6rger, E., Slissenko, A. (eds.) Proc. 12th International Workshop on Abstract State Machines, Paris, France, March 2005, pp. 131\u2013151 (2005)","key":"25_CR7"},{"key":"25_CR8","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/1035167.1035202","volume-title":"ICSOC 2004: Proceedings of the 2nd international conference on Service oriented computing","author":"A. Ferrara","year":"2004","unstructured":"Ferrara, A.: Web services: a process algebra approach. In: ICSOC 2004: Proceedings of the 2nd international conference on Service oriented computing, pp. 242\u2013251. ACM Press, New York (2004)"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-30077-9_8","volume-title":"E-Commerce and Web Technologies","author":"J. Fisteus","year":"2004","unstructured":"Fisteus, J., Fern\u00e1ndez, L., Kloos, C.: Formal verification of BPEL4WS business collaborations. In: Bauknecht, K., Bichler, M., Pr\u00f6ll, B. (eds.) EC-Web 2004. LNCS, vol.\u00a03182, pp. 76\u201385. Springer, Heidelberg (2004)"},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"738","DOI":"10.1109\/ICWS.2004.1314806","volume-title":"ICWS 2004: Proceedings of the IEEE International Conference on Web Services (ICWS 2004)","author":"H. Foster","year":"2004","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility verification for web service choreography. In: ICWS 2004: Proceedings of the IEEE International Conference on Web Services (ICWS 2004), Washington, DC, USA, p. 738. IEEE Computer Society, Los Alamitos (2004)"},{"unstructured":"Gombotz, R., Dustdar, S.: On Web Services Mining. In: Castellanos, M., Weijters, T. (eds.) First International Workshop on Business Process Intelligence (BPI 2005), Nancy, France, September 2005, pp. 58\u201370 (2005)","key":"25_CR11"},{"issue":"3","key":"25_CR12","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.: Business Process Intelligence. Computers in Industry\u00a053(3), 321\u2013343 (2004)","journal-title":"Computers in Industry"},{"unstructured":"Koshina, M., van Breugel, F.: Verification of business processes for web services. Technical report, New York University, SFUCMPT-TR-2003-06","key":"25_CR13"},{"issue":"1","key":"25_CR14","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.J.: A logic-based calculus of events. New generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New generation Computing"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1145\/1035167.1035182","volume-title":"ICSOC 2004: Proceedings of the 2nd International Conference on Service Oriented Computing","author":"A. Lazovik","year":"2004","unstructured":"Lazovik, A., Aiello, M., Papazoglou, M.: Associating Assertions with Business Processes and Monitoring their Execution. In: ICSOC 2004: Proceedings of the 2nd International Conference on Service Oriented Computing, pp. 94\u2013104. ACM Press, New York (2004)"},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-31984-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Martens","year":"2005","unstructured":"Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 19\u201333. Springer, Heidelberg (2005)"},{"unstructured":"McIlraith, S., Son, T.: Adapting golog for composition of semantic web services. In: Proc of the 8th International Conference on Principles of Knowledge Representation and Reasoning (2002)","key":"25_CR17"},{"issue":"5","key":"25_CR18","doi-asserted-by":"publisher","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. Log. and Comput.\u00a014(5), 703\u2013730 (2004)","journal-title":"J. Log. and Comput."},{"key":"25_CR19","first-page":"1","volume-title":"Proceedings of the 33rd Hawaii International Conference on System Science (HICSS-33)","author":"M. M\u00fchlen","year":"2000","unstructured":"M\u00fchlen, M., Rosemann, M.: Workflow-based Process Monitoring and Controlling - Technical and Organizational Issues. In: Sprague, R. (ed.) Proceedings of the 33rd Hawaii International Conference on System Science (HICSS-33), pp. 1\u201310. IEEE Computer Society Press, Los Alamitos (2000)"},{"doi-asserted-by":"crossref","unstructured":"Nakajima, S.: Verification of web service flows with model-checking techniques. In: CW, pp. 378\u2013385 (2002)","key":"25_CR20","DOI":"10.1109\/CW.2002.1180904"},{"key":"25_CR21","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/511446.511457","volume-title":"WWW 2002: Proceedings of the 11th international conference on World Wide Web","author":"S. Narayanan","year":"2002","unstructured":"Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: WWW 2002: Proceedings of the 11th international conference on World Wide Web, pp. 77\u201388. ACM Press, New York (2002)"},{"unstructured":"Ouyang, C., Aalst, W., Breutel, S., Dumas, M., Verbeek, H.: Formal Semantics and Analysis of Control Flow in WS-BPEL. BPM Center Report BPM-05-15, BPMcenter.org (2005)","key":"25_CR22"},{"issue":"4","key":"25_CR23","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1147\/sj.444.0821","volume":"44","author":"W. Pauw","year":"2005","unstructured":"Pauw, W., Lei, M., Pring, E., Villard, L., Arnold, M., Morar, J.: Web Services Navigator: Visualizing the Execution of Web Services. IBM Systems Journal\u00a044(4), 821\u2013845 (2005)","journal-title":"IBM Systems Journal"},{"key":"25_CR24","volume-title":"Studies in Classification, Data Analysis, and Knowledge Organization","author":"J. Punin","year":"2001","unstructured":"Punin, J., Krishnamoorthy, M., Zaki, M.: Web usage mining: Languages and algorithms. In: Studies in Classification, Data Analysis, and Knowledge Organization. Springer, Heidelberg (2001)"},{"unstructured":"Rouached, M., Godart, C.: An event based model for web services coordination. In: 2nd International Conference on Web Information Systems and Technologies (WEBIST 2006), Setubal, Portugal, April 11-13, pp. 384\u2013388 (2006)","key":"25_CR25"},{"key":"25_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/11581062_32","volume-title":"Web Information Systems Engineering \u2013 WISE 2005","author":"M. Rouached","year":"2005","unstructured":"Rouached, M., Perrin, O., Godart, C.: A Contract-Based Approach for Monitoring Collaborative Web Services Using Commitments in the Event Calculus. In: Ngu, A.H.H., Kitsuregawa, M., Neuhold, E.J., Chung, J.-Y., Sheng, Q.Z. (eds.) WISE 2005. LNCS, vol.\u00a03806, pp. 426\u2013434. Springer, Heidelberg (2005)"},{"key":"25_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11841760_18","volume-title":"Business Process Management","author":"M. Rouached","year":"2006","unstructured":"Rouached, M., Perrin, O., Godart, C.: Towards Formal Verification of Web Service Composition. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 257\u2013273. Springer, Heidelberg (2006)"},{"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)","key":"25_CR28","DOI":"10.1007\/11678564_15"},{"key":"25_CR29","doi-asserted-by":"publisher","first-page":"880","DOI":"10.1016\/B978-155860869-6\/50086-X","volume-title":"Proceedings of 28th International Conference on Very Large Data Bases (VLDB 2002)","author":"M. Sayal","year":"2002","unstructured":"Sayal, M., Casati, F., Dayal, U., Shan, M.: Business Process Cockpit. In: Proceedings of 28th International Conference on Very Large Data Bases (VLDB 2002), pp. 880\u2013883. Morgan Kaufmann, San Francisco (2002)"},{"issue":"5","key":"25_CR30","doi-asserted-by":"publisher","first-page":"731","DOI":"10.1093\/logcom\/14.5.731","volume":"14","author":"M. Shanahan","year":"2004","unstructured":"Shanahan, M., Witkowski, M.: Event calculus planning through satisfiability. J. Log. and Comput.\u00a014(5), 731\u2013745 (2004)","journal-title":"J. Log. and Comput."},{"unstructured":"Stahl, C.: Transformation von BPEL4WS in Petrinetze (In German). Master\u2019s thesis, Humboldt University, Berlin, Germany (2004)","key":"25_CR31"},{"doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.F.: Process mining and verification of properties: An approach based on temporal logic. In: OTM Conferences (1), pp. 130\u2013147 (2005)","key":"25_CR32","DOI":"10.1007\/11575771_11"},{"doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.F.: Process mining and verification of properties: An approach based on temporal logic. In: OTM Conferences (1), pp. 130\u2013147 (2005)","key":"25_CR33","DOI":"10.1007\/11575771_11"},{"unstructured":"van der Aalst, W.M.P., Dumas, M., Ouyang, C., Rozinat, A., Verbeek, H.: Choreography Conformance Checking: An Approach based on BPEL and Petri Nets (extended version). BPM Center Report BPM-05-25, BPMcenter.org (2005)","key":"25_CR34"},{"unstructured":"van der Aalst, W.M.P., Pesic, M.: Specifying, Discovering, and Monitoring Service Flows: Making Web Services Process-Aware. BPM Center Report BPM-06-09, BPMcenter.org (2006)","key":"25_CR35"},{"issue":"2","key":"25_CR36","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0169-023X(03)00066-1","volume":"47","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., van Dongen, B., Herbst, J., Maruster, L., Schimm, G., Weijters, A.: Workflow Mining: A Survey of Issues and Approaches. Data and Knowledge Engineering\u00a047(2), 237\u2013267 (2003)","journal-title":"Data and Knowledge Engineering"},{"volume-title":"Process Mining, Special Issue of Computers in Industry","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, A. (eds.): Process Mining, Special Issue of Computers in Industry, vol.\u00a053(3). Elsevier Science Publishers, Amsterdam (2004)","key":"25_CR37"},{"issue":"1-3","key":"25_CR38","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/B:AMAI.0000034528.55456.d9","volume":"42","author":"P. Yolum","year":"2004","unstructured":"Yolum, P., Singh, M.P.: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence\u00a042(1-3), 227\u2013253 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11914853_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T12:33:12Z","timestamp":1555936392000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11914853_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540482871","9783540482895"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/11914853_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}