Abstract
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.
Download to read the full chapter text
Chapter PDF
References
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)
Baglioni, M., Ferrara, U., Romei, A., Ruggieri, S., Turini, F.: Use soap-based intermediaries to build chains of web service functionality (2002)
Brittenham, P., Clune, J., Durand, J., Kleijkers, L., Sankar, K., Seely, S., Stobie, K., Turrell, G.: Ws-i analyzer tool functional specification.
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)
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)
Irani, R.: Web services intermediaries adding value to web services (November 2001)
Koshina, M., van Breugel, F.: Verification of business processes for web services. Technical report, New York University, SFUCMPT-TR-2003-06 (2003)
Kowalski, R., Sergot, M.J.: A logic-based calculus of events. New generation Computing 4(1), 67–95 (1986)
Nakajima, S.: Verification of web service flows with model-checking techniques. In: CW, pp. 378–385 (2002)
Punin, J., Krishnamoorthy, M., Zaki, M.: Web usage mining: Languages and algorithms. In: Studies in Classification, Data Analysis, and Knowledge Organization, Springer, Heidelberg (2001)
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)
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)
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)
Stratulat, S.: A general framework to build contextual cover set induction provers. Journal of Symbolic Computation 32(4), 403–445 (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rouached, M., Godart, C. (2007). Analysis of Composite Web Services Using Logging Facilities. In: Georgakopoulos, D., et al. Service-Oriented Computing ICSOC 2006. ICSOC 2006. Lecture Notes in Computer Science, vol 4652. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75492-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-75492-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75491-6
Online ISBN: 978-3-540-75492-3
eBook Packages: Computer ScienceComputer Science (R0)