Issues on the compatibility of web service contracts

Innovations, Standards and Practices of Web Services: Emerging Research Topics

Volumn , Issue , 2011, Pages 154-188

  Nepal, Surya ^a   Zic, John ^a  

^a CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84866376084     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-61350-104-7.ch008     Document Type: Chapter

References (52)

1. Abrial, J.-R. (1996). The B-nook: Assigning programs to meanings. Cambridge University Press. doi:10.1017/CBO9780511624162
2. Benatallah, B., Casati, F., Grigori, D., Nezhad, H. R. M., & Touami, F. (2005). Developing adapters for Web Services integration. In Proceedings of the International Conference on Advanced Information Systems Engineering (CAiSE), Porto, Portugal.
3. 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. doi:10.1109/MIC.2004.1260703
4. 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).
5. Bordeaux, L., Salaün, G., Berardi, D., & Mecella, M. (2005). When are two web services compatible? In Technologies for E-Services (pp. 15-28). Berlin, Germany: Springer. doi:10.1007/978-3540-31811-8_2
6. Borovskiy, V., Mueller, J., Schapranow, M., & Zeier, A. (2009). Ensuring service backwards compatibility with generic web services. In Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems (pp. 95-98).
7. BPEL4WS. (2002). Retrieved January 18, 2009, from http://www-128.ibm.com/developerworks/library/specification/ws-bpel/
8. Brogi, A., Canal, C., Pimentel, E., & Vallecillo, A. (2004). Formalizing Web service choreographies. In Proceedings of the First International Workshop on Web Services and Formal Methods (pp. 73-94).
9. Bultan, T., Fu, X., Hall, R., & Su, J. (2003, May). Conversation specification: A new approach to design and analysis of e-service composition. In World Wide Web, (pp. 403-410).
10. Carpinet, S., Castagna, G., Laneve, C., & Padovani, L. (2006). A formal account of contracts for Web services. In Proceedings of 3rd International Workshop on Web Services and Formal Methods (pp. 148-168)
11. Castagna, G., Gesbert, N., & Padovani, L. (2009, June). A theory of contracts for Web services. ACM Trans Program. Lang. Syst., 31(5), 1-61. doi:10.1145/1538917.1538920
12. Cheng, Z., Singh, M. P., & Vouk, M. A. (2002). Verifying constraints on web service compositions. In Kashyap, V., & Shklar, L. (Eds.), Real world semantic web applications.
13. Davulcu, H., Kifer, M., & Ramakrishnan, I. V. (May 2004). CTR-S: A logic for specifying contracts in semantic web services. In Proceedings of the 13th International World Wide Web Conference, New York, NY, USA (pp. 144-153).
14. Elmagarmid, A. (1992). Database transaction models for advanced applications. Morgan Kaufmann.
15. Foster, H., Uchitel, S., Kramer, J., & Magee, J. (2003, October). Model-based verification of web service compositions. In Proceedings of IEEE International Conference on Automated Software Engineering (ASE) Conference, Montreal, Canada (pp. 95-99).
16. Foster, H., Uchitel, S., Kramer, J., & Magee, J. (2004, July). Compatibility verification for Web Service choreography. In Proceedings of International Conference on Web Services (ICWS), San Diego (pp. 738-741).
17. Fu, X., Bultan, T., & Su, J. (2003). Conversation protocols: A formalism for specification and verification of reactive electronic services. In Proceedings of 8th International Conferences on Implementation and Application of Automata (CIAA) (vol. 2759, pp. 188-200).
18. Fu, X., Bultan, T., & Su, J. (2004, May). Analysis of interacting BPELWeb services. In Proceedings of WWW, New York (pp. 621-630).
19. Gao, C., Liu, R., Song, Y., & Chen, H. (2006). A model checking tool embedded into services composition environment. In Proceedings of International Conference on Grid and Cooperative Computing (pp. 355-362).
20. Garcia-Molina, H., & Salem, K. (1987). Sagas. In Proceedings of ACM International Conference on Management of Data (SIGMOD), (pp. 249-259).
21. Gray, J., & Reuter, A. (1992). Transaction processing: Concepts and techniques. Morgan Kaufmann 1992.
22. Greenfield, P., Kuo, D., Nepal, S., & Fekete, A. (2005). Consistency for Web services applications. In Proceedings of VLDB, Trondheim, Norway (pp. 1199-1203).
23. Helland, P. (2005, January). Data on the outside versus data on the inside. In Proceedings of Second Biennial Conference on Innovative Data Systems Research, Asilomar, CA.
24. Hoare, C. A. R. (1985). Communicating sequential processes. Prentice-Hall International Series in Computer Science.
25. Holzmann, G. (2003). The spin model checker: Primer and reference manual. Addison-Wesley.
26. 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, China, (pp. 233-242).
27. Kuo, D., Fekete, A., Greenfield, P., Nepal, S., Zic, J., Parastitidis, S., & Webber, J. (2006, September). Expressing and reasoning about service contracts in service-oriented computing. In Proceedings of International Conference on Web Services (ICWS), Chicago, Illinois USA (pp. 915-918).
28. Martens, A., Moser, S., Gerhardt, A., & Funk, K. (2006). Analyzing compatibility of BPEL processes. In Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services.
29. Mattern, F. (1987). Algorithms for distributed termination detection. Distributed Computing, 2, 161-175. doi:10.1007/BF01782776
30. Medjahed, B., Bouguettaya, A., & Elmagarmid, A. (2003, Nov). Composing Web services on the Semantic Web. The VLDB Journal, 12(4), 333-351. doi:10.1007/s00778-003-0101-5
31. Meredith, L. G., & Bjorg, S. (2003). Contracts and types. Communications of the ACM, 46(10), 41-47. doi:10.1145/944217.944236
32. Milanovic, N., & Malek, M. (2004, Nov./Dec.). Current solutions for web service composition. IEEE Internet Computing, 8(6), 51-59. doi:10.1109/MIC.2004.58
33. Milner, R. (1989). Communication and concurrency. Prentice-Hall International Series in Computer Science.
34. Nakajima, S. (2002). Model-checking verification for reliable web service. In Proceedings of OOPSLA 2002 Workshop on Object-oriented Web Services, Seattle, Washington.
35. Nararaynan, S., & Mcllraith, S. A. (2002, May). Simulation, verification and automated composition of web services. In Proceedings of WWW, Honolulu, Hawaii (pp. 77-88).
36. 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, 2005).
37. Nepal, S., Zic, J., & Chau, T. (2006, September). Compatibility of service contracts in serviceoriented applications. In Proceedings of IEEE SCC, Chicago (pp. 28-35).
38. Nepal, S., Zic, J., & Chau, T. (2009). An approach to checking compatibility of service contracts in service-oriented applications. International Journal of Web Services Research, 6(2), 42-65. doi:10.4018/jwsr.2009040103
39. Orriëns, B., & Yang, J. (2005). Establishing and maintaining compatibility in service oriented business collaboration. In Proceedings of the 7th international Conference on Electronic Commerce ICEC '05, (pp. 446-453).
40. 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. doi:10.1109/MIC.2006.3
41. Shi, Y., Zhang, L., Liu, F., Lin, L., & Shi, B. (2005). Compatibility analysis of Web Services. In Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web intelligence (pp. 483-486).
42. Shu, C., Qing, W. G., & Jing, X. (2008). A process algebra approach for the compatibility analysis of web services. In Proceedings of the 2008 Second International Conference on Future Generation Communication and Networking (pp. 305-308).
43. SSDL. (2005). SOAP service description languages (SSDL). Retrieved January 18, 2009, from www.ssdl.org
44. Tan, W., Fan, Y., & Zhou, M. (2009). A petri net-based method for compatibility analysis and composition of web services in business process execution language. IEEE Transactions on Automation Science and Engineering, 6(1), 94-106. doi:10.1109/TASE.2008.916747
45. WS-AT. (2005). WS-AtomicTransaction. Retrieved January 18, 2009, from http://msdn.microsoft.com/library/en-us/dnglobspec/html/WS-AtomicTransaction.pdf
46. WS-BA. (2005). WS-BusinessActivity. Retrieved January 18, 2009, from http://msdn.microsoft.com/library/en-us/dnglobspec/html/WSBusinessActivity.pdf
47. WS-Coord. (2005). WS-Coordination. Retrieved January 18, 2009, from http://msdn.microsoft.com/library/en-us/dnglobspec/html/WSCoordination.pdf
48. WSCI. (2002). Web service choreography interface (WSCI) 1.0. Retrieved January 18, 2009, from http://www.w3.org/TR/wsci/
49. WSDL. (2001). Web services description language (WSDL) 1.1. Retrieved January 18, 2009, from http://www.w3.org/TR/wsdl
50. Yan, Y., Aït-Bachir, A., Chen, M., & Zhang, K. (2010). Compatibility and reparation of web service processes. In Proceedings of the 2010 IEEE International Conference on Web Services (pp. 634-637).
51. Zhang, S., Sun, J., Yin, K., & Xu, B. (2008). Petri net based web service interactive behavior compatibility analysis. In Proceedings of International Seminar on Business and Information Management (pp. 473-476).
52. Zhou, Z., Ning, K., Bhiri, S., Vasiliu, L., Shu, L., & Hauswirth, M. (2008). Behavioral analysis of web services for supporting mediated service interoperations. In Proceedings of the 10th International Conference on Electronic Commerce (pp. 1-10).