Paper Title:
Description and Verification of Supply Chain Business Process Based on Pi-Calculus
  Abstract

To formally verify the correctness of supply chain business process model (SCBPM), a model validation scheme was proposed based on Pi-calculus. In this scheme, the interaction structure of SCBPM was described by UML sequence diagram. The corresponding rules were defined between UML sequence diagram and Pi-calculus. Based on these rules, the formal process model was established. Its validity was verified by MWB, a model checker of pi-calculus. The result shows the scheme proposed could effectively verify the consistency of SCBPM and customer requirements.

  Info
Periodical
Chapter
Chapter 5: Materials in Energy and Environment (2)
Edited by
Dongye Sun, Wen-Pei Sung and Ran Chen
Pages
2614-2618
DOI
10.4028/www.scientific.net/AMM.121-126.2614
Citation
Y. T. Huang, G. Wang, B. Y. Ren, H. Y. Zhang, "Description and Verification of Supply Chain Business Process Based on Pi-Calculus", Applied Mechanics and Materials, Vols. 121-126, pp. 2614-2618, 2012
Online since
October 2011
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Juan Zhu Liang
Chapter 20: Computer Applications in Industry and Engineering
Abstract:As an important value-added function for GIS service, GIS service chain provides the application foundation for reusing and automation...
2923
Authors: Yan Cheng Li, Hua Duan, Qing Tian Zeng, Fa Ming Lu
Chapter 3: Communication, Computer Engineering and Information Technologies
Abstract:User-interactive question answering systems are catching more and more attention, however users complaints arise within it from such problems...
2178
Authors: Jiao Zhang, Jiu Lei Jiang, Jun Jian Liu
V. Management Science Engineering, Economics, Business, Logistics Applications
Abstract:Pi calculus is used to describe the process of dynamic structure and interprocess communication in concurrent calculation model. For Business...
916