title: Approach for workflow modeling using pi-calculus.
abstract: 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.
authors.affiliation: Department of Industrial Engineering, Shanghai Jiaotong University, Shanghai 200030,China. dongyangcn@hotmail.com
authors.forename: Dong
authors.initials: D
authors.lastname: Yang
authors.forename: Shen-sheng
authors.initials: SS
authors.lastname: Zhang
mesh_terms: D003661:Decision Support Techniques; D006801:Humans; D008331:Management Information Systems; D008432:Mathematical Computing; D017146:Models, Organizational; D016526:Workload