Verifying Service Choreography Model Based on Description Logic

Table 1

A summary of metaconcepts of service choreography for the metamodel (a fragment).

Concepts	Definition	Description
Participant		The business entities or web services that participate in service interaction. is the name and denotes the roles it implements.
Role		The observable behavior a participant exhibits in order to collaborate. initiates the collaborative operations () through channels () with other roles, and the local variables () will be affected.
Activity		The actual functions performed in the choreography. They () can be categorized into basic activities and structural activities.
Precondition		The preconditions of session execution, specified in Boolean type.
Guard		The bindings of preconditions to sessions.
Variable		The variables a role has. It is a component of a role specification.
Operation		The operations a role provides. It is a component of a role specification.
Channel		The locations and manners through which information is exchanged between roles. and denote the channel locations and interaction activities, respectively.
Interface		The declaration of the participants () that collaborate.
Port		The way through which roles interact. One interface may correspond to one role and multiports.