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

Listing 1

The top-level predicate of the choreography engine.

(1)   start(?goal,?WS)  :-

(2)initializations,

(3)preProcessCheckings(?goal,?WS),

(4)prepareModule(WM),

(5)prepareModule(DeltaWM),

(6)importOntology(?goal,WM),

(7)importOntology(?WS,WM),

(8)insertGoalPre(?goal,WM),

(9)runChoreography(?goal,?WS).