Compatibility of service contracts in service-oriented applications

Proceedings - 2006 IEEE International Conference on Services Computing, SCC 2006

Volumn , Issue , 2006, Pages 28-35

  Nepal, Surya ^a   Zic, John ^a   Chau, Thi ^a  

^a CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

GRID COMPUTING; INFORMATION DISSEMINATION; PROBLEM SOLVING; SOFTWARE ARCHITECTURE;

SERVICE CONTRACTS; SERVICE ORIENTED ARCHITECTURES; SERVICE-ORIENTED APPLICATIONS;

WEB SERVICES;

EID: 35148847496     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2006.33     Document Type: Conference Paper

References (17)

1. WS-BusinessActivity. http://msdn.microsoft.com/library/en-us/ dnglobspec/html/WS-BusinessActivity.pdf
2. WS-Coordination. http://msdn.microsoft.com/library/en-us/dnglobspec/ html/WS-Coordination.pdf
3. WS-AtomicTransaction. http://msdn.microsoft.com/library/en-us/ dnglobspec/html/WS-AtomicTransaction.pdf
4. BPEL4WS. http://www-128.ibm.com/developerworks/library/ws-bpel/
5. SOAP Service Description Languages (SSDL). www.ssdl.org
6. H.Foster, S. Uchitel, J. Kramer, and J. Magee. Compatibility Verification for Web Service Choreography, ICWS, San Diego, CA, July 2004.
7. S. Nakajima, Model-Checking Verification for Reliable Web Service. OOPSLA 2002 Workshop on Object-oriented Web Services, Seatle, Washington, 2002.
8. Srini Nararaynan and S.A. McIlraith, Simulation, Verification and Automated Composition of Web Services. WWW 2002, May 7-11, 2002, Honolulu, Hawaii, USA.
9. T. Bultan, X. Fu, R Hall and J. Su. Conversation specification: A new approach to design and analysis of e-service composition. WWW, pp. 403-410, May 2003,
10. P.Greenfield, D. Kuo, S. Nepal and A. Fekete. Consistency for Web Services Applications. VLDB, Trondheim, Norway, 2005. pp. 1199-1203.
11. Holzmann, G., 'The Spin Model Checker: Primer and Reference Manual'. Addison-Wesley, 2003.
12. Web Service Choreography Interface (WSCI) 1.0. http://www.w3.org/TR/ wsci/
13. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl
14. P. Helland. Data on the Outside Versus Data on the Inside. Second Biennial Conference on Innovative Data Systems Research, January 4-7, 2005, Asilomar, CA
15. F. Mattern. Algorithms for distributed termination detection. Distributed Computing. 2,3, 1987.
16. Zhengang Cheng, Munindar P. Singh, and Mladen A. Vouk. Verifying Constraints on Web Service Compositions. In Vipul Kashyap and Leonard Shklar (eds), Real World Semantic Web Applications. 2002.
17. Boualem Benatallah, Fabio Casati, and Farouk Toumani. Web services conversation modeling: The Cornerstone for E-Business Automation. IEEE Internet Computing 8(1). Jan 2004.