Research Article
A Correctness Checking Approach for Collaborative Business Processes in the Cloud
Algorithm 3
Generate reliable execution paths.
| Input: business processes N1, …, Nn | | Output: reliable execution paths | (1) | generate the state spaces SG1, …, SGn; | (2) | obtain the sets of execution paths EP1, …, EPn; | (3) | compute (EP1, …, EPn); | (4) | for each execution path ep in (EP1, …, EPn) do | (5) | if ep satisfies Definition 6 then | (6) | add ep to ; | (7) | end if | (8) | end for | (9) | return ; |
|