Research Article
Web Services Conversation Adaptation Using Conditional Substitution Semantics of Application Domain Concepts
Table 6
An example of two matching GAPs
| | GAP | GAP |
| Preconstraints | {Cargo.Det = 1000 cars, Cargo.POL = Melbourne-Australia, Cargo.POD = Alexandria-Egypt, Cargo.Course = Port-To-Port, IncoTerm.Type = CIF} | {Freight.Det ≠ Null, Origin.Det ≠ Null, Dest.Det ≠ Null, Freight.Course = Port-To-Port, IncoTerm.Type ∈ {FOB, EXW, CIF |
| Desc-Constraints | {Payment.type = Credit, Speciality.Type = Motor-Vehicles} | {Credit.Period = 15, Speciality.Type ⊆ {Motor-Vehicles, Dangerous-Cargo |
| Postconstraints | {Cargo.Status = Accomplished} | {ShippingOrder.Status = Fulfilled, Payment.Status = Received} |
| Goal | Cargo transportation | Freight movement |
| Operation sequence | (1) Send-Cargo-Details | (1) Send-Shipping-Order | | (2) Get-Offer | (2) Get-POL-Allocated | | (3) Negotiate-Offer | (3) Get-POD-Allocated | | (4) Accept-Offer | (4) Get-Costs-Computed | | (5) Execute-Offer | (5) Get-Proposal | | (6) Send-Payment | (6) Negotiate-Proposal | | | (7) Send-Approval | | | (8) Handle-Packaging | | | (9) Finalize-Documents | | | (10) Finalize-Bookings | | | (11) Get-Confirmation | | | (12) Receive-Invoice | | | (13) Send-Payment |
|
|