By Topic

E-business Processes Composition Based on Pi-Calculus Technology

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Zhilin Feng ; Coll. of Zhijiang, Zhejiang Univ. of Technol., Hangzhou ; Jianwei Yin ; Jianan Zhou

Recently, Web Service technology has found its application in workflow management for supporting loosely coupled E-business processes. However, current Web services languages do not permit to describe distributed E-business services by lack of expressive power and formal semantics. This paper presents a novel method for modeling distributed E-business service composition with pi-calculus technology. Firstly, the syntactic structure of WS-BPEL is analyzed, and an approach to modeling inter-organizational e-business processes with pi-calculus is given. Then, based on the execution semantics of the pi-calculus, the composite behavior of distributed e-business system are defined precisely. Finally, a case study is carried and the effective of composition model is verified.

Published in:

Information Science and Engineering, 2008. ISISE '08. International Symposium on  (Volume:2 )

Date of Conference:

20-22 Dec. 2008