Analysis of Composite Web Services Using Logging Facilities

  • Mohsen Rouached
  • Claude Godart
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4652)


In order to fully explore Web service business opportunities while ensuring a correct and reliable modelling and execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled.

This paper advocates a novel technique to log composite Web services and a formal approach, based on an algebraic specification of the discrete event calculus language \(\mathcal{DEC}\), to check behavioural properties of composite Web services regarding their execution log. An automated induction-based theorem prover SPIKE is used as verification back-end.


  1. 1.
    Akkiraju, R., Flaxer, D., Chang, H., Chao, T., Zhang, L., Wu, F., Jeng, J.: A framework for enabling dynamic e-business via web service. In: Proceedings of the OOPSLA, Florida, USA (2001)Google Scholar
  2. 2.
    Baglioni, M., Ferrara, U., Romei, A., Ruggieri, S., Turini, F.: Use soap-based intermediaries to build chains of web service functionality (2002)Google Scholar
  3. 3.
    Brittenham, P., Clune, J., Durand, J., Kleijkers, L., Sankar, K., Seely, S., Stobie, K., Turrell, G.: Ws-i analyzer tool functional specification.Google Scholar
  4. 4.
    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, Washington, DC, p. 738. IEEE Computer Society Press, Los Alamitos (2004)Google Scholar
  5. 5.
    Fu, X., Bultan, T., Su, J.: Analysis of interacting bpel web services. In: WWW 2004. Proceedings of the 13th international conference on World Wide Web, pp. 621–630. ACM Press, New York (2004)CrossRefGoogle Scholar
  6. 6.
    Irani, R.: Web services intermediaries adding value to web services (November 2001)Google Scholar
  7. 7.
    Koshina, M., van Breugel, F.: Verification of business processes for web services. Technical report, New York University, SFUCMPT-TR-2003-06 (2003)Google Scholar
  8. 8.
    Kowalski, R., Sergot, M.J.: A logic-based calculus of events. New generation Computing 4(1), 67–95 (1986)CrossRefGoogle Scholar
  9. 9.
    Nakajima, S.: Verification of web service flows with model-checking techniques. In: CW, pp. 378–385 (2002)Google Scholar
  10. 10.
    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
  11. 11.
    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: CoopIS 2006. Proceedings 14th International Conference on Cooperative Information Systems (November 2006)Google Scholar
  12. 12.
    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
  13. 13.
    Rouached, M., Perrin, O., Godart, C.: Towards formal verification of web service composition. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol. 4102, Springer, Heidelberg (2006)CrossRefGoogle Scholar
  14. 14.
    Stratulat, S.: A general framework to build contextual cover set induction provers. Journal of Symbolic Computation 32(4), 403–445 (2001)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Mohsen Rouached
    • 1
  • Claude Godart
    • 1
  1. 1.LORIA-INRIA-UMR 7503, BP 239, F-54506 Vandœuvre-les-Nancy CedexFrance

Personalised recommendations