Skip to main content
Springer Nature Link
Log in

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

  • Conference paper
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE (OTM 2006)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4275))

  • 1030 Accesses

Abstract

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.

An erratum to this chapter can be found at http://dx.doi.org/10.1007/11914853_71.

An erratum to this chapter can be found at http://dx.doi.org/10.1007/11914853_72 .

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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. 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. 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. 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)

    Chapter  Google Scholar 

  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. 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. 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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Grigori, D., Casati, F., Castellanos, M., Dayal, U., Sayal, M., Shan, M.: Business Process Intelligence. Computers in Industry 53(3), 321–343 (2004)

    Article  Google Scholar 

  13. Koshina, M., van Breugel, F.: Verification of business processes for web services. Technical report, New York University, SFUCMPT-TR-2003-06

    Google Scholar 

  14. Kowalski, R., Sergot, M.J.: A logic-based calculus of events. New generation Computing 4(1), 67–95 (1986)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  16. Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  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. Mueller, E.T.: Event calculus reasoning through satisfiability. J. Log. and Comput. 14(5), 703–730 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  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. Nakajima, S.: Verification of web service flows with model-checking techniques. In: CW, pp. 378–385 (2002)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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, BPMcenter.org (2005)

    Google Scholar 

  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)

    Article  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  30. Shanahan, M., Witkowski, M.: Event calculus planning through satisfiability. J. Log. and Comput. 14(5), 731–745 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  31. Stahl, C.: Transformation von BPEL4WS in Petrinetze (In German). Master’s thesis, Humboldt University, Berlin, Germany (2004)

    Google Scholar 

  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. 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. 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)

    Google Scholar 

  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, BPMcenter.org (2006)

    Google Scholar 

  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)

    Article  Google Scholar 

  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. 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)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LORIA-INRIA-UMR 7503, BP 239, F-54506, Vandœuvre-les-Nancy Cedex, France

    Mohsen Rouached, Walid Gaaloul, Sami Bhiri & Claude Godart

  2. Department of Technology Management, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands

    Wil M. P. van der Aalst

Authors
  1. Mohsen Rouached
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Walid Gaaloul
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wil M. P. van der Aalst
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Sami Bhiri
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Claude Godart
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. STARLab, Vrije Universiteit Brussel (VUB), Bldg G/10, Pleinlaan 2, 1050, Brussels, Belgium

    Robert Meersman

  2. School of Computer Science and Information Technology, RMIT University, Bld 10.10, 376-392 Swanston Street, 3001, Melbourne, VIC, Australia

    Zahir Tari

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rouached, M., Gaaloul, W., van der Aalst, W.M.P., Bhiri, S., Godart, C. (2006). Web Service Mining and Verification of Properties: An Approach Based on Event Calculus. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE. OTM 2006. Lecture Notes in Computer Science, vol 4275. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11914853_25

Download citation

  • DOI: https://doi.org/10.1007/11914853_25

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-48287-1

  • Online ISBN: 978-3-540-48289-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics