Research Article

Verifying Service Choreography Model Based on Description Logic

Figure 5

Structure of S_poReq.