基于Petri网的OWL-S流程模型的验证与分析  

Petri-Net Based Verification and Analysis of OWL-S Process Model

作　　者：王晨[1] 王红兵[1] 许迅[1] WANG Chen,WANG Hong-bing, XU Xun（School of Computer Science ＆ Engineering, Southeast University,Nanjing 210096,China）

机构地区：[1]东南大学计算机科学与工程学院,江苏南京210096

出　　处：《电脑知识与技术》2008年第3期1249-1252,共4页Computer Knowledge and Technology

基　　金：国家自然科学基金资助项目（No.60673175）.

摘　　要：广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言，在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言，尤其适合并发系统的描述。因此，使用Petri网对OWL-S流程模型进行建模，通过将工作流信息转化为Petri网描述，从而对OWL-S流程模型进行安全性（safeness）活性（hveness）检验，是一个非常有意义的尝试。此外，对Petri网的分析与优化，能够反作用于OWL-S流程模型，消除原有模型的冗余并提高流程模型的合理性。Wildly used Web Services interaction specification--OWL-S, is not a completely formal description language, which can not verify composition of Web Services. However, Petri-Net is a kind of system model, which especially suitable for describing concurrent system. So modeling the Web Services interaction protocol with Petri-Net and converting OWL-S process information to Petri-Net description, is potential approach of verifying safeness and liveness. Additional, by analyzing and optimizing Peril-Net model, it is possible to optimize the process model of OWL-S and make it more reasonable.

关 键 词：PETRI网 OWL-S WEB服务组合验证 工作流分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]