| 基于时间Petri网的Artifact有效性的验证 |
| |
| 引用本文： | 高尚,金顺福,刘国华,王颖,刘海滨.基于时间Petri网的Artifact有效性的验证[J].燕山大学学报,2011,35(6):556-560. |
| |
| 作者姓名： | 高尚 金顺福 刘国华 王颖 刘海滨 |
| |
| 作者单位： | 1. 燕山大学信息科学与工程学院,河北秦皇岛,066004
2. 燕山大学信息科学与工程学院,河北秦皇岛066004;东华大学计算机科学与技术学院,上海201620 |
| |
| 基金项目： | 国家自然科学基金资助项目 |
| |
| 摘 要： | 在面向Artifact的业务流程管理系统中,业务核心数据实体Artifact具有动态时变性。Artifact状态是否正常关系到流程的运转成功与否,因此,验证Artifact的有效性是一个关键问题。针对该问题本文基于时间Petri网理论对Artifact的相关流程进行分析并获得其业务要求树,然后根据流程记录数据库中Artifact的快照构建出相应快照树,最后通过比较业务要求树和快照树而得以验证Artifact是否有效。
|
| 关 键 词： | 时间Petri网 业务工单 业务流程管理 有效性 |
Verification of the validity of Artifact based on time Petri net |
| |
| GAO Shang,JIN Shun-fu,LIU Guo-hua,WANG Ying,LIU Hai-bin.Verification of the validity of Artifact based on time Petri net[J].Journal of Yanshan University,2011,35(6):556-560. |
| |
| Authors: | GAO Shang JIN Shun-fu LIU Guo-hua WANG Ying LIU Hai-bin |
| |
| Institution: | 1(1.College of Information Science and Engineering,Yanshan University,Qinhuangdao,Hebei 066004,China; 2.College of Computer Science and Technology,Donghua University,Shanghai 201620,China) |
| |
| Abstract: | In Artifact-oriented business process management system,Artifact changes dynamically as the business core data entity.And the state of Artifact is closely related to the situation of process enactment,so it is a key problem to validate the validity of Artifact.The corresponding process of Artifact is firstly analyzed based on time Petri net to gain the business request tree,and the snapshots are then extracted from record database of process in the system to build a snapshot tree.Finally,it can be concluded whether Artifact is valid in Artifact-oriented business process management system by comparing the snapshot tree with business request tree. |
| |
| Keywords: | time Petri net Artifact business process management validity |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
