一种基于时间Petri网的业务流程模型验证方法
业务流程模型的正确性,尤其是对时间约束要求比较严格的模型,是组合服务领域的重要研究内容。模型验证是保证业务流程可信任的重要方法.近年来,BPMN被广泛接纳作为业务流程描述用以指导服务组合。模型的正确性不仅依赖模型的逻辑结构,而且依赖定量属性,如时间属性.本文将BP圳模型转换为等价的时间Petri网模型,在此基础上提出一种检验方法,支持对模型结构和时间约束的验证。在该方法基础上,设计并实现了业务流程模型验证工具BPMV。
模型验证 BPMN Petri网 时间属性
怀文佳 刘旭东 孙海龙
北京航空航天大学计算机新技术研究所,北京 100191
国内会议
苏州
中文
76-81
2010-11-04（万方平台首次上网日期，不代表论文的发表时间）