基于生成图的工作流多过程动态时序一致性验证方法
A Sprouting Graph Based Approach to Dynamic Check the Temporal Consistency of Workflow Multi-Process作者机构：北京科技大学机械工程学院北京100083 清华大学自动化系北京100084
出 版 物：《电子学报》 (Acta Electronica Sinica)
年 卷 期：2009年第37卷第10期
页 面：2181-2186,2192页
核心收录：
学科分类：0808[工学-电气工程] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论]
基 金：国家自然科学基金(No.60674080) 国家863高技术研究发展计划(No.2006AA04Z151 No.2006AA04Z166)
摘 要：提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验证.该方法可以解决资源约束情况下多过程时序一致性动态验证问题,而且能定位模型中出问题的路径,指导用户进行工作流时序异常处理或优化工作流模型;另一方面,生成图可供多个时序约束进行验证使用,具有较好的可重用性.
维普期刊数据库
同方期刊数据库