Research Article
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 |
|
|