| 基于Petri网的工作流时间动态预测及验证 |
| |
| 引用本文： | 谭冠政,肖如健.基于Petri网的工作流时间动态预测及验证[J].计算机测量与控制,2007,15(12):1801-1803. |
| |
| 作者姓名： | 谭冠政 肖如健 |
| |
| 作者单位： | 中南大学信息科学与工程学院,湖南长沙,410083 |
| |
| 基金项目： | 国家自然科学基金
,
高等学校博士学科点专项科研基金
,
湖南省自然科学基金 |
| |
| 摘 要： | 目前,工作流管理系统不能有效的处理时间管理问题,为了动态预测活动发生的时间间隔,验证时间的一致性,预知潜在的时间冲突,首先建立基于时间Petri网的扩展工作流网(XTWF-net),然后根据工作流管理联盟规定的几种基本结构推导出时间预测规则,并采用面向对象技术实现了预测算法,最后给出了动态验证的方法和决策策略.
|
| 关 键 词： | 时间Petri网 工作流 动态验证 截止期限 预测 Petri 工作流 基于时间 动态预测 动态验证 Based Workflow Constraints Temporal Predication Verification 决策策略 方法 预测算法 对象技术 预测规则 本结构 管理联盟 流网 扩展 |
| 文章编号： | 1671-4587（2007）12-1801-03 |
| 收稿时间： | 2007-02-09 |
| 修稿时间： | 2007-03-27 |
Dynamic Verification and Predication of Temporal Constraints for Workflow Based on Petri |
| |
| Tan Guangzheng,Xiao Rujian.Dynamic Verification and Predication of Temporal Constraints for Workflow Based on Petri[J].Computer Measurement & Control,2007,15(12):1801-1803. |
| |
| Authors: | Tan Guangzheng Xiao Rujian |
| |
| Abstract: | At present, workflow management systems have not sufficiently dealt with the issue of time, In order to predict intervals of activities and verify temporal constraints at run-time, a novel approach for dynamic verification of temporal constraints is proposed. At first, a XTWF-net model is built through extending WF-net. Second, some rules of time prediction are reasoned according five basic structures of workflow. Moreover, prediction algorithm is resulted through OOP technology. At last , a verification method by analyzing temporal relationships and deadline constrains at activities is proposed. |
| |
| Keywords: | time Petri net workflow dynamic verification deadline constrain prediction |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
