论文部分内容阅读
Web服务描述语言仅包含语法层信息,不能刻画服务交互的行为信息,不能对组装后的系统进行兼容性验证,为此提出既包含服务接口调用方法又包含内部逻辑行为的服务视图,采用标签转换系统(LTS)表示服务行为协议。根据服务组合的消息收发关系,将组合交互过程表示为多个LTS之间动作的同步变迁,通过LTS同步积模拟组合系统交互的动态行为;通过检查同步积中是否存在死锁状态,进行行为兼容性判定,设计判定算法以实现兼容性的自动分析,通过一个典型的电子商务应用系统分析验证了该方法的有效性。