Research Article

Verifying Service Choreography Model Based on Description Logic

Figure 2

Metamodel of service choreography based on WS-CDL.