An approach and a tool for verification of service-based inter-organizational workflows

摘要

In the area of B2B cooperation, business partners aim to provide services which are not whithin the reach of a single organization but require competencies of several organizations. Thus, partners interconnect their local workflow processes in order to build an inter-organizational workflow (IOWF) process. The resulting IOWF process can be complex and should respond correcty to the business purpose of partners involved. Furthermore, in a dynamic and unstable environment, WF processes may be subject to changes and should continue to run correctly after any changes done. Thus, it becomes necessary to verify the correct execution of the process before its effective deployment. In this paper, we focus on IOWF process models obeying to the subcontracting architecture and we propose an approach and a tool for verifying the soundness property of IOWF models specified with the BPEL language.