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

摘要：

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

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

所属期刊栏目：7

分类号：C93(管理学)

在线出版日期：2010-07-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：885-890,929