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

第 27 卷第 11 期 通 信 学 报 Vol.27 No.11 2006 年 11 月 Journal on Communications November 2006 基于 OWL 时间本体的工作流建模与验证 何庆 1,2, 汤庸 1, 黄永钊 1 (1.中山大学 计算机科学系, 广东 广州 510275; 2.湖南工程学院, 湖南 湘潭 4 11101) 摘 要：提 出了一种基于 OWL 时间本体的工作流模型，将 OWL 时间本体引入到工作流模型的描述 中，可 方 便地表示工作流中的时态信息和时态约束 。在工作流管理系统中加入基于本体的规则后推理机可 检测工作流中 的时态约束是否满足，同时推理机还可 自动检测工作流信息的一致性和有效性 。 关键词：工作流模型；OWL 时间本体；XPDL ；时态约束 中图分类号：TP311 文献标识码 ：A 文章编号：1000-436X(2006) 11-0036-06 Using OWL time ontology for workflow modeling and verification 1,2 1 1 HE Qing , TANG Yong , HUANG Yong-zhao (1. epartment of Computer Science, Sun Yat-Sen University, Guangzhou 510275,China; 2. Hunan Institute of Engineering, Xiangtan 4 11101,China) Abstract: A workflow model was in roduced based on OWL ime on ology. Through in roducing OWL ime on ology in o he descrip ion of workflow model, he emporal informa ion and emporal cons rain s could be easily depic ed. In- ference engine could examine whe her he emporal cons rain s in he workflow was sa isfied when rules based on on ol- ogy be added in he workflow managemen sys em. Similarly, inference engine could also examine he consis ency and validi y of workflow informa ion au oma ically. Key words: workflow model; OWL ime