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

作者：何庆; 汤庸; 黄永钊工作流模型owl时间本体xpdl时态约束

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社