基于行为描述的Web服务组合兼容性检查.pdf

第26卷第 7期 计 算 机 应 用 研 究 Vol_26No．7 2009年 7月 ApplicationResearchofComputers Ju1．20o9 基于行为描述的Web服务锢纠}=L△12：1 兼容性检查 张 驰 (江西财经大学 软件学院，南昌330013) 摘 要：定义了服务的基调视图和行为视 图，设计了将Web服务行为转换为 演算进程表达的建模方法，并给 出了实现服务视 图向1T演算进程 自动转换的算法；最后借助 盯演算的操作语义和形式化推理技术实现了对 Web服务组合时的兼容性进行检查。 关键词：Web服务；接 口；行为视图；兼容性；1T演算 中图分类号 ：TP311 文献标志码 ：A 文章编号：1001．3695(2009)07．2586．04 doi：10．3969／j．issn．1001-3695．2009．07．052 Webservicecompositioncompatibilitycheckingbasedonbehaviordescription ZHANG Chi (SchoolofSofiwa~，JiangxiUniversityofFinance＆Economics，Nanchang330013，China) Abstract：Thepaperfirstdefinedthesignatureviewandthebehaviorviewoftheservice，thendesignedthemodelingmethod thattransferredtheW ebservicebehaviorinto1Tcalculusprocessexpressionandproposedthealgorithm thatmadetheservice viewtransferinto calculusprocessautomatically．Atlast．withthehelpofoperational andtransitionalsemanticsandformal deduction，checkedwhethertwoserviceswerebehaviorcompatiblewhenWebserviceswerecompositing． Keywords：Webservices；interface；behavioralview；compatibility；1Tcalculus 操作 op5和op6。该服务在接收到order消息后生成一个它的 0 引言 实例后开始执行 ，其内部执行的逻辑流程为：服务在初态A获 SOC以服务为基本构件 ，通过 SOA框架研究服务的发布、 得客户的order消息之后进入状态B。如果商店存货不足以满 协调和交互 ，将来 自Internet上不同提供商提供的服务，通过对 足客户订单需求 (即noStock=yes)，则向客户发出拒绝消息re． 相关功能的组合，得到更加丰富且具有增值效果的组合服务并 fusal后进入交易结束状态 E；如果存货满足该次订单需求 以此为基础构建新的应用u 。 (noStoek=no)，则向客户发送确认消息confirm，进入状态C， 在开放环境下，Web服务作为 “黑盒”实体，其实现细节对 等待客户支付。客户可采用现金支付或银行转账，现金支付使 其客户透明，Web服务通过接 口声明其提供的服务和请求的 用消息pay，银行转账使用消息 transfer，在状态C上只要获得 服务，Web服务使用者通过组件接 口理解