A choreography approach for value-added services creation

Authors:
Guo Jie;Chen Junliang;Cheng Bo;Liu Dong
Affiliations:
State Key Laboratory of Switching and Networking Technologies, Beijing University of Posts and Telecommunications, Beijing, China;State Key Laboratory of Switching and Networking Technologies, Beijing University of Posts and Telecommunications, Beijing, China;State Key Laboratory of Switching and Networking Technologies, Beijing University of Posts and Telecommunications, Beijing, China;State Key Laboratory of Switching and Networking Technologies, Beijing University of Posts and Telecommunications, Beijing, China
Venue:
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Year:
2009

Citing 6
Cited 0

Communicating sequential processes

Communicating sequential processes
Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services

ECOWS '06 Proceedings of the European Conference on Web Services
A Template-Based Orchestration Framework for Hybrid Services

AICT '08 Proceedings of the 2008 Fourth Advanced International Conference on Telecommunications
Web Services Orchestration and Choreography

Computer
Orchestration in Web Services and Real-Time Communications

IEEE Communications Magazine
Web services for communication over IP

IEEE Communications Magazine

Quantified Score

Hi-index	0.01

Visualization

Abstract

Non-repudiation service is crucial to electronic commerce. We have made some research of ATL logic method and its applications in multi-party security protocols formalized analysis. A typical multi-party non-repudiation protocol is modeled and analyzed ...