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

Table 3

Interaction context.

Goal	Freight movement
Preconstraints	{Freight.Det ≠ Null,; Origin.Det ≠ Null,; Dest.Det ≠ Null,; IncoTerm.Type ∈{FOB, EXW, CIF}}
Desc-Constraints	{Credit.Period = 15,; Speciality.Type ⊆{Motor-Vehicles}}
Postconstraints	{ShippingOrder.Status = Fulfilled,; Payment.Status = Received}