|
|
Modeling Mobile Business Process Based on Time π-Calculus |
QIAO Shuang, ZHANG Chun-Cheng, GU Hong |
Dalian University of Technology,Dalian,Liaoning,China |
|
|
Abstract In this paper, the infection of the business activities with the introduction of wireless technology is summarized. Focusing on the flexible characteristics of frequent information interactions, the process structure dynamic changing in the uncertain context and the partial autonomy involved in the mobile business, the Time π-Calculus is adopted to model Mobile Business Process to facilitate analyzing the improvement of temporal performance. The corresponding relationship between π-Calculus and the Mobile Business Processes are specified, common choice process component is constituted, and π-calculus is extended with temporal elements. The method has been proven to be valid with instances for the logistical distribution process of the wireless vending machine system.
|
Received: 15 April 2008
|
|
|
|
|
|
|