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

学兔兔 第 46卷第 2期 机 械 工 程 学 报 VO1．46 NO．2 2010年 1月 JOURNALOFMECHANICALENGINEERING Jan． 2010 DoI：1O．3901／JME．2010．O2．185 工作流多过程动态时序一致性的实时模型检测木 杜彦华 范玉顺2 f1．北京科技大学机械工程学院 北京 100083； 2．清华大学 自动化系 北京 100084) 摘要：现实企业中通常存在多个并行的工作过程 ，并且它们之间可能存在资源冲突。在运行阶段，动态验证资源约束下多个 过程的时序一致性具有重要意义。基于实时模型检测技术，提 出一种工作流多过程时序一致性动态验证方法。采用时间自动 机(Timeautomata，TA)对多个并发过程建模，并将所需验证的时序约束转化为对 1A1模型的性质查询。当运行到检测点，依 据已知的时间信息更新TA模型，再进行相关性质查询，从而完成时序约束的验证。该方法实用性较强，能够有效处理现实 业务环境中资源约束情况下多个业务过程的动态时序验证问题。：具有较好的柔性和扩展性，当时序约束发生变化时，仅需改 变相应 TA模型。本方法有多种实时模型检测工具或软件的支持。 关键词：多过程 时序约束 实时模型检测 时间自动机 动态验证 中图分类号：TP31l Real·timeM odelCheckingofDynamicTemporalConsistency forM ulti-processofW orkflow DU Yanhua1 N Yushun2 (1．SchoolofMechanicalEngineering，UniversityofScienceandTechnologyBeijing，Beijing100083； 2．DepartmentofAutomation，TsinghuaUniversiyt,Beijing100084) Abstract：Inthepracticaloperationenvironmentofanenterprise，theregenerallyexistmultipleparallelworkingprocesses，htus havingresourceconfictsamongthem．Itisveryimportnattomodelnadverifydynamicallytheconsistencyoftemporalconstraints ofmulti—processwithresourceconflicts．Basedonrealtimemodelcheckingtechnique，adynamiccheckingmethodoftemporal constraintsformulti—processofworkflowsisproposed．Multi—processofworkflowsismodeledbyusingatimeautomata，nadthe temporalconsrtaintstobecheckedaretrna sformedasthequeriesofIobservertimeautomaat models．Whentemporalconsrtaintsare checked，themodelsraeupdatedaccordingtohteknowntemporalinformation，andtemp oralconsrtaintsraechecked．Themethodis practicable，becauseitnotonlyCna dealwiht themodelnigandanalyzingofmulti-processwiht reso