Each with the number of cards that depend on it, directly or through other cards, most first. Click one to see what it
depends on and what builds on it.
Every order item with a service has exactly one of the three statuses.
Counterexample: an item whose one service was delivered and then transferred meets the conditions for both CANCELLED and CLOSED. An item whose one service is SUSPENDED has no status at all under a reading where a suspended service holds no value.
Open point: which status wins when the conditions overlap, whether a delivered service may be transferred at all, and what status an item has when none of the conditions holds.
Every order with at least one service is opened or closed.
Counterexample: under a reading where an expired service holds no value, an order whose only service expired is neither opened nor closed.
Open point: whether EXPIRED and UNABLE TO DELIVER hold value, and whether an order with such a service should be closed.
No card depends on it yet.
If we decide this
An open guarantee fails under some reading of the sources. For these, Lean proves a version under one reading, named
with _of_. The model leaves the choice of reading to the business.
No open guarantee in this area has a proven version for one reading.
Requirements
The requirements whose rules or guarantees are on this area's cards. Each opens its chapter in the review document.
When a customer accepts an offer, the system shall create an order with one order item for each offer item and one service for each passenger and flight segment of that item.
The system shall mark an order opened while any of its services holds value, and closed once all its items are closed or cancelled and all its services are delivered or removed.
3 proven · 1 open
IATA capabilities
The capabilities of IATA's Airline Retailing Maturity Index that this area's candidate cards belong to. The codes and
names are IATA's.