支持业务事务验证的服务协调模型.pdfVIP

小型微型计算机系统 2011年9月第9期 ofChinese VOL32No．92011 Journal ComputerSystems 支持业务事务验证的服务协调模型 袁敏1’2，黄志球1，李祥1 1(南京航空航天大学信息科学与技术学院，南京210016) 2(湘南学院计算机科学系，湖南郴州423043) E—mail：yuanmin@nuaa．edu．en 摘要：在Web服务业务流程中如何保证参与者之间的协调一致性是亟待解决的重要问题．Web服务事务规范中描述的参与 者之间的交互消息缺乏严格的语义，无法精确地描述复杂的协调活动，本文用P：i一演算形式化描述WS-TX规范中定义业务活动 事务的WS—BA协议，在此基础上建立了适用于多方参与的业务事务的服务协调模型；并利用基于等价自动机转换的HAL模 型检测工具，验证分析了WS-BA协议的安全性和活性，给出一个多方参与的业务事务实例的验证过程，介绍如何利用模型检 测技术来分析业务流程设计正确性的方法，有效地确保了业务事务执行的可靠性和一致性． 关键词：服务协调；业务流程；事务；形式化建模 中图分类号：TP311 文献标识码：A 文章编号：1000-1220(2011)09．1734舶 BusinessTransactionVerification．enabledServiceCoordinationModel YUAN Minl．．。HUANG蕊．qiul。LIXian91 and Science 1(CollegeofInformationTechnology-NanjingUniversityofAeronauticsandAstronautics。Nanjing210016，Ch／na) 2(DepartmentofComputerScienceXiangnanUniversity，Chenzhou423043．Ch／ha) all tO ofservice is issuehowensuredistributed andbusiness Abstract：Iturgent agreementamong composition multiple—participants ofthe thattake betweenthe andeachoneofits inWS-TXOASIS process．，nlefruitionmessageexchangesplace process partners Standardlacksthe definitionwhichis for coordinatedactivities．TllisfirstmodelsWS-Busi· precise requireddescribingcomplex paper noss coordinationfor business Activityprotocol(WS—BA)whichspecifies typeslongrunninglooselycoupled transactions．Second。 service modelbasedthe in a coordination on formalizationofthe interactionssemanticsWS—BA Pi-ealculus． proposes messaging using The