Detection and removal of negative requirements of deadlock-type in Service-Oriented Architectures

This paper presents a method for the detection and removal of negative requirements of deadlock-type in Service-Oriented Architectures (SOA), which is represented by Interorganizational WorkFlow net (IOWF-net). An IOWF-net is formed through the composition of private WorkFlow nets (WF-nets) that communicate through asynchronous communication mechanisms. New behaviors may then arise due to the interaction between distinct processes which may eventually lead the system to a deadlock situation. In order to identify the sequence of actions that lead to potential deadlock states, a backward and forward reasoning will be used. In particular, when it comes to the removing of the deadlock states caused by asynchronous message exchanges, synchronous rules are proposed. This approach will be effective in removing conflict situations encountered during the real-time execution of the services provided by the SOA model through immediate diagnostic actions.