Verifying Web services in a choreography environment

Proceedings - 2011 IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2011

Volumn , Issue , 2011, Pages

  Hwang, San Yih ^a   Hsieh, Wen Fan ^a   Lee, Chien Hsiang ^a  

^a NATIONAL SUN YAT SEN UNIVERSITY   (Taiwan)

Author keywords

Choreography model; Web services composition; Web services selection; Web services verification

Indexed keywords

COMMUNICATION TECHNOLOGIES; COMPOSITE WEB SERVICES; DE FACTO STANDARD; EXECUTION SEQUENCES; SERVICES SELECTION; WEB SERVICE COMPOSITION; WEB SERVICES COMPOSITION;

WEBSITES;

WEB SERVICES;

EID: 84859963659     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOCA.2011.6166254     Document Type: Conference Paper

References (12)

1. M. Baldoni, C. Baroglio, A. Martelli and V. Patti, "A priori conformance verification for guaranteeing interoperability in open environments.," in 4th International Conference Service-Oriented Computing (ICSOC 2006), 2006, pp. 339-351.
2. M. Baldoni, C. Baroglio, A. K. Chopra, N. Desai, V. Patti, and M. P. Singh, "Choice, interoperability, and conformance in interaction protocols and service choreographies," in 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009, pp. 843-850.
3. A. Barker, C. D. Walton and D. Robertson, "Choreographing Web Services," IEEE Transactions on Services Computing, vol. 2, pp. 152-166, 2009.
4. M. Bravetti and G. Zavattaro, "Contract Based Multi-party Service Composition," in International Symposium on Fundamentals of Software Engineering (FSEN 2007), 2007, pp. 207-222.
5. M. Bravetti and G. Zavattaro, "A theory for strong service compliance," in 9th International Conference on Coordination Models and Languages (COORDINATION 2007), 2007, pp. 96-112.
6. T. Bultan, X. Fu and J. Su, "Analyzing conversations: Realizability, synchronizability, and verification," in Test and Analysis of Web Services, L. Baresi and E. Nitto, Eds., ed: Springer, 2007, pp. 57-85.
7. H. Foster, S. Uchitel, J. Magee and J. Kramer, "Model-based analysis of obligations in web service choreography," in Advanced International Conference on Telecommunication and International Conference on Internet and Web Applications and Services, 2006.
8. N. Guermouche and C. Godart, "Timed Model Checking Based Approach for Web Services Analysis," in IEEE 7th International Conference on Web Services (ICWS 2009), 2009, pp. 213-221.
9. S. Y. Hwang, W. P. Liao and C. H. Lee, "Web Services Selection in Support of Reliable Web Service Choreography," in 2010 IEEE International Conference on Web Services, 2010, pp. 115-122.
10. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon, and C. Barreto. (2005, 09/03/2011). Web Services Choreography Description Language Version 1.0. Available: http://www.w3.org/TR/ws-cdl-10/
11. P. Linz, An introduction to formal languages and automata: Jones & Bartlett Learning, 2006.
12. X. Zhao, H. Yang and Z. Qui, "Towards the formal model and verification of Web services choreography description language," in 3rd International Workshop on Web Services and Formal Methods (WSFM'06), 2006.