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 |
|
|
