首页 | 本学科首页   官方微博 | 高级检索  
     

工作流多过程动态时序一致性的实时模型检测
引用本文:杜彦华,范玉顺.工作流多过程动态时序一致性的实时模型检测[J].机械工程学报,2010,46(2).
作者姓名:杜彦华  范玉顺
作者单位:1. 北京科技大学机械工程学院,北京,100083
2. 清华大学自动化系,北京,100084
基金项目:国家自然科学基金(60674080);;国家高技术研究发展计划(863计划,2006AA04Z151,2006AA04Z166)资助项目
摘    要:现实企业中通常存在多个并行的工作过程,并且它们之间可能存在资源冲突。在运行阶段,动态验证资源约束下多个过程的时序一致性具有重要意义。基于实时模型检测技术,提出一种工作流多过程时序一致性动态验证方法。采用时间自动机(Time automata,TA)对多个并发过程建模,并将所需验证的时序约束转化为对TA模型的性质查询。当运行到检测点,依据已知的时间信息更新TA模型,再进行相关性质查询,从而完成时序约束的验证。该方法实用性较强,能够有效处理现实业务环境中资源约束情况下多个业务过程的动态时序验证问题。具有较好的柔性和扩展性,当时序约束发生变化时,仅需改变相应TA模型。本方法有多种实时模型检测工具或软件的支持。

关 键 词:多过程  时序约束  实时模型检测  时间自动机  动态验证  

Real-time Model Checking of Dynamic Temporal Consistency for Multi-process of Workflow
DU Yanhua,FAN Yushun.Real-time Model Checking of Dynamic Temporal Consistency for Multi-process of Workflow[J].Chinese Journal of Mechanical Engineering,2010,46(2).
Authors:DU Yanhua  FAN Yushun
Affiliation:1. School of Mechanical Engineering/a>;University of Science and Technology Beijing/a>;Beijing 100083/a>;2. Department of Automation/a>;Tsinghua University/a>;Beijing 100084
Abstract:In the practical operation environment of an enterprise,there generally exist multiple parallel working processes,thus having resource conflicts among them. It is very important to model and verify dynamically the consistency of temporal constraints of multi-process with resource conflicts. Based on real time model checking technique,a dynamic checking method of temporal constraints for multi-process of workflows is proposed. Multi-process of workflows is modeled by using a time automata,and the temporal co...
Keywords:Multi-process Temporal constraint Real-time model checking Time automata Dynamic checking  
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号