一种面向移动商务的跨组织工作流建模方法  

A Method for Modeling Inter-organizational Workflow of Mobile Commerce

作　　者：满青珊[1] 张金隆[1] 聂磊[1] 种晓丽[1] 

机构地区：[1]华中科技大学管理学院,武汉430074

出　　处：《图书情报工作》2011年第12期122-126,共5页Library and Information Service

基　　金：国家自然科学基金重点项目"移动商务基础理论与技术方法研究"(项目编号:70731001)研究成果之一

摘　　要：移动商务的兴起,为工作流管理带来新的研究问题。提出一个跨组织工作流分析框架用于对移动商务下的工作流进行分析。以中国移动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.

关 键 词：移动商务 跨组织工作流 面向对象PETRI网 P不变量 T不变量 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]