International Scholarly Research Notices / 2013 / Article / Tab 7

Research Article

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}

Article of the Year Award: Outstanding research contributions of 2020, as selected by our Chief Editors. Read the winning articles.