A Correctness Checking Approach for Collaborative Business Processes in the Cloud

Table 2

Results of correctness checking.

Case	Checking results
	Cas	CaF|CaV
Ca-05∼Ca-09, Ca-14∼Ca-18, Ca-26∼Ca-27	+	+ | +
Ca-01∼Ca-04, Ca-11∼Ca-13, Ca-19∼Ca25, Ca-28∼Ca-30	+/−	+/− | +/−
Ca-10	−	− | −