基于Petri网的位置敏感工作流建模与正确性验证方法。 |
| |
引用本文: | 张力,赵炯,贾伟昊,刘英博. 基于Petri网的位置敏感工作流建模与正确性验证方法。[J]. 计算机集成制造系统, 2012, 18(8) |
| |
作者姓名: | 张力 赵炯 贾伟昊 刘英博 |
| |
作者单位: | 1. 清华大学软件学院,北京,100084 2. 清华大学计算机科学与技术系,北京,100084 |
| |
基金项目: | 国家863计划资助项目,国家自然科学基金资助项目 |
| |
摘 要: | 针对移动业务过程中对位置信息建模和分析的需求,结合目前已有的工作流建模方法,提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础,结合6种描述位置之间关系的原语,以位置约束的形式定义业务流程中的位置信息及其与活动之间的关系,然后基于Petri网的状态可达图得出对所建立模型进行正确性检查的方法。基于ProM平台开发了一个位置敏感工作流的建模工具,验证了所提建模方法的可行性和算法的正确性。
|
关 键 词: | 位置敏感工作流 建模 位置约束 正确性验证 Petri网 |
Location-aware workflow modeling and soundness verification method based on Petri net |
| |
Abstract: | |
| |
Keywords: | location-aware workflow modeling location constraints soundness verification Petri nets |
本文献已被 万方数据 等数据库收录! |