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

Table 7

Part of the ontology operations' definitions adopted by 𝑆₂.

Operation	Preconstraints	Postconstraints
Send-Cargo-Details	{Cargo.Det≠ Null,; Cargo.POL≠ Null,; Cargo.POD≠ Null,; IncoTerm.Type≠ Null}	{Cargo.Status = Received}
Get-Offer	{Cargo.Status = Received,; Cargo.Course≠ Null}	{Offer.Status = Sent}
Negotiate-Offer	{Offer.Status = Sent}	{Offer.Status = Approved}
Accept-Offer	{Offer.Status = Approved}	{Offer.Status = Accepted}
Execute-Offer	{Offer.Status = Accepted}	{Offer.Status = Executed}
Send-payment	{Offer.Status = Executed}	{Cargo.Status = Accomplished}