基于UML状态图的工作流时序约束一致性研究

作者：陆公正; 张广泉; 张冬华; 张育

来源：苏州大学学报(自然科学版), 2005, (04): 43-48.

• 工作流
• UML状态图
• 模型检测
• 时序约束
• 一致性

通过对UML状态图进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,接着用时序逻辑公式定义时序约束,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证.

• 单位
  苏州大学; 中国科学院