Web Services Conversation Adaptation Using Conditional Substitution Semantics of Application Domain Concepts

Table 4

An example of a conversation pattern and its corresponding state sequence.

Conversation pattern	Preconditions	Postconditions
Conversation context	𝐶.𝑎=10; 𝐶.𝑏=20
OP1	𝐶.𝑎≠NULL	𝐶.𝑎<0; 𝐶.𝑥=5
OP2	𝐶.𝑏≠NULL; 𝐶.𝑥≠NULL	𝐶.𝑏>0
State	Effective conditions	Idle conditions
𝑆0	𝐶.𝑎=10	𝐶.𝑏=20
𝑆1	𝐶.𝑏=20, 𝐶.𝑥=5	𝐶.𝑎<0
𝑆2	𝐶.𝑎<0, 𝐶.𝑏>0