International Scholarly Research Notices / 2013 / Article / Tab 8

Research Article

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

Table 8

Part of the ontology operations' definitions adopted by .

Operation Preconstraints Postconstraints

Send-Shipping-Order{Freight.Det Null,
Origin.Det Null,
Dest.Det Null,
Freight.Course Null,
IncoTerm.Type Null}
{ShippingOrder.Status = Created}

Get-Shipping-Order-Analyzed{ShippingOrder.Status = Created}{ShippingOrder.Status = Analyzed}

Get-POL-Allocated{ShippingOrder.Status = Created}{POL.Status = Allocated}

Get-POD-Allocated{POL.Status = Allocated}{POL.Status = Allocated,  
POD.Status = Allocated}

Get-ILT-To-POL-Allocated{POL.Status = Allocated}ILT.ToStatus = Allocated

Get-ILT-From-POD-Allocated{POD.Status = Allocated}ILT.FromStatus = Allocated

Get-Costs-Computed{POL.Status = Allocated,  
POD.Status = Allocated}
{ShippingOrder.Status = Analyzed}

Get-Shipping-Proposal-Finalized{ShippingOrder.Status = Analyzed}{ShippingOrder.Status = Approved}

Get-Proposal{ShippingOrder.Status = Analyzed}{Proposal.Status = Sent}

Negotiate-Proposal{Proposal.Status = Sent}{Proposal.Status = Approved}

Send-Proposal{Proposal.Status = Approved}{ShippingOrder.Status = Approved}

Get-Shipping-Order-Fulfilled{ShippingOrder.Status = Approved}{ShippingOrder.Status = Executed}

Handle-Packaging{ShippingOrder.Status = Approved}{Packaging.Status = Accomplished}

Finalize-Documents{Packaging.Status = Accomplished}{Documentation.Status = Accomplished}

Finalize-Bookings{Documentation.Status = Accomplished}{ShippingOrder.Status = Executed}

Get-Confirmation{ShippingOrder.Status = Executed}{ShippingOrder.Status = Confirmed}

Get-Payment-Settled{ShippingOrder.Status = Confirmed}{ShippingOrder.Status = Fulfilled,  
Payment.Status = Received}

Receive-Invoice{ShippingOrder.Status = Confirmed}{ShippingOrder.Status = Pending}

Send-Payment{ShippingOrder.Status = Pending}{ShippingOrder.Status = Fulfilled,  
Payment.Status = Received}

We are committed to sharing findings related to COVID-19 as quickly as possible. We will be providing unlimited waivers of publication charges for accepted research articles as well as case reports and case series related to COVID-19. Review articles are excluded from this waiver policy. Sign up here as a reviewer to help fast-track new submissions.