An approach to checking compatibility of service contracts in service-oriented applications

International Journal of Web Services Research

Volumn 6, Issue 2, 2009, Pages 42-65

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

^a CSIRO   (Australia)

Author keywords

Compatibility of web services; Service contract; Service oriented architecture; Web services transaction

Indexed keywords

CONTRACTS; INFORMATION SERVICES; MAINTENANCE; WEB SERVICES; WEBSITES;

APPLICATION DEVELOPERS; COMPATIBILITY CONDITIONS; CROSS-ORGANIZATIONAL; DESIGN TIME; DISTRIBUTED APPLICATIONS; SERVICE COMPOSITIONS; SERVICE CONTRACT; SERVICE ORIENTED APPLICATION;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 84899200913     PISSN: 15457362     EISSN: 15465004     Source Type: Journal    
DOI: 10.4018/jwsr.2009040103     Document Type: Article

References (30)

1. Benatallah, B., Casati, F., & Toumani, F. (2004, January). Web services conversation modeling: The cornerstone for e-business automation. IEEE Internet Computing, 8(1), 46-54.
2. Bhuiyan, J., Nepal, S., & Zic, J. (2006, April). Checking conformance between business processes and Web service contract in service oriented applications. In Proceedings of the Australian Software Engineering Conference (ASWEC 2006), Sydney, Australia (pp. 80-89).
3. BPEL4WS. (2002). Retrieved January 18, 2009, from http://www-128.ibm.com/developerworks/library/specification/ws-bpel/
4. Bultan, T., Fu, X., Hall, R., & Su, J. (2003, May). Conversation specification: A new approach to design and analysis of e-service composition. WWW (pp. 403-410).
5. Cheng, Z., Singh, M. P., & Vouk, M. A. (2002). Verifying constraints on Web service compositions. In V. Kashyap & L. Shklar (Eds.), Real world Semantic Web applications.
6. Elmagarmid, A. (1992). Database transaction models for advanced applications. Morgan Kaufmann.
7. Foster, H., Uchitel, S., Kramer, J., & Magee, J (2003, October). Model-based verification of Web service compositions. In Proceedings of the IEEE International Conference on Automated Software Engineering (ASE) Conference 2003, Montreal, Canada (pp. 95-99).
8. Foster, H., Uchitel, S., Kramer, J., & Magee, J (2004, July). Compatibility verification for Web service choreography. In Proceedings of the ICWS, San Diego (pp. 738-741).
9. Fu, X., Bultan, T., & Su, J. (2003). Conversation protocols: A formalism for specification and verification of reactive electronic services. In Proceedings of the 8th International Conferences on Implementation and Application of Automata (CIAA) (Vol. 2759, pp. 188-200).
10. Fu, X., Bultan, T., & Su, J. (2004, May 17-22). Analysis of Interacting BPEL Web services. In Proceedings of the WWW 2004, New York (pp. 621-630).
11. Garcia-Molina, H., & Salem, K. (1987). Sagas. In Proceedings of the ACM International Conference on Management of Data (SIGMOD) (pp. 249-259).
12. Gray, J., & Reuter, A. (1992). Transaction processing: Concepts and techniques. Morgan Kaufmann.
13. Greenfield, P., Kuo, D., Nepal, S., & Fekete, A. (2005). Consistency for Web services applications. In Proceedings of the VLDB, Trondheim, Norway (pp. 1199-1203).
14. Helland, P. (2005, January 4-7). Data on the outside versus data on the inside. Paper presented at the Second Biennial Conference on Innovative Data Systems Research, Asilomar, CA.
15. Hoare, C. A. R. (1985). Communicating sequential processes. Prentice-Hall international series in computer science. ISBN 0-13-153289-8.
16. Holzmann, G. (2003). The spin model checker: Primer and reference manual. Addison-Wesley.
17. Jang, J., Fekete, A., Greenfield, P., & Nepal, S. (2006, October). An event-driven workflow engine for service-based business systems. In Proceedings of International Enterprise Distributed Object Systems Conference (EDOC'06), Hong Kong (pp. 233-242).
18. Kuo, D., Fekete, A., Greenfield, P., Nepal, S., Zic, J., Parastitidis, S., et al. (2006, September). Expressing and reasoning about service contracts in service-oriented computing. In Proceedings of International Conference on Web Services (ICWS), Chicago (pp. 915-918).
19. Mattern, F. (1987). Algorithms for distributed termination detection. Distributed Computing, (2), 161-175.
20. Nakajima, S. (2002). Model-checking verification for reliable Web service. Paper presented at the OOPSLA 2002 Workshop on Object-Oriented Web Services, Seattle.
21. Nararaynan, S., & Mcllraith, S. A. (2002, May 7-11). Simulation, verification and automated composition of Web services. In Proceedings of the WWW 2002, Honolulu, Hawaii (pp. 77-88).
22. Nepal, S., Fekete, A., Greenfield, P., Jang, J., Kuo, D., & Shi, T (2005). A service-oriented workflow language for robust interacting applications. In Proceedings of CoopIS (LNCS 3760, pp. 40-58).
23. Nepal, S., Zic, J., & Chau, T. (2006, September). Compatibility of service contracts in service-oriented applications. In Proceedings of the IEEE SCC 2006, Chicago (pp. 28-35).
24. Parastatidis, S., Woodman, S., Webber, J., Kuo, D., & Greenfield, P. (2006). Asynchronous messaging between Web services using SSDL. IEEE Internet Computing, 10(1), 26-39.
25. SSDL. (2005). SOAP service description languages (SSDL). Retrieved January 18, 2009, from www. ssdl.org
26. WS-AT. (2005). WS-AtomicTransaction. Retrieved January 18, 2009, from http://msdn.microsoft. com/library/en-us/dnglobspec/html/WS-Atomic- Transaction.pdf
27. WS-BA. (2005). WS-BusinessActivity. Retrieved January 18, 2009, from http://msdn.microsoft. com/library/en-us/dnglobspec/html/WS-BusinessActivity. pdf
28. WSCI. (2002). Web service choreography interface (WSCI) 1.0. Retrieved January 18, 2009, from http://www.w3.org/TR/wsci/
29. WS-Coord. (2005). WS-Coordination. Retrieved January 18, 2009, from http://msdn.microsoft. com/library/en-us/dnglobspec/html/WS-Coordination. pdf
30. WSDL. (2001). Web services description language (WSDL) 1.1. Retrieved January 18, 2009, from http://www.w3.org/TR/wsdl