A Correctness Checking Approach for Collaborative Business Processes in the Cloud

Figure 1

Overview of our approach.