摘要
移动商务的兴起,为工作流管理带来新的研究问题。提出一个跨组织工作流分析框架用于对移动商务下的工作流进行分析。以中国移动SP准入管理和WAP增值服务访问流程为案例,通过面向对象Petri网对我国移动商务跨组织工作流进行应用建模。站在运营商的角度,构造SP准入过程对象通讯网,通过P不变量和T不变量验证模型对流程描述的正确性和有效性。
The rise of mobile commerce has brought new questions to workflow management. A framework for analysis of inter-organizational workflow is proposed to analyze the inter-organizational workflow. Taking the SP access management and WAP services processes as examples, the object-oriented Petri net is used to model mobile commerce inter-organizational workflow. From the perspective of the MNO, this paper construction object communications net of SP access management, and calculate P invariant and T invariant to validate correctness and validity of workflow model.
出处
《图书情报工作》
CSSCI
北大核心
2011年第12期122-126,共5页
Library and Information Service
基金
国家自然科学基金重点项目"移动商务基础理论与技术方法研究"(项目编号:70731001)研究成果之一