Towards formal verification of Web service composition

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

Volumn 4102 LNCS, Issue , 2006, Pages 257-273

  Rouached, Mohsen ^a   Perrin, Olivier ^a   Godart, Claude ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DATA ACQUISITION; DATA TRANSFER; DIFFERENTIATION (CALCULUS); ERROR CORRECTION; ERROR DETECTION; FORMAL LOGIC; WORLD WIDE WEB;

DATA FLOW; FORMAL VERIFICATION; VERIFICATION TECHNIQUES; WEB SERVICES;

INFORMATION SERVICES;

EID: 33750010119     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841760_18     Document Type: Conference Paper

References (19)

1. A. Arkin, S. Askary, B. Bloch, and F.Curbera. Web services business process execution language version 2.0. Technical report, OASIS, December 2004.
2. M. Denecker, L. Missiaen, and M. Bruynooghe. Temporal reasoning with abductive event calculus. In Proceedings of the 10th European Conference and Symposium on Logic Programming (ECAI), pages 384-388, 1992.
3. A. Ferrara. Web services: a process algebra approach. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 242-251, New York, NY, USA, 2004. ACM Press.
4. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Compatibility verification for web service choreography. In ICWS '04: Proceedings of the IEEE International Conference on Web Services (ICWS'04), page 738, Washington, DC, USA, 2004. IEEE Computer Society.
5. X. Fu, T. Bultan, and J. Su. Analysis of interacting bpel web services. In WWW '04: Proceedings of the 13th international conference on World Wide Web, pages 621-630, New York, NY, USA, 2004. ACM Press.
6. M. Koshina and F. van Breugel. Verification of business processes for web services. Technical report, New York University, SFUCMPT-TR-2003-06.
7. R. Kowalski and M. J. Sergot. A logic-based calculus of events. New generation Computing 4(1), pages 67-95, 1986.
8. M. S. Mandell, D.J. Adapting bpel4ws for the semantic web: The bottom-up approach to web service interoperation. In Proc of the 2nd Int. Semantic Web Conf. (ISWC), 2003.
9. A. Martens. Analysis and re-engineering of web services. In ICEIS (3), pages 419-426, 2004.
10. S. Mcllraith and T. Son. Adapting golog for composition of semantic web services. In Proc of the 8th International Conference on Principles of Knowledge Representation and Reasoning, 2002.
11. R. Miller and M. Shanahan. The event calculus in classical logic - alternative axiomatisations, 1999.
12. E. T. Mueller. Event calculus reasoning through satisfiability. J. Log. and Comput., 14(5):703-730, 2004.
13. S. Nakajima. Verification of web service flows with model-checking techniques. In CW, pages 378-385, 2002.
14. S. Narayanan and S. A. Mcllraith. Simulation, verification and automated composition of web services. In WWW '02: Proceedings of the 11th international conference on World Wide Web, pages 77-88, New York, NY, USA, 2002. ACM Press.
15. M. Rouached, O. Perrin, and C. Godart. A contract-based approach for monitoring collaborative web services using commitments in the event calculus. In Sixth International Conference on Web Information Engineering System (WISE05), pages 426-434, 2005.
16. K. Schmidt and C. Stahl. A petri net semantic for BPEL4WS validation and application. In Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN 04) / Ekkart Kindler (Ed.), pages 1-6. Bericht tr-ri-04-251, Universitt Paderborn, Sept. 2004.
17. M. Shanahan and M. Witkowski. Event calculus planning through satisfiability. J. Log. and Comput., 14(5):731-745, 2004.
18. W. M. P. van der Aalst, H. T. de Beer, and B. F. van Dongen. Process mining and verification of properties: An approach based on temporal logic. In OTM Conferences (1), pages 130-147, 2005.
19. P. Yolum and M. P. Singh. 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.