|
| Source | Destination | Conversion Fn | Substitution Cond. |
|
| Cargo.Det | Freight.Det | Freight.Det = Cargo.Det | |
|
| Freight.Det | Cargo.Det | Cargo.Det = Freight.Det | |
|
| Cargo.POL | Origin.Det | Origin.Det = Cargo.POL | |
|
| Origin.Det | Cargo.POL | Cargo.POL = Origin.Det | |
|
| Cargo.POD | Dest.Det | Dest.Det = Cargo.POD | |
|
| Dest.Det | Cargo.POD | Cargo.POD = Dest.Det | |
|
| Cargo.Type | Freight.Type | Freight.Type = Cargo.Type | |
|
| Freight.Type | Cargo.Type | Cargo.Type = Freight.Type | |
|
| Credit.Period | Payment.Type | IF (Credit.Period 0) THEN
Payment.Type Credit
ELSE
Payment.Type Cash
END IF | Credit.Period 0 |
|
| Payment.Type | Credit.Period | IF (Payment.Type Credit) THEN
Credit.Period {15, 30, 45, 60}
ELSE
Credit.Period 0
END IF | Payment.Type {Credit, Cash} |
|
| Order.Stat | Cargo.Stat | SWITCH (Order.Stat)
CASE Fulfilled: Cargo.Stat = Done
CASE Created: Cargo.Stat = Received
END CASE | Order.Stat {Fulfilled, Created} |
|
| Cargo.Stat | Order.Stat | SWITCH (Cargo.Stat)
CASE Done: Order.Stat = Fulfilled
CASE Received: Order.Stat = Created
END CASE | Cargo.Stat {Done, Received} |
|
| Proposal.Stat | Offer.Stat | Offer.Stat = Proposal.Stat | Proposal.Stat ∈ {Sent,Approved} |
|
| Offer.Stat | Proposal.Stat | Proposal.Stat = Offer.Stat | Offer.Stat {Sent, Approved} |
|
| Order.Stat | Offer.Stat | IF (Order.Stat = Approved) THEN
Offer.Stat = Accepted
ELSE
Offer.Stat = Executed
END IF | Order.Stat {Approved, Executed} |
|
| Offer.Stat | Order.Stat | IF (Offer.Stat = Accepted) THEN
Order.Stat = Approved
ELSE
Order.Stat = Executed
END IF | Offer.Stat {Accepted, Executed} |
|
| Payment.Stat | Cargo.Stat | IF (Payment.Stat = Received) THEN
Cargo.Stat = Done
END IF | Payment.Stat = Received |
|
| Cargo.Stat | Payment.Stat | IF (Cargo.Stat = Done) THEN
Payment.Stat = Received
END IF | Cargo.Stat = Done |
|
