中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
algorithms for checking channel passing in web service choreography
Author: Yang Hongli ; Cai Chao ; Peng Liyang ; Zhao Xiangpeng ; Qiu Zongyan ; Qin Shengchao
Keyword: Algorithms ; Web services ; Websites
Source: Frontiers of Computer Science
Issued Date: 2013
Pages: 1-19
Indexed Type: EI
Department: (1) College of Computer Sciences Beijing University of Technology Beijing 100222 China; (2) Institute of Software Chinese Academy of Sciences Beijing 100080 China; (3) China Defense Science and Technology Information Center Beijing 100142 China; (4) Vancl Research Lab Beijing 100124 China; (5) Facebook Inc. California 94025 United States; (6) LMAM and Department of Informatics School of Mathematical Sciences Peking University Beijing 100871 China; (7) School of Computing University of Teesside Middlesbrough TS1 3BA United Kingdom
Abstract: 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 Chorc, a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chorc, 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 Chorc. © 2013 Higher Education Press and Springer-Verlag Berlin Heidelberg.
English Abstract: 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 Chorc, a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chorc, 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 Chorc. © 2013 Higher Education Press and Springer-Verlag Berlin Heidelberg.
Language: 英语
WOS ID: WOS:000325129700008
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/15648
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
Yang Hongli,Cai Chao,Peng Liyang,et al. algorithms for checking channel passing in web service choreography[J]. Frontiers of Computer Science,2013-01-01:1-19.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[Yang Hongli]'s Articles
[Cai Chao]'s Articles
[Peng Liyang]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[Yang Hongli]‘s Articles
[Cai Chao]‘s Articles
[Peng Liyang]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace