随着无线信息技术的进步,信息可以更加流畅、便捷地到达任何地点,因此移动商务引起人们的广泛重视并得到快速发展。作为一种新兴的商务模式,如何针对其特点建立业务流程模型有效分析和评价其绩效,是一项具有重要理论意义和实用价值的课题。本文从业务流程研究入手,把握无线信息技术的特点,建立移动商务环境下的业务流程模型,依据模型验证、分析和仿真业务流程绩效的变化,能够较客观地认识和评估移动商务的价值,进而推进移动商务的实施和发展。围绕移动商务环境下的业务流程建模及应用,本文展开如下内容的研究:(1)移动商务系统的业务流程分析把握移动商务系统的共性特征,是移动商务环境下业务流程深入研究的基础。移动商务是无线信息技术与传统商务融合的整体系统,无线信息技术引发的增值是系统的最终目标,具体可表现为信息的效用和效率。运用系统科学的功能原理、整体涌现性原理,本文提出了包含空间效用、时间效率及信息化对象的移动商务系统三维框架。以三维框架为基础,提取无线信息技术的可到达性和移动性作为关键要素,对业务流程的影响进行分析,归结出移动商务环境下的业务流程特点,并提出业务流程建模的具体要求。(2)基于Petri网的业务流程建模和分析采纳无线信息技术之后,信息可以到达任何地点,能够扩展商务活动的地理空间。这种可到达性,能够提高业务流程时间绩效:一方面信息获取时间节省,另一方面由于信息的决策作用,及时的信息传递对活动的安排有影响。从区分业务流程中的信息和实体,以及关注利用无线信息可提供及时决策功能的角度,本文提出一种带抑制弧的颜色时间Petri网模型,并给出时间绩效分析的计算公式。利用该模型,能够计算移动商务对比传统商务时间绩效的提高程度,分析和仿真引入无线信息技术后的业务流程的效率改进。(3)基于π-演算的业务流程建模和验证采纳无线信息技术之后,主体可以在移动的环境下从事业务活动。这种移动性引发了业务流程具有根据环境因素灵活变化的柔性特点,从而提高业务活动绩效。针对移动性引发的业务流程柔性,本文提出流程结构随环境动态变化的原型π-演算模型,构建动态选择过程组件,利用该模型进行推理演算,能够验证所设计的业务流程能否符合业务流程规范。在原型π-演算模型基础上,将时间因素引入,建立业务流程的时间π-演算模型,可用于验证、分析和仿真移动商务环境下的业务流程绩效。将上述研究结果应用于某省移动公司无线自动售货机系统的信息效用和效率分析以及商品配送流程绩效分析等方面,取得了良好的效果,验证了本文模型的有效性。