基于行为投影的Web服务组合行为兼容性研究

摘要：

We b服务兼容性是确保组合系统能够正常运行的前提。首先提出既包含服务接口调用方法又包含逻辑行为的服务视图，根据服务间的连接关系，将服务行为投影到不同的连接件上。其次根据在连接件上的消息收发关系，将两个服务在该连接上的交互过程表示为两个LTS投影间同步变迁，通过同步积模拟在该连接上的交互行为，检查同步积中是否出现死锁状态来进行行为兼容性判定，并设计了判定算法以实现兼容性的自动分析，最后通过一个电子商务应用示例说明该方法有效性。

关键词：Web服务组合、服务视图、行为投影、行为兼容性、标签转换系统

所属期刊栏目：52

分类号：TP311.1(计算技术、计算机技术)

资助基金：国家自然科学基金No.61262012；江西省自然科学基金No.2008GZS0017；江西省教育厅科技项目No.GJJ12274。

在线出版日期：2016-10-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：46-51