A pi-calculus-based business process formal design method

Authors:
Jing Zhang;Haiyang Wang
Affiliations:
School of Computer and Science, Shandong University, Shandong, Jinan, China;School of Computer and Science, Shandong University, Shandong, Jinan, China
Venue:
CSCWD'06 Proceedings of the 10th international conference on Computer supported cooperative work in design III
Year:
2006

Citing 8
Cited 0

Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
A reference system for internet based inter-enterprise electronic commerce

Journal of Systems and Software
DAML-S: Web Service Description for the Semantic Web

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
The Mobility Workbench - A Tool for the pi-Calculus

CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Inter-Enterprise Collaborative Business Process Management

Proceedings of the 17th International Conference on Data Engineering
Modeling and Analyzing Interorganizational Workflows

CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
Toward an integrated framework for modeling enterprise processes

Communications of the ACM - Homeland security
Protocol-Based Business Process Modeling and Enactment

ICWS '04 Proceedings of the IEEE International Conference on Web Services

Quantified Score

Hi-index	0.01

Visualization

Abstract

The pi-calculus is a model of concurrent computation, which can express communication between correlation processes. It provides a way of constructing systems in a bottom-up manner by composing subsystems, and it also has strict formal semantics. Therefore, pi-calculus is very suitable for designing business processes which are presently becoming more and more complicated. The paper proposes a composition-oriented approach to business process design based on pi-calculus theory and gives the formal definition of business process. It also illustrates the design method by simulating an example of order processing. By this method, a complicated business process can be divided into several independent simple sub-modules, which can greatly reduce the complexity of business process design.