基于语义的Web服务组合研究

《基于语义的Web服务组合研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、南京理工大学博士学位论文基于语义的Web服务组合研究姓名：张佩云申请学位级别：博士专业：计算机应用技术指导教师：孙亚民20080301摘要博士论文用合成的方式实现抽象服务接口功能的场合。算法分析与实验结果表明该方法可以提高服务组合流程的灵活性及服务自动合成的效率和正确性。4．研究服务组合流程的验证问题。提出一种基于Petri网验证组合模型结构正确性的方法，给出服务网的定义及W曲服务组合的代数描述，基于Petri网对基本控制流及具有基本控制结构的服务组合进行建模与验证，进而达到对复杂服务组合的建模及验证，给出服务组

2、合的Petri网模型生成算法，以发现服务组合流程中安全、有界、无死锁等问题。关键词：SOA，W曲服务，W曲服务组合，W曲服务选择，服务质量(QoS)，语义学，语义关联，W

3、eb服务组合验证Ⅱ博士论文基于语义的w曲服务组合研究AbstractWiththerapiddevelopmentofcomputertechnologyandWebservicestechnology,users’demandsforIntemetareincreasedandusershopethatInteractCanprovidene

4、ededservices．Asanopenstyleforbusiness，Webserviceshavethecharacteristicsofcoverplatforms，coverstandardsandcoverlanguages,eta1．，whichhavegainthewiderecognitionofindustryandacademia．But，thefunctionofsingleWebserviceislimited，therefore，usersexpecttorealizecustomi

5、zationandcreatebusinessthatCanmeetthedemandofusersbyWebservicecomposition．Inaddition,withthegrowthofSOA，composingindependentWebserviceswillbeanewdevelopmenttrend；Webservicecompositiontechnologyisbecomingthemainoneinenterpriseinformationintegration．Therefore，i

6、tisbecomingthehotissueofhowtoutilizeWebservicestechnologytoprovidecompositionservicethatsatisfiesthefunctiondemandandperformancedemand．，，Webservicecompositioninvolvesmanyhotissuesthatexistinestablishingtimeandrunninglimerespecfively．Theissuesinestablishingtim

7、eincludeWebservicematching，Webserviceselection,WebserviceautomatedcompositionandWebservicecompositionverification,andtheseissueshaveimportantstatusduringthelifecycleofWebservicecomposition,theissuesofrunningtimeincludetheimplementationandmonitoring，securityan

8、dtransaction．Thedissertationmainlyfocusesonthefourissuesofestablishingtimeanddoessomeresearch，themainresearchworkisasfollows：1．ToimprovethecorrectnessofWebservicecomposition,functionalattributesandnon-fonetionalattributeareconsidered，ahybridserviceselectionap

9、proachiSgivenwhichisbasedonsemanticmatcKingandQoSattributes．WhenweneedtoselectWebservicesforcomposition,twocontentsalefocused：oneiSmatchingserviceschemawhichcanrealizethesemanticmatchingb