采用动作时序逻辑的Web服务组合方法.docVIP

采用动作时序逻辑的Web服务组合方法 ISSN1673—9418CODENJKYTA8 JournalofFrontiersofComputerScienceandTechnology 1673-?9418/2011/05(03)一0208—13 DOI:10.37780.issn.1673—9418.2011.03.002 采用动作时序逻辑的Web服务组合方法 周宁,2+,刘慧,王红兵3,谢俊元, 1.南京大学计算机软件新技术国家重点实验室,南京210093 2.南京大学计算机科学与技术系,南京210093 3.东南大学计算机科学与工程学院,南京210096 E—mail:fcst@ Tel:+86—10WebServiceCompositionApproachBasedonTemporalLogicofAction ZHOUNing,,LIUHui,WANGHongbing,XIEJunyuan, 1.NationalKeyLaboratoryforNovelSoftwareTechnology,NanjingUniversity,Nanjing210093,China 2.DepartmentofComputerScienceandTechnology,NanjingUniversity,Nanjing210093,China 3.SchoolofComputerScienceandEngineering,SoutheastUniversity,Nanjing210096,China +Correspondingauthor:E—mail:zn@ketN— ZHOUNing,LIUHui,WANGHongbing,eta1.Webservicecompositionapproachbasedontemporallogicof action.JournalofFrontiersofComputerScienceandTechnology,2011,5(3):208-220. Abstract:Basedonthetheoryoffinitestateautomata(FSA),thispapermodelsaWebserviceasanFSA.Firstly,it extendsWebservicesdescriptionlanguage(WSDL)fordescribingthebehaviorsofWebservices,andproposesall algorithmfortranslatingtheextendedWSDLtotemporallogicofaction(TLA)language;accordinglythebehaviors ofWebservicescanbedescribedandnormalizedbyusingTLA.anewapproachisprovidedtodescribeWebser— vicesinaformalway.Then,itdiscussesthecompositionwayofFSAofeachcomponentservice,andwiththe composition,howtocomposesuchsingleserviceTLAspecificationtoacomposedserviceTLAspecification.and onthebasisofwhich.itproposesanalgorithmtocomposetheTLAspecificationscorrectly. Keywords:Webservicescomposition;temporallogicofaction(TLA);Webservicesdescriptionlanguage (WSDL);finitestateautomata(FSA) *TheNationalNaturalScienceFoundationofChinaunderGrantNo60721002国家自然科学基金);the KeyResearchProjectsofMinistryofEducationofChinaunderGrantNo.108151(国家教育部重点项目);theScienceand TechnologySupportFoundationofJiangsuProvinceunderGrantNo.BE2009142,BE2010180(江苏省科技支撑计划). Received2010—04,Accepted2010—06. 周宁等:采用动作时序逻辑的Web服务组合方法209 摘要:基于有限状态自动机理论,将web服务建模成一个有限