Theoretical Computer Science - Implementation and application of automata
Towards the theoretical foundation of choreography
Proceedings of the 16th international conference on World Wide Web
Reasoning about Channel Passing in Choreography
TASE '08 Proceedings of the 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
An Approach to Check Choreography with Channel Passing in WS-CDL
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
Towards a unifying theory for choreography conformance and contract compliance
SC'07 Proceedings of the 6th international conference on Software composition
Local enforceability in interaction Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Verifying the conformance of web services to global interaction protocols: a first step
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Mobility mechanisms in service oriented computing
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Algorithms for checking channel passing in web service choreography
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
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.