基于Pi-演算OWL-S形式化研究.pdfVIP

V01．36 第36卷第8期专刊 计算机 No．8专讨 2009年8月 Computer Aug2009 基于Pi一演算的OWL—S形式化研究 徐露1葛孚华z陈刘荣1 昆明650091)1 昆明650091)2 (云南大学网络智能计算实验室 (云南大学信息学院 摘要W3C提出的()、Ⅵ，-S是面向服务的本体描述语言。它提出的目的是通过()WI，一S的语义描述能力来实现 服务发现、服务调用、服务组合、服务验证、互操作及执行监控。但是()WI，-S不是一种形式化语言，这使强它对服 务组合和默务流程的验证能力较为欠缺。本文介绍了OWL_S的基本知识，并提出通过模型转换的方式把非形式 化的Owl．一s模型转化为形式化描述能力强大的Pi．演算模型，借助Pi-演算推演对()Ⅵ，一S进行服务组合的推理和 验证。 关键词OⅥiS，P卜演算，模型转化，形式化 ResearchOil删广SFormalizationBasedonPi-calculus XULulGEFu-hua2CHEN Liu-ron91 ofNetwork 650091，China)1 (Laboratory IntelligenceComputing，YunnanUniversity，Kunming ofIrdormationScienceand 650091，China)2 (School Engineering，YurmanUniversity，Kunming Ahstmao、)lHrS W3Cisaservic}oriented ofitistorealize proposedby ontologydescriptionlanguage．Thegoal theservice service servicecombination，theservice andthe discovery，theinvocation，the confirmation，interoperability isa which execution the0WL．-S’semantics non-form尘ized monitoringthrough descriptivepower．OWL-S language in introducedthebasic ofo帆，Sandusedthemethodofthe iSweakserviceverification．Thisarticle knowledge thenon-formalized0．阢，SmodelintOthePi—calculationmodelItiSusefulforseⅣ一 modeltransformedtotransform andverificationPi-Calculus． icerea$oning by 0W1，_S，Pi-calculUS，Modeltransformation，120rmalization Keyw甜ds