Web Service Mining and Verification of Properties: An Approach Based on Event Calculus

  • Mohsen Rouached
  • Walid Gaaloul
  • Wil M. P. van der Aalst
  • Sami Bhiri
  • Claude Godart
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4275)


Web services are becoming more and more complex, involving numerous interacting business objects within complex distributed processes. In order to fully explore Web service business opportunities, while ensuring a correct and reliable execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. The work described in this paper is a contribution to these issues for Web services based process applications.

This article describes a novel way of applying process mining techniques to Web services logs in order to enable “Web service intelligence”. Our work attempts to apply Web service log-based analysis and process mining techniques in order to provide semantical knowledge about the context of and the reasons for discrepancies between process models and related instances.


Business Process Composition Process Abstract State Machine Event Calculus Soap Message 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    Arkin, A., Askary, S., Bloch, B., Curbera, F.: Web services business process execution language version 2.0. Technical report, OASIS (December 2004)Google Scholar
  3. 3.
    Baglioni, M., Ferrara, U., Romei, A., Ruggieri, S., Turini, F.: Use soap-based intermediaries to build chains of web service functionality (2002)Google Scholar
  4. 4.
    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–202. ACM Press, New York (2004)CrossRefGoogle Scholar
  5. 5.
    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–388 (1992)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control flow. In: Beauquier, D., Börger, E., Slissenko, A. (eds.) Proc. 12th International Workshop on Abstract State Machines, Paris, France, March 2005, pp. 131–151 (2005)Google Scholar
  8. 8.
    Ferrara, A.: Web services: a process algebra approach. In: ICSOC 2004: Proceedings of the 2nd international conference on Service oriented computing, pp. 242–251. ACM Press, New York (2004)CrossRefGoogle Scholar
  9. 9.
    Fisteus, J., Fernández, L., Kloos, C.: Formal verification of BPEL4WS business collaborations. In: Bauknecht, K., Bichler, M., Pröll, B. (eds.) EC-Web 2004. LNCS, vol. 3182, pp. 76–85. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    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–70 (2005)Google Scholar
  12. 12.
    Grigori, D., Casati, F., Castellanos, M., Dayal, U., Sayal, M., Shan, M.: Business Process Intelligence. Computers in Industry 53(3), 321–343 (2004)CrossRefGoogle Scholar
  13. 13.
    Koshina, M., van Breugel, F.: Verification of business processes for web services. Technical report, New York University, SFUCMPT-TR-2003-06Google Scholar
  14. 14.
    Kowalski, R., Sergot, M.J.: A logic-based calculus of events. New generation Computing 4(1), 67–95 (1986)CrossRefGoogle Scholar
  15. 15.
    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–104. ACM Press, New York (2004)CrossRefGoogle Scholar
  16. 16.
    Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    Mueller, E.T.: Event calculus reasoning through satisfiability. J. Log. and Comput. 14(5), 703–730 (2004)MathSciNetMATHCrossRefGoogle Scholar
  19. 19.
    Mühlen, 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–10. IEEE Computer Society Press, Los Alamitos (2000)Google Scholar
  20. 20.
    Nakajima, S.: Verification of web service flows with model-checking techniques. In: CW, pp. 378–385 (2002)Google Scholar
  21. 21.
    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–88. ACM Press, New York (2002)CrossRefGoogle Scholar
  22. 22.
    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, (2005)Google Scholar
  23. 23.
    Pauw, W., Lei, M., Pring, E., Villard, L., Arnold, M., Morar, J.: Web Services Navigator: Visualizing the Execution of Web Services. IBM Systems Journal 44(4), 821–845 (2005)CrossRefGoogle Scholar
  24. 24.
    Punin, J., Krishnamoorthy, M., Zaki, M.: Web usage mining: Languages and algorithms. In: Studies in Classification, Data Analysis, and Knowledge Organization. Springer, Heidelberg (2001)Google Scholar
  25. 25.
    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–388 (2006)Google Scholar
  26. 26.
    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. 3806, pp. 426–434. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  27. 27.
    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. 4102, pp. 257–273. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  28. 28.
    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)Google Scholar
  29. 29.
    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–883. Morgan Kaufmann, San Francisco (2002)CrossRefGoogle Scholar
  30. 30.
    Shanahan, M., Witkowski, M.: Event calculus planning through satisfiability. J. Log. and Comput. 14(5), 731–745 (2004)MathSciNetMATHCrossRefGoogle Scholar
  31. 31.
    Stahl, C.: Transformation von BPEL4WS in Petrinetze (In German). Master’s thesis, Humboldt University, Berlin, Germany (2004)Google Scholar
  32. 32.
    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–147 (2005)Google Scholar
  33. 33.
    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–147 (2005)Google Scholar
  34. 34.
    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, (2005)Google Scholar
  35. 35.
    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, (2006)Google Scholar
  36. 36.
    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 47(2), 237–267 (2003)CrossRefGoogle Scholar
  37. 37.
    van der Aalst, W.M.P., Weijters, A. (eds.): Process Mining, Special Issue of Computers in Industry, vol. 53(3). Elsevier Science Publishers, Amsterdam (2004)Google Scholar
  38. 38.
    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 42(1-3), 227–253 (2004)MathSciNetMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Mohsen Rouached
    • 1
  • Walid Gaaloul
    • 1
  • Wil M. P. van der Aalst
    • 2
  • Sami Bhiri
    • 1
  • Claude Godart
    • 1
  1. 1.LORIA-INRIA-UMR 7503Vandœuvre-les-Nancy CedexFrance
  2. 2.Department of Technology ManagementEindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations