Communications semantics for WSBPEL processes

Proceedings of the IEEE International Conference on Web Services, ICWS 2008

Volumn , Issue , 2008, Pages 185-194

  Fdhila, Walid ^a   Rouached, Mohsen ^a   Godart, Claude ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL ANALYSIS; INFORMATION THEORY; WEB SERVICES;

BEHAVIOR ANALYSES; COMPOSITION DOMAINS; DEVELOPMENT ENVIRONMENTS; DIFFERENT PROCESSES; FORMAL TECHNIQUES; LOCAL PROCESSES; MESSAGE EXCHANGES; MULTIPLE PROCESSES; TWO POINTS; VERIFICATION TASKS; WEB SERVICE COMPOSITIONS; WEB SERVICES COMPOSITIONS;

WORLD WIDE WEB;

EID: 57749179266     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2008.55     Document Type: Conference Paper

References (25)

1. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services, Version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation, 2003.
2. A. Arkin, S. Askary, B. Bloch, and F. Curbera. Web services business process execution language version 2.0. Technical report, OASIS, December 2004.
3. A. Barros, M. Dumas, and P. Oaks. Critical overview of the web services choreography description language (ws-cdl), March 2005. http://www.bptrends.com.
4. D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, M. Lenzerini, and M. Mecella. Modeling data processes for service specifications in Colombo. In M. Missikoff and A. D. Nicola, editors, EMOI-INTEROP, volume 160 of CEUR Workshop Proceedings. CEUR-WS.org, 2005.
5. D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, and M. Mecella. Automatic composition of web services in Colombo. In A. Cal, D. Calvanese, E. Franconi, M. Lenzerini, and L. Tanca, editors, SEED, pages 8-15, 2005.
6. A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. Formalizing web service choreographies. Electr. Notes Theor. Comput. Set., 105:73-94, 2004.
7. S. Ceri, P. Praternali, and A. Bongio. Web mod-cling language (webml): a modeling language for designing web sites. Comput. Netw., 33(1-6):137-157, 2000.
8. D. Fahland and W. Reisig. ASM-based semantics for BPEL: The negative control flow. In D. Beauquier and E. Börgcr and A. Slissenko, editor, Proc. 12th International Workshop on Abstract State Machines, pages 131-151, Paris, France, March 2005.
9. A. Ferrara. Web services: A process algebra approach. In Proceedings of the 2nd international conference on Service oriented computing, pages 242-251, New York, NY, USA, 2004. ACM Press.
10. J. Fisteus, L. Fernández, and C. Kloos. Formal verification of BPEL4WS business collaborations. In K. Bauknecht, M. Bichler, and B. Proll, editors, Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies (EC-Web '04), volume 3182 of Lecture Notes in Computer Science, pages 79-94, Zaragoza, Spain, Aug. 2004. Springer-Verlag, Berlin.
11. H. Foster, J. Kramer, J. Magee, and S. Uchitel. Model-based verification of web service compositions. In 18th IEEE International Conference on Automated Software Engineering (ASE), 2003.
12. X. Fu. Formal Specification and Verification of Asynchronously Communicating Web Services. Phd Thesis, Santa Barbara, CA, USA, University of California, 2004.
13. 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.
14. R. Kazhamiakin, M. Pistore, and L. Santuari. Analysis of communication models in web service compositions. In WWW '06: Proceedings of the 15th international conference on World Wide Web, pages 267-276, New York, NY, USA, 2006. ACM.
15. R. Kowalski and M. J. Sergot. A logic-based calculus of events. New generation Computing 4(1), pages 67-95, 1986.
16. J. Magee and J. Kramer. Concurrency: state models & Java programs. John Wiley & Sons, Inc., New York, NY, USA, 1999.
17. I. Manolescu, M. Brambilla, S. Ceri, S. Comai, and P. Fraternali. Model-driven design and deployment of service-enabled web applications. ACM Trans. Inter. Tech., 5(3):439-479, 2005.
18. A. Martens. Analyzing Web Service Based Business Processes. In M. Cerioli, editor, Proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (EASE 2005), volume 3442 of Lecture Notes in Computer Science, pages 19-33. Springer-Verlag, Berlin, 2005.
19. C. Ouyang, W. Aalst, S. Breutel, M. Dumas, and H. Verbeek. Formal Semantics and Analysis of Control Flow in WS-BPEL. BPM Center Report BPM-05-15, BPMcenter.org, 2005.
20. M. Pistore, M. Roveri, and P. Busetta. Requirements-driven verification of web services. Electr. Notes Theor. Comput. Set., 105:95-108, 2004.
21. M. Rouached, W. Gaaloul, W. M. P. van der Aalst, S. Bhiri, and C. Godart. Web service mining and verification of properties: An approach based on event calculus. In Proceedings 14th International Conference on Cooperative Information Systems (CoopIS 2006), November 2006.
22. M. Rouached and C. Godart. Requirements-driven verification of wsbpel processes. In Proceedings of the IEEE International Conference on Web Services (ICWS'07). Salt Lake City, Utah, USA, July 9-13 2007.
23. C. Stahl. Transformation von BPEL4WS in Petrinetze (In German). Master's thesis, Humboldt University, Berlin, Germany, 2004.
24. F. van Breugel and M. Koshkina. Models and verification of bpel. Available at http://www.cse.yorku.ca/ franck/research/drafts/tutorial.pdf, 2006.
25. Y. Yang, Q. Tan, and Y. Xiao. Verifying web services composition based on hierarchical colored petri nets. In IHIS '05: Proceedings of the first international workshop on Interoperability of heterogeneous information systems, pages 47-54, New York. NY, USA, 2005. ACM Press.