Analysis of composite web services using logging facilities

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4652 LNCS, Issue , 2007, Pages 74-85

  Rouached, Mohsen ^a   Godart, Claude ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; DISCRETE EVENT SIMULATION; FORMAL METHODS; THEOREM PROVING; VERIFICATION;

COMPOSITE WEB SERVICES; DISCRETE EVENT CALCULUS LANGUAGE; LOGGING FACILITIES;

WEB SERVICES;

EID: 38049134897     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75492-3_7     Document Type: Conference Paper

References (14)

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)
2. Baglioni, M., Ferrara, U., Romei, A., Ruggieri, S., Turini, F.: Use soap-based intermediaries to build chains of web service functionality (2002)
3. Brittenham, P., Clune, J., Durand, J., Kleijkers, L., Sankar, K., Seely, S., Stobie, K., Turrell, G.: Ws-i analyzer tool functional specification.
4. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility verification for web service choreography. In: ICWS'04. Proceedings of the IEEE International Conference on Web Services, Washington, DC, p. 738. IEEE Computer Society Press, Los Alamitos (2004)
5. Fu, X., Bultan, T., Su, J.: Analysis of interacting bpel web services. In: WWW '04. Proceedings of the 13th international conference on World Wide Web, pp. 621-630. ACM Press, New York (2004)
6. Irani, R.: Web services intermediaries adding value to web services (November 2001)
7. Koshina, M., van Breugel, F.: Verification of business processes for web services. Technical report, New York University, SFUCMPT-TR-2003-06 (2003)
8. Kowalski, R., Sergot, M.J.: A logic-based calculus of events. New generation Computing 4(1), 67-95 (1986)
9. Nakajima, S.: Verification of web service flows with model-checking techniques. In: CW, pp. 378-385 (2002)
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)
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)
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)
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)
14. Stratulat, S.: A general framework to build contextual cover set induction provers. Journal of Symbolic Computation 32(4), 403-445 (2001)