|
| Operation | Preconstraints | Postconstraints |
|
| Send-Shipping-Order | {Freight.Det Null,
Origin.Det Null,
Dest.Det Null,
Freight.CourseNull,
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} |
|
