E-Commerce Business Process Modeling and Verification Based on Pi Calculus

Jiao Zhang; Jiu Lei Jiang; Jun Jian Liu

doi:10.4028/www.scientific.net/AMR.798-799.916

Paper Titles

Models Research of Enterprise Logistics Cost Control
p.897

A Game-Theoretical Capacity Allocation Scheme Design under Seasonal Demand
p.902

Research on the Current Situation of the Efficiency Evaluation of Logistics
p.907

Research on the Relationship between Supportive Human Resource and Employees Innovative Behavior in Service Industry
p.911

E-Commerce Business Process Modeling and Verification Based on Pi Calculus
p.916

Research on Logistic Path Planning Strategy Based on Coarse-Grained Parallel Genetic Algorithm
p.920

The Analysis of Research Hotspot of Chinese Cultural and Creative Industry - Based on Co-Words Method
p.924

Analysis on Pilot's Behavior Shaping Factors upon Aviation Case Base
p.930

Analysis of Facility Agriculture Industry’s Dilemma and Policy Crack Based on SCP Paradigm: Taking the Case of Yanqing County, Beijing
p.936

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 798-799E-Commerce Business Process Modeling and...

E-Commerce Business Process Modeling and Verification Based on Pi Calculus

Abstract:

Pi calculus is used to describe the process of dynamic structure and interprocess communication in concurrent calculation model. For Business To Business (B2B) e-commerce system business process, use business process modeling notation (BPMN) of the business process for unified description, complete business process conceptual model design, the application of Pi calculus describes the whole process of business process, give a consistency proof to our model,and the model application Pi calculus validation tool Mobility Workbench (MWB) complete simulation test. To ensure that the business messages transfer and the validity of the model even greatly reduce the project investment risk.

You might also be interested in these eBooks

Advances in Applied Science and Industrial Technology

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 798-799)

Pages:

916-919

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.798-799.916

Citation:

Cite this paper

Online since:

September 2013

Authors:

Jiao Zhang, Jiu Lei Jiang, Jun Jian Liu

Keywords:

B2B, BPMN, Business Process Modeling, MWB, Pi Calculus

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Milner R. Communication and Mobile Systems: The Pi-Calculus[M]. Cambridge: Cambridge University Press，(1999).

Google Scholar

[2] Yan Song, Chunming Gao. Deadlock verification based on MWB of BPEL4WS[J]. Computer Engineering, 2007, 33(1): 92-94.

Google Scholar

[3] Chunyong Zhang, Yang Li. RCCMP of PI calculus modeling and MWB detection[J]. Computer Engineering, 2008, 30(4): 30-32.

Google Scholar

[4] Yuhui Feng, Yanfeng Li, Qiongwei Ye. Business Process Management [M], Beijing: Tsinghua University Press, 2009. 03：215-221.

Google Scholar

[5] Yunfeng Gan. A research on comprehensive competitive power of third party B2B e-commerce platform[D]．A Dissertation Submitted to China University of Geosciences for Master Degree, 2011(5).

Google Scholar

[6] Victor B. The Mobility Workbench User's Guide: Polyadic version 3. 122 [K/OL]. Department of Information Technology, Uppsala University, (1995).

Google Scholar