面向服务的多参与者协调事务建模方法.pdfVIP

E—mail：fcst@vip．163．com ISSN 1673—9418 CODEN JKYTA8 JournalofFrontiersofComputerScienceandTechnology http：／／www．ceaj．org Tel：+86—10—5l6l6056 1673—9418／2011／05(04)一0356—11 DOI：10．3778~．iSSf1．1673—9418．2011．04．007 面向服务的多参与者协调事务建模方法术 司 艳 ，黄志球，袁 敏，沈国华 南京航空航天大学 信息科学与技术学院，南京 210016 M odelingofService．orientedTransactionsinM ulti．participantsCoordination YAN Yan ，HUANG Zhiqiu，YUAN M in，SHEN Guohua CollegeofInformationScienceandTechnology，NanjingUniversityofAeronauticsandAstronautics，Nanjing 210016，China + Correspondingauthor：E—mail：yan sakura@163．com — YAN Yan，HUANG Zhiqiu，YUAN Min，eta1．Modelingofservice—oriented transactionsinmulti。participants coordination．JournalofFrontiersofComputerScienceandTechnology,2011，5(4)：356·366． Abstract：ToassurethecorrectandconsistentexecutionofWebservices，itisimportanttoadoptaformalmethodto sDecifycoordinationprocessinginWebservices．BasedontheWebservicestransaction(WS—TX)，anapproachis proposed，whichautomaticallymodelsthecoordinationofmulti—participantsWebservicesfrom thebusinessprocess executionlanguagefBPEL)．TherulesofmodelingtheWebservicescoordinationwithPi—calculusarediscussed， thenthemethodofobtainingcoordinationmodelofBPELprocessisgivenwithalgorithm description，finallythe effectivenessandcorrectnessoftheproposedapproacharevalidatedthroughadetailedcasestudy． Keywords：Webservice；coordination；Pi—calculus 摘 要 ：为了保证Web服务组合执行获得正确一致的结果，用形式化方法研究Web服务事务处理的协调 过程是很重要的。基于Web服务事务规范(welbservicestransaction，WS—TX)，提出了一种由业务流程执行语 (businessprocessexecutionlanguage，BPEL)自动生成Web服务多参与者协调事务模型的方法。介绍了Web TheNationalHigh—TechResearchandDevelopmentPlanofChinaunderGrantNo．2009AA010307(国家高技术研究发展计划 (863))；theNaturalS