基于时间_演算的移动商务过程建模资料.pdf

7 6 Vol. 7 o. 6 2010 6 Chinese Journal of M anagement Jun.2010 - 1 1 2 乔　爽　张春城　顾　宏 ( 1. 大连理工大学管理学院; 2. 大连理工大学电子与信息工程学院) : 在总结无线技术对商务 动的影响的基础上,针对信息交互频繁、不确定环境下的 过程结构动态变化、局部自治等柔性特征,采用时间 -演算为移动商务过程建模, 目的在于便 于分析时间绩效改进。然后, 具体指出了-演算和移动商务过程的对应关系, 构建了具有共性 的选择过程组件, 以及在时间方面扩展了-演算。最后, 用无线自动售货机系统的物流配送过 程实例, 证明了方法的有效性。 : ; ; ; - : C93: A: 1672-884X( 2010)06-0885-06 - Modeling Mobile Business Process Based on Time Calcul us QIAO ShuangZHA G ChunchengGU Hong (Dalian University of T echnology,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 interac-. tions, the process structure dynamic changing in the uncertain context and the partial autonomy in- volved in the mobile business, the T ime -Calculus is adopted to model Mobile Business Process to fa- cilitate analyzing the improvement of temporal performance T he corresponding relationship between. -Calculus and the Mobile Business Processes are specified, common choice process component is con- stituted, and -calculus is extended with temporal elements. T he method has been proven to be valid with instances for the logistical distribution process of the wireless vending machine system. : - ; ; ; - Key words M business modeling business process process algebra Calculu , , [1] ALEXA -