一种基于时间自动机的实时工作流时序约束建模方法

作者：龙世荣; 汪宏海; 张广泉

来源：广西教育学院学报, 2010, (01): 132-135.

• 实时工作流
• 时序约束
• 建模
• 时间自动机

本文详细分析了实时工作流中的时序约束。同时,为了对实时工作流时序约束进行形式化描述,本文利用时间自动机建模实时工作流的时序约束。这为实时工作流时序约束的形式化验证提供了基础。

• 单位
  苏州大学; 赣州师范高等专科学校