Determination and computation of behavioral compatibility for Web services

Ruan Jian Xue Bao/Journal of Software

Volumn 18, Issue 12, 2007, Pages 3001-3014

  Deng, Shui Guang ^a   Li, Ying ^a   Wu, Jian ^a   Kuang, Li ^a   Wu, Zhao Hui ^a  

^a ZHEJIANG UNIVERSITY   (China)

Author keywords

calculus; Behavioral compatible; Process; Service behavior; Web service

Indexed keywords

ALGORITHMS; ELECTRONIC COMMERCE; INTEGRATION; SEMANTICS; SOFTWARE DESIGN;

BEHAVIORAL COMPATIBILITY; COMPATIBILITY DEGREE; EXPANSION LAW; PROCESS; SEAMLESS WAY; SERVICE BEHAVIOR; SERVICE COMPOSITION; SERVICE VIEW; SERVICES COLLABORATION; SERVICES INTEGRATION;

WEB SERVICES;

EID: 37749049451     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.1360/jos183001     Document Type: Article

References (20)

1. Dustdar S, Schreiner W, Schreiner W. A survey on Web services composition. Int'l Journal of Web and Grid Services, 2005, 1 (1): 1-30.
2. Bultan T, Fu X, Hull R, Su J. Conversation specification: A new approach to design and analysis of E-service composition. In: Hencsey G, White B, eds. Proc. of the 12th Int'l World Wide Web Conf. (WWW). Budapest: ACM, 2003. 403-410.
3. Martens A. On compatibility of Web services. Petri Net Newsletter, 2003, 65: 12-20.
4. Narayanan S, McIlraith S. Analysis and simulation of Web services. Computer Networks, 2003, 42 (5): 675-693.
5. Foster H, Uchitel S, Magee J, Kramer J. Compatibility verification for Web service choreography. In: Zhang LJ, ed. Proc. of the Int'l Conf. on Web Service (ICWS). San Diego: IEEE Computer Society, 2004. 738-741.
6. Zhang WT, Peng Y, Chen JL. Interface compatibility and composition of session-oriented E-service. Chinese Journal of Computers, 2006, 29 (7): 1047-1056 (in Chinese with English abstract).
7. Wombacher A, Fankhauser P, Mahleko B, Neuhold E. Matchmaking for business processes based on choreographies. Int'l Journal of Web Services Research, 2004, 1 (4): 14-32.
8. Fu X, Bultan T, Su JW. Analysis of interacting BPEL Web services. In: Hencsey G, White B, eds. Proc. of the Int'l World Wide Web Conf. (WWW). Budapest: ACM, 2004. 621-630.
9. Shi YL, Zhang L, Liu FF, Lin LL, Shi BL. Compatibility analysis of Web services. In: Skowron A, ed. Proc. of the IEEE/WIC/ACM Int'l Conf. on Web Intelligence. Compiegne: IEEE Computer Society, 2005. 483-486.
10. Milner R, Milner-Gulland R. Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, 1999.
11. Victor B, Moller F. The mobility workbench: A tool for the π-calculus. In: Dill DL, eds. Proc. of the Int'l Conf. on Computer Aided Verification. Springer-Verlag, 1994. 428-40.
12. Mei H, Shen JR. Progress of research on software architecture. Journal of Software, 2006, 17 (6): 1257-1275 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/17/1257.htm
13. Hu J, Zhang Y, Yu XF, Zhang T, Li XD, Zheng GL. Scenario-Driven component behavior derivation. Journal of Software, 2007, 18 (1): 50-61 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/18/50.htm
14. Hu HY, Lu J, Ma XX, Tao XP. Study on behavioral compatibility of components in software architecture using object-oriented paradigm. Journal of Software, 2006, 17 (6): 1276-1286 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/17/1276.htm
15. Bordeaux L, Salaün G. Using process algebra for Web services: Early results and perspectives. In: Nascimento MA, eds. Proc. of the 5th VLDB Workshop on Technologies for E-Services (VLDB-TES). Toronto: Springer-Verlag, 2004.
16. Yang H, Zhao X, Qiu Z, Pu G. A formal model for Web service choreography description language (WS-CDL). In: Feig E, ed. Proc. of the IEEE Int'l Conf. on Web Services. Chicago: IEEE Computer Society, 2006.
17. Brogi A, Canal C, Pimentel E, Vallecillo A. Formalizing Web service choreographies. In: Proc. of the 1st Int'l Workshop on Web Services and Formal Methods. Pisa: Elsevier, 2004.
18. Chen Z, Wang J, Dong W, Qi Z. An interface model for service-oriented software architecture. Journal of Software, 2006, 17 (6): 1459-1469 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/17/1459.htm
19. Beyer D, Chakrabarti A, Hengzinger T. Web service interfaces. In: Carr L, eds. Proc. of the Int'l World Wide Web Conf. (WWW). Chiba: ACM, 2005. 148-159.
20. Nezhad H, Benatallah B, Martens A, Curbera F, Casati F. Semi-Automated adaptation of service interactions. In: Williamson CL, eds. Proc. of the Int'l World Wide Web Conf. (WWW). Banff: ACM, 2007. 993-1002.