Research Article
Verifying Service Choreography Model Based on Description Logic
Table 2
A summary of metarelations of service choreography for the metamodel (a fragment).
| Relations | Correlative concepts | Formal semantics |
| SessionDeduction | Session × Session | Session SessionDeduction. Session | Congruence | Session × Session | Session Congruence. Session | Implement | Participant × Role | Participant Implement.Role | Contain | Choreography × Session | Choreography Contain.Session | Link | Channel × Role | Channel Link.Role | Belong_to | Role × Participant | Role Belong_to.Participant | HasName | Role × Name | Role HasName.Name | Provide | Role × operation | Role Provide.operation | Executing | Session × | Session Executing. | Sequence | Session × Session | Session Sequence. Session | Parallel | Session × Session | Session Parallel. Session | Choice | Session × Session | Session Choice. Session | WorkUnit | Session × Session | Session WorkUnit. Session |
|
|