Approach for workflow modeling using pi-calculus.
As a variant of process algebra, Pi-calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using Pi-calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of Pi-calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock-free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the Pi-calculus, thus facilitating the optimization of business processes.
Yang
Dong
D
Department of Industrial Engineering, Shanghai Jiaotong University, Shanghai 200030,China. dongyangcn@hotmail.com
Zhang
Shen-sheng
SS
D003661:Decision Support Techniques; D006801:Humans; D008331:Management Information Systems; D008432:Mathematical Computing; D017146:Models, Organizational; D016526:Workload