基于时间π-演算的移动商务过程建模  

Modeling Mobile Business Process Based on Time π-Calculus

作　　者：乔爽[1] 张春城[1] 顾宏[2] 

机构地区：[1]大连理工大学管理学院 [2]大连理工大学电子与信息工程学院

出　　处：《管理学报》2010年第6期885-890,929,共7页Chinese Journal of Management

摘　　要：在总结无线技术对商务活动的影响的基础上,针对信息交互频繁、不确定环境下的过程结构动态变化、局部自治等柔性特征,采用时间π-演算为移动商务过程建模,目的在于便于分析时间绩效改进。然后,具体指出了π-演算和移动商务过程的对应关系,构建了具有共性的选择过程组件,以及在时间方面扩展了π-演算。最后,用无线自动售货机系统的物流配送过程实例,证明了方法的有效性。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.

关 键 词：移动商务 商务过程 过程代数 Π-演算 

分 类 号：C93[经济管理—管理学]