基于生成图的工作流多过程动态时序一致性验证方法

• 作者: 杜彦华 范玉顺
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 时间工作流网 生成图 时序约束 多过程 动态验证
• 年，卷（期）: 2009,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 2181-2186,2192
• 页数: 7页
• 分类号: TP301
• 字数: 6969字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2009.10.013

摘要

提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验证.该方法可以解决资源约束情况下多过程时序一致性动态验证问题,而且能定位模型中出问题的路径,指导用户进行工作流时序异常处理或优化工作流模型;另一方面,生成图可供多个时序约束进行验证使用,具有较好的可重用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	范玉顺	清华大学自动化系	188	7334	46.0	81.0
2	杜彦华	北京科技大学机械工程学院	19	157	7.0	12.0