OWL-S服务的Petri网自动建模方法研究.pdfVIP

OWL-S服务的Petri网自动建模方法研究 王夙娟 马炳先 曲守宁 济南大学信息科学与工程学院 济南 山东250022 摘要：对语义Web服务的操作语义进行恰当的形式化描述和有效建模是语义Web服 务得到实际应用必须解决的基础问题，尤其是机器如何自动得到语义Web服务的逻辑模型。 该文在对语义Web服务操作语义的Petri网描述方法的基础上，通过对原子语义Web服务的 OWL-S进程描述进行解析，得到语义Web服务原子进程动态执行相应的Petri网关联矩阵， 进一步通过Petri网的自动共享合成操作，得到语义Web服务操作语义的Petri网描述，解决 了语义Web服务自动建模的问题，为语义Web服务的动态组合提供了有效的技术依据。 语义Web服务；OWL-S；Petri网；自动建模 ,(iondlhon,bpht+Join, hile等控制结构。 PNMLt4] LjJ利用r州MLt曲】丕 蓬迁元素在OWL-S赭 第二步：对于语义W． 乍语义的Petri网关联§ ,,t ~h!=(U 1), $5 $6 a~(t~)-- (01),a- $3 Sg /place placeid=s1 namerdf:id=Sig~ process:parameterS[ 】很难判断不同服务的j l务Petri网模型的自动 针对语义Web服务 ；划丝杓的nⅥ，T—q瞻 StudyonAutomaticModelingOWL-SServiceswithPetriNets WangSujuan MaBingxianQuShouning SchoolofInformationScienceandEngineering,UniversityofJinan,Jinan,Shandong,250022 Abstract:Themethodtodescribeandmodelsemanticwebservicesoperationsemanticisone ofkeytechnologiesofsemanticwebservicesapplication,especiallyhowtoautomaticgetthemodel ofsemanticwebservices.Basedonthemethodtodescribesemanticwebservicesoperationseman ticwithPetrinet,thispaperputtingforwardthemethodtoautomaticmodelOWL-Sbasedsemantic webserviceswithPetrinet.Firstly,parsingtheOWL-Satomicprocessmodelofsemanticweb servicesandgettingthePetrinetincidencematrixoftheatomicprocess,andthengettingthePetri netdescriptionofsemanticwebservicethroughPetrinetsautomaticsharingsynthesis,whichre solvestheautomaticmodelingofsemanticwebservicesandsetsupthetechnologyfoundationofdy namiccompositionofsemanticwebservices. Keywords:semanticwebservices;OWL-S;Petrinet;automaticmodeling