Verifying Service Choreography Model Based on Description Logic

Table 4

Comparison between several typical verification methods of service choreography model.

Features	Methods
	Hard-coding	Simulation engine	Workflow	Temporal logic	Abstract WS-CDL	CMV-DL
Description ability	+++	+++	+	+	+	++
Degree of automation	+	+	++	++	−	++
Knowledge reusability	−	−	−	−	−	+
Efficiency of verification	+	++	+++	+++	+	+++
State explosion	−	−	+	+	−	−

+: support/existence, −: nonsupport/nonexistent.