基于线性逻辑的服务流程死锁适配

摘要

在Web服务组合和交互之前，必须保证服务间的兼容性和互操作性.死锁指交互双方都处于等待接收消息的状态，导致流程非正常停止，进而形成的服务不兼容问题.现有自动化适配方法认为死锁不可被自动适配，而本文则通过将死锁适配问题转化为对线性逻辑命题的证明求解，实现自动化的服务流程死锁适配. 同时，本文还将Pi演算与线性逻辑结合，实现适配器流程的快速提取.此外，进一步利用线性逻辑的资源敏感属性，保证适配后的服务流程满足原有非功能性约束.