E-business Processes Composition Based on Pi-Calculus Technology

被引：0

作者：

Feng, Zhilin ^{[1
]}

Yin, Jianwei ^{[1
]}

Zhou, Jianan ^{[2
]}

机构：

[1] Zhejiang Univ Technol, Coll Zhijiang, Hangzhou, Zhejiang, Peoples R China

[2] Zhejiang Vocat Coll Commerce, Dept Informat & Technol, Hangzhou, Peoples R China

来源：

ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 2 | 2008年

基金：

中国国家自然科学基金;

关键词：

process composition; pi-calculus; e-business; bpel;

D O I：

10.1109/ISISE.2008.156

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：224 / +

页数：2

共 6 条

[1] Towards Composition Management for Component-based Peer-to-Peer Architectures [J].

Alda, Sascha ;

Cremers, Armin B. .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 114 :47-64

[2]

Arkin A., 2005, WEB SERVICES BUSINES

[3]

GREFEN AKH, 2000, INT J COMPUTER SYSTE, V33, P277

[4]

JAOJIN Y, 2007, P 22 ANN ACM S APPL

[5] A formal framework to support workflow adaptation [J].

Liu, SZ ;

Soong, AGE .

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2002, 12 (03) :245-267

[6]

MILNER R, 1992, J INFORM COMPUTATION, V100, P1, DOI DOI 10.1016/0890-5401(92)90008-4

← 1 →