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

Table 1

A Part of CSG segment for CargoTransportation operation, adapted from [10].

From scope	To scope	Conversion function	Substitution constraints
Cargo.Det	Freight.Det	Freight.Det = Cargo.Det
Freight.Det	Cargo.Det	Cargo.Det = Freight.Det
Credit.Period	Payment.Type	IF (Credit.Period > 0) THEN; Payment.Type = Credit; ELSE; Payment.Type = Cash; END IF	Credit.Period ≥ 0
Payment.Type	Credit.Period	IF (Payment.Type = Credit) THEN; Credit.Period ∈{15, 30, 45, 60}; ELSE; Credit.Period = 0; END IF	Payment.Type ∈{Credit, Cash}