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

Table 4

Simulating a move of the ASM with a choreography engine.

ASM action	Choreography engine action
( ≠ undef)	Update the func object’s   attribute to (if the attribute does not exist for func, it is created in the update procedure)
≔  undef	Delete ->  ?_, where ?_ is a free variable (if does not exist in func, nothing is done in the delete procedure)