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 ;