基于Petri网的位置敏感工作流建模与正确性验证方法  

Location-aware workflow modeling and soundness verification method based on Petri net

作　　者：张力[1] 赵炯[2] 贾伟昊[1] 刘英博[1] 

机构地区：[1]清华大学软件学院,北京100084 [2]清华大学计算机科学与技术系,北京100084

出　　处：《计算机集成制造系统》2012年第8期1747-1756,共10页Computer Integrated Manufacturing Systems

基　　金：国家863计划资助项目(2012AA040911;2009AA043401;2009AA043402);国家自然科学基金资助项目(60973100)~~

摘　　要：针对移动业务过程中对位置信息建模和分析的需求,结合目前已有的工作流建模方法,提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础,结合6种描述位置之间关系的原语,以位置约束的形式定义业务流程中的位置信息及其与活动之间的关系,然后基于Petri网的状态可达图得出对所建立模型进行正确性检查的方法。基于ProM平台开发了一个位置敏感工作流的建模工具,验证了所提建模方法的可行性和算法的正确性。Aiming at the demand of location information modeling and analysis in mobile service process, a modeling and soundness verification method for location-aware workflow was proposed by combining with existing workflow modeling method. Based on workflow net, this method used location constraints to describe the relationship between activities and location information with six primitives of describing location relationship. The method to verify the soundness for model was obtained based on reachability graph of Petri net. A location-aware workflow modeling tool was developed based on Prom platform to verify the feasibility and validity of proposed method.

关 键 词：位置敏感工作流 建模 位置约束 正确性验证 PETRI网 

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