Research Article

Verifying Service Choreography Model Based on Description Logic

Figure 3

Mechanism for service choreography model verification based on SHOIN(D).