| 基于生成图的工作流多过程动态时序一致性验证方法 | |
| 杜彦华 ; 范玉顺 ; DU Yan-hua ; FAN Yu-shun | |
| 2010-06-09 ; 2010-06-09 | |
| 关键词 | 时间工作流网 生成图 时序约束 多过程 动态验证 time workflow net sprouting graph temporal constraint multi-process dynamic checking TP311.52 |
| 其他题名 | A Sprouting Graph Based Approach to Dynamic Check the Temporal Consistency of Workflow Multi-Process |
| 中文摘要 | 提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验证.该方法可以解决资源约束情况下多过程时序一致性动态验证问题,而且能定位模型中出问题的路径,指导用户进行工作流时序异常处理或优化工作流模型;另一方面,生成图可供多个时序约束进行验证使用,具有较好的可重用性.; This paper proposes a sprouting graph based approach to dynamic check temporal consistency for workflow multi-process.Firstly,the sprouting graph is constructed from the TWF-net models of multi-process,which describes the paths and temporal information of workflow instances in graphics format.Secondly,when temporal constraints are checked,we update the sprouting graph according to the temporal information of accomplished activities,and check the temporal constraints based on the temporal information in the sprouting graph.The method can not only can dynamic check the temporal consistency for concurrent workflows with resource constraints,but also give the paths violating the constraints which are useful to users in exception handling and modifying workflow models.Furthermore,it is reusable,namely sprouting graph can be used by more than one temporal constraints.; 国家自然科学基金(No.60674080); 国家863高技术研究发展计划(No.2006AA04Z151,No.2006AA04Z166) |
| 语种 | 中文 ; 中文 |
| 内容类型 | 期刊论文 |
| 源URL | [http://hdl.handle.net/123456789/57708]  |
| 专题 | 清华大学 |
| 推荐引用方式 GB/T 7714 | 杜彦华,范玉顺,DU Yan-hua,等. 基于生成图的工作流多过程动态时序一致性验证方法[J],2010, 2010. |
| APA | 杜彦华,范玉顺,DU Yan-hua,&FAN Yu-shun.(2010).基于生成图的工作流多过程动态时序一致性验证方法.. |
| MLA | 杜彦华,et al."基于生成图的工作流多过程动态时序一致性验证方法".(2010). |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论