Overview
Coverage
4 / 4
4 covered · 0 uncovered
Elements
3
3 signals · 1 interfaces
Requirements
4
6 activities
Versions
2
main
b38ea131; with-microduck 173cf8ad; Assist
Structure
- Cafe Standblock«Block»
A staffed stand that takes an order, takes payment through the purchasing terminal, and provisions a coffee and a toasted sandwich.
edit
Signals
- PaymentApprovedsignal
From the purchasing terminal: the customer's payment cleared.
- BeverageReadysignal
From the coffee machine: the drink is dispensed.
- FoodReadysignal
From the sandwich toaster: the toastie is sealed and cut.
Interfaces
- Customer Interfaceinterface
Ordering, payment and collection across the counter.
Requirements
| id | reqId | text | satisfied by | coverage |
|---|---|---|---|---|
| req-service-time | CS-1 | Service Time: The stand shall serve a coffee and a toasted sandwich within 4 minutes of the customer's payment being approved. |
| covered |
| req-one-payment | CS-2 | One Payment: A single payment shall cover both items and produce one receipt itemising both. |
| covered |
| req-no-early-provision | CS-3 | No Provision Before Payment: The stand shall not begin provisioning either item before payment approval is received from the purchasing terminal. |
| covered |
| req-floor-clear | CS-4 | Floor Kept Clear: The stand shall keep the seated floor free of dropped cups throughout trading hours, not only at close. |
| covered |
Traceability
4 requirements: 4 covered, 0 uncovered · 4 satisfy, 0 refine, 0 verify, 0 allocate
| id | reqId | text | allocated elements | status |
|---|---|---|---|---|
| req-service-time | CS-1 | Service Time: The stand shall serve a coffee and a toasted sandwich within 4 minutes of the customer's payment being approved. |
| covered |
| req-one-payment | CS-2 | One Payment: A single payment shall cover both items and produce one receipt itemising both. |
| covered |
| req-no-early-provision | CS-3 | No Provision Before Payment: The stand shall not begin provisioning either item before payment approval is received from the purchasing terminal. |
| covered |
| req-floor-clear | CS-4 | Floor Kept Clear: The stand shall keep the seated floor free of dropped cups throughout trading hours, not only at close. |
| covered |
State and activity
State machine: cafe-stand-states
This state machine has no regions.
This state machine has no transitions.