基于LTS的Web服务组合行为兼容性分析.PDF

年 月 计算机工程与设计 2016 5 Ma 2016 y 第 卷 第 期 COMPUTER ENGINEERING AND DESIGN 37 　 5 Vol.37　No.5 ■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ 基于 的 服务组合行为兼容性分析 LTS Web 张 驰 　 ( , ) 江西财经大学 软件与通信工程学院 江西 南昌330013 : , , , 摘 要 服务描述语言仅包含语法层信息 不能刻画服务交互的行为信息 不能对组装后的系统进行兼容性验证 为 　 Web , ( ) 。 此提出既包含服务接口调用方法又包含内部逻辑行为的服务视图 采用标签转换系统 LTS 表示服务行为协议 根据服 , , 务组合的消息收发关系 将组合交互过程表示为多个LTS之间动作的同步变迁 通过 LTS 同步积模拟组合系统交互的动 ; , , , 态行为 通过检查同步积中是否存在死锁状态 进行行为兼容性判定 设计判定算法以实现兼容性的自动分析 通过一个 典型的电子商务应用系统分析验证了该方法的有效性。 : ; ; ; ; 关键词 Web服务 服务视图 行为兼容性 同步矢量 标签转换系统 中图法分类号: 文献标识号: 文章编号: ( ) TP311.1　 A 　 1000-7024 2016 05-1280-05 : / doi 10.16208 .issn1000-7024.2016.05.032j Anal sis of behavioral com atibilit in Web service com osition based on LTS y p y p ZHANG Chi ( , , , ) School of Software and Communication En ineerin Jian xi Universit of Finance and Economics Nanchan 330013 Chin