A Linear Logic Based Approach for Generating Deadlock Adapters

Before web services initiating message exchanges with each other, the interoperability issues must be solved. Protocol mismatch addresses the problem of different message ordering between the service provider and the service consumer. Deadlock, a subcategory of protocol mismatch, happens when all both parties wait for incoming messages indefinitely. Deadlocks are considered irresolvable by most automated approaches. In this paper, we propose a Linear Logic based method to generate deadlock adapters by invoking backstage services. With the resource-aware feature of linear logic, our approach is capable of generating adapters under both functional and non-functional constraints.