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

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