资源描述：
《2007-基于petri网的语义web服务自动组合方法new》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、·一,一ISSN10009825CODENRUXUEWEmail:Josiseasae￡n@..,ual及价MJare,l18,No!2,Deeember2007,Pp2991一3000:os刀月JOrnofVohtP//wwwjrgn.一一DOI:101360/j05182991Teax:+861062562563l/F..¾2007byuals咬”沪areAllrightsreservedJornof刀基于Petri网的语义W七b服务自动组合方法,,,,’,2+,’2’,’,汤宪飞蒋昌俊丁志军王成,(,201804)同济大学计算机科学与技术系上海2(国家高性能计算机,18工程技术研究
2、中心同济分中心上海2004)一APetriNetBasedSemantieWebServieeAutomatieComPositionMethod一,,一,,一,,,NGxianFeil2+JIANeChangJunl2D0zhiJunl2wengl2TA取ANoeh,,,,DepartmentofComputerseieneeandTeehnologyTon因iuniversityshanghaiZozso4ehina)(,,,2(Ton1BranehNationa一EngineeringandTeehnologyeente:ofHighPerfoanc。eomputershangha
3、iZolso4ehsna自rm).一一,一+CoresPondingauthor:Phn:+862169589864Email:xianfeitanggmail.com@,,,.一TangXFJiangCJDingZJWangCAPetrinetbasedsemantieWebservieeautomaticeomPosition..,,.一methodJournalofs可加are200718(12):2991一3000httP://www.josorge川10009825/18/299lhtmAbstraet:WebservieeeomPositionallowsdeveloPers
4、toereateaPPlieationsrapidly.Butduetothetremendous,growthinthenumberofw亡bservieesavailablethew七bservieeeomPositionProblem15stillaehallengingresearchissue.ThisPaPerintroducesanautomatieebseeeeomPosionetoceonsersothseees’Wrvitimhdwhihidbrvinuouueeoaneavoeonstraneoat.eseeesaiP口tPttyPmPatibilitydbhira
5、litmPibilityThrvivailablearetranslatedintoasetofHomelause一likerules.User’5inPutandoutPutrequirementsaremodeledasasetoffactsandagoalsateennteoeausesreseetve.entmtihHmlPilyThPetrinet15ehosentomodeltheHornelausesetandT-invariant.een’thique15usedtodeterminetheexisteneeofeomPositeservieesfulfillingthe
6、user5inPut/outputrequirementsoalgorithmsarePresentedforobtainingthePetrinetmodelsoftheeomPositebserviceswhiehsatisfynotTWWe’.one’lythuser5inPu灯outPutrequirementsbutalsotheuser5behavioraleonstraints一Keywords:Webserviee;WebservieecomPosition;Homelause;Petrinet;Tinvariant,摘要:b服务组合使得开发人员可以快速地创建自己的应用程
7、序但是随着Iniemet上可用的b服务数目weWe的增加,web服务组合是一项高度复杂的任务.针对语义web服务的自动组合问题,提出了一种既考虑服务输户口输.,,出又考虑服务行为约束的自动组合方法注册服务被转化为一组o首先Hm子句形规则用户的输入和输出请求分,别被转化为Hom子句中的事实和目标从而将寻找满足用户输输出请求的合成服务问题转化为Hom子句的逻月,辑推;然后用Petri网来为该Hom子句集建模,T-不变量技术被用来判定是否
