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

Table 3

Simulating a move of the choreography engine with an ASM.

Choreography engine action	ASM action
Insertion of b[a->c]	a(b) ≔ c
Deletion of b[a->c]	a(b) ≔  undef
Update of the a attribute of b to value c	a(b) ≔ c
Insertion of relation instance r()	r() ≔ True
Deletion of relation instance r()	r() ≔ False