实例化过程模型的时间自动机描述方法研究

TIMED AUTOMATA DESCRIPTION OF PROCESS INSTANTIATION MODEL

语法结构正确的过程模型并不能保证过程运作的实际执行,因为没有考虑实例化阶段的时间资源安排。传统的过程自动机描述法不足以分析实例化过程模型。针对这种情况,提出用时间自动机描述过程模型语义的方法,设计了生成时间自动机的算法,分析了这种描述方法在模型检验中的应用。

A model with only correct structure can＇ t ensure a successful enactment, because it lacks schedule information. The traditional approach based on PA （process automata） isn＇ t fit for the analysis of instantiation model. A TA （ timed automata） generation algorithm is designed, and an approach based on TA for model description is presented and analyzed.