Name
Abstract | ||
|---|---|---|
Channel passing is a mechanism to describe dynamic composition of parallel systems. As to Web services, both WS-BPEL and WS-CDL adopts this mechanism to support dynamic business processes. Web service composition may suffer from channel passing, e.g., some service might not get a correct channel to complete an interaction, and then the whole system would get stuck. The work presented here is aimed at designing services which are immune to channel problems. Firstly, we define a pair of model languages on both global and local levels with formally defined semantics. Based on these languages, we propose a top-down design methodology that generates local-level processes from a global specification. Finally, we give out a set of conditions for global specifications, from which the generated processes are guaranteed correct. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1007/978-3-540-88194-0_21 | ICFEM |
Keywords | Field | DocType |
correct channel,global specification,web service composition,channel passing,correct channel passing,local-level process,local level,model language,web service,dynamic composition,dynamic business process,formal methods,orchestration,modeling language,choreography,design methodology,parallel systems,top down,business process,web services,formal method | Business process,Computer science,Communication channel,Theoretical computer science,Web modeling,Business Process Execution Language,Formal methods,Web service,Orchestration (computing),Semantics,Distributed computing | Conference |
Volume | ISSN | Citations |
5256 | 0302-9743 | 1 |
PageRank | References | Authors |
0.35 | 16 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Chao Cai | 1 | 145 | 8.48 |
| Zongyan Qiu | 2 | 436 | 41.04 |
| Xiangpeng Zhao | 3 | 353 | 20.67 |
| Hongli Yang | 4 | 191 | 14.80 |