基于OWL时间本体的工作流建模与验证

作者：何庆; 汤庸; 黄永钊

来源：通信学报, 2006, (11): 36-41.

DOI：10.3321/j.issn:1000-436X.2006.11.007

• 工作流模型
• OwL时间本体
• XPDL
• 时态约束

提出了一种基于OWL时间本体的工作流模型,将OWL时间本体引入到工作流模型的描述中,可以方便地表示工作流中的时态信息和时态约束。在工作流管理系统中加入基于本体的规则后推理机可以检测工作流中的时态约束是否满足,同时推理机还可以自动检测工作流信息的一致性和有效性。

• 单位
  湖南工程学院; 中山大学