modelwrite
cafe-stand
New modelanonymous via open
Viewingcafe-stand
version with-microduck
·commit 173cf8adNew versionCompareMake current

Composition

The system-of-systems view: which subsystems this platform integrates, at which pinned revision, and the business process that runs across them.

Subsystems

4 subsystems, all resolving at their pinned revisions

  • paymentresolves
    purchasing-terminal
    revision 87be9f07
    boundseftpossecure-elementreceipt-printercard-reader
  • beverageresolves
    coffee-machine
    revision 1ec97db8
    bounds_2026x_1_12a70364_1789363229077_574630_3720_2026x_1_12a70364_1789357175665_504215_3638
  • foodresolves
    sandwich-toaster
    revision 0399697d
    boundsheating-elementlower-platelatch
  • floor-careresolves
    microduck
    revision d1819603
    boundsgripper-armgripper-cameramicroduck

What the gate proves — and what it does not

The compositional gate reports a measured-vs-asserted boundary as data. Measured means proved over the platform model's own material; asserted means claimed but not proved, and the two are shown apart.

Measured — proved

  • every subsystem reference resolves at its pinned revision
  • every cross-model edge resolves at its pinned revision (the named element exists within that revision)
  • every integrated revision was itself gated
  • every platform requirement is covered within the platform model

Not measured — asserted, not proved

  • the combined system-of-systems, as a whole, has the global graph property (connected, coverage-complete, orphan-free); proving it would require importing every subsystem, which is the copy R1 forbids

Process

The business process as an ordered flow, read from the activity steps and their include / triggers edges.

The link from a platform activity to a specific element inside a subsystem is the typed crossModelEdges declared on the subsystem reference (implementedBy / satisfiedBy), resolved at its pinned revision; the activity's allocatedTo attribute still names the role for this flow view.

Take Order
Take Payment
satisfies CS-2 · One Payment
parallel
Provision Beverage
Provision Food
Clear the Floor
satisfies CS-4 · Floor Kept Clear
Complete Order
satisfies CS-3 · No Provision Before Paymentsatisfies CS-1 · Service Time