Algorithms for checking channel passing in web service choreography | |
Yang, Hongli ; Cai, Chao ; Peng, Liyang ; Zhao, Xiangpeng ; Qiu, Zongyan ; Qin, Shengchao | |
2013 | |
关键词 | web service choreography channel passing algorithms INTERACTION PATTERNS SYSTEM-DESIGN CONFORMANCE ORCHESTRATION PROTOCOLS |
英文摘要 | Web service choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel(s) used in the interaction, otherwise the execution will get stuck. Since channels are composed dynamically, the initial channel set of each participant is often insufficient to meet the requirements. It is the responsibility of the participants to pass required channels owned (known) by one to others. Since service choreography may involve many participants and complex channel constraints, it is hard for designers to specify channel passing in a choreography exactly as required. We address the problem of checking whether a service choreography lacks channels or has redundant channels, and how to automatically generate channel passing based on interaction flows of the service choreography in the case of channel absence. Concretely, we propose a simple language Chor (c) , a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chor (c) , the algorithms for static checking of service choreography and generating channel passing are also studied, and the complexity results of algorithms are discussed. Moreover, some illustrated service choreography examples are presented to show how to formalize and analyze service choreography with channel passing in Chor(c) .; Computer Science, Information Systems; Computer Science, Software Engineering; Computer Science, Theory & Methods; SCI(E); EI; 中国科学引文数据库(CSCD); 0; REVIEW; 5; 710-728; 7 |
语种 | 英语 |
出处 | SCI ; EI |
出版者 | frontiers of computer science |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/391068] |
专题 | 数学科学学院 |
推荐引用方式 GB/T 7714 | Yang, Hongli,Cai, Chao,Peng, Liyang,et al. Algorithms for checking channel passing in web service choreography. 2013-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论