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

Table 9

𝑆₁ and 𝑆₂ behavior models.

𝑆1 Behavior model
𝑆0	⟨{Freight.Det ≠ Null, Origin.Det ≠ Null,; Dest.Det ≠ Null,; Freight.Course = Port-to-Port,; IncoTerm.Type  ∈{FOB, EXW, CIF}}, {}⟩
𝑆1	⟨{ShippingOrder.Status = Created}, {} ⟩
𝑆2	⟨{POL.Status = Allocated}, {} ⟩
𝑆3	⟨{POL.Status = Allocated,; POD.Status = Allocated}, {} ⟩
𝑆4	⟨{ShippingOrder.Status = Analyzed}, {} ⟩
𝑆5	⟨{Proposal.Status = Sent}, {} ⟩
𝑆6	⟨{Proposal.Status = Approved}, {} ⟩
𝑆7	⟨{ShippingOrder.Status = Approved}, {} ⟩
𝑆8	⟨{Packaging.Status = Accomplished}, {} ⟩
𝑆9	⟨{Documentation.Status = Accomplished}, {} ⟩
𝑆10	⟨{ShippingOrder.Status = Executed}, {} ⟩
𝑆11	⟨{ShippingOrder.Status = Confirmed}, {} ⟩
𝑆12	⟨{ShippingOrder.Status = Pending}, {} ⟩
𝑆13	{ShippingOrder.Status = Fulfilled,
	Payment.Status = Received}, {} ⟩
𝑆2 Behavior model
𝑆0	⟨{Cargo.Det = 1000 Cars,; Cargo.POL = Melbourne-Australia,; Cargo.POD = Alexandria-Egypt,; IncoTerm.Type = FOB},; {Cargo.Course = Port-to-Port}⟩
𝑆1	⟨{Cargo.Course = Port-to-Port,; Cargo.Status = Received}, {} ⟩
𝑆2	⟨{Offer.Status = Sent}, {} ⟩
𝑆3	⟨{Offer.Status = Approved}, {} ⟩
𝑆4	⟨{Offer.Status = Accepted}, {} ⟩
𝑆5	⟨{Offer.Status = Executed}, {} ⟩
𝑆6	⟨{Cargo.Status = Accomplished}, {}⟩