工作流多过程动态时序一致性的实时模型检测

• 作者: 杜彦华 范玉顺
• 来源期刊: 机械工程学报
• 学科: 工学
• 关键词: 多过程 时序约束 实时模型检测 时间自动机 动态验证
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: 工业工程
• 页码范围: 185-191
• 页数: 7页
• 分类号: TP311
• 字数: 6650字
• 语种: 中文
• DOI: 10.3901/JME.2010.02.185

摘要

现实企业中通常存在多个并行的工作过程,并且它们之间可能存在资源冲突.在运行阶段,动态验证资源约束下多个过程的时序一致性具有重要意义.基于实时模型检测技术,提出一种工作流多过程时序一致性动态验证方法.采用时间自动机(Time automata,TA)对多个并发过程建模,并将所需验证的时序约束转化为对TA模型的性质查询.当运行到检测点,依据已知的时间信息更新TA模型,再进行相关性质查询,从而完成时序约束的验证.该方法实用性较强,能够有效处理现实业务环境中资源约束情况下多个业务过程的动态时序验证问题.具有较好的柔性和扩展性,当时序约束发生变化时,仅需改变相应TA模型.本方法有多种实时模型检测工具或软件的支持.

作者信息

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