An Improved Abstract State Machine Based Choreography Specification and Execution Algorithm for Semantic Web Services

Algorithm 1

The original WSMO choreography algorithm [49].

A choreography interface run ρ is defined as a sequence of states .

Given a choreography interface such that S is consistent with , a

choreography interface run is valid for iff

(i) ,

(ii) for ,

(a) ,

(b) = add delete is an update

set associated with , O and T,

(c) is consistent with O, and

(iii) the run is terminated.

CI: Choreography InterfaceO: Ontology

T: Set of Transition-rulesS: Original State-signature