algorithms for checking channel passing in web service choreography
文献类型：期刊论文
| 作者 | Yang Hongli ; Cai Chao ; Peng Liyang ; Zhao Xiangpeng ; Qiu Zongyan ; Qin Shengchao |
| 刊名 | Frontiers of Computer Science
 |
| 出版日期 | 2013 |
| 页码 | 1-19 |
| 关键词 | Algorithms Web services Websites |
| ISSN号 | 2095-2228 |
| 中文摘要 | 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 |
| 英文摘要 | 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 |
| 收录类别 | EI |
| 语种 | 英语 |
| WOS记录号 | WOS:000325129700008 |
| 公开日期 | 2013-09-17 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/15648]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | Yang Hongli,Cai Chao,Peng Liyang,et al. algorithms for checking channel passing in web service choreography[J]. Frontiers of Computer Science,2013:1-19. |
| APA | Yang Hongli,Cai Chao,Peng Liyang,Zhao Xiangpeng,Qiu Zongyan,&Qin Shengchao.(2013).algorithms for checking channel passing in web service choreography.Frontiers of Computer Science,1-19. |
| MLA | Yang Hongli,et al."algorithms for checking channel passing in web service choreography".Frontiers of Computer Science (2013):1-19. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。