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.
乔爽, 张春城, 顾宏. 基于时间π-演算的移动商务过程建模[J]. J4, 2010, 7(6): 885-.
QIAO Shuang, ZHANG Chun-Cheng, GU Hong. Modeling Mobile Business Process Based on Time π-Calculus. J4, 2010, 7(6): 885-.