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

Model health

branch with-microduck · commit 173cf8ad

1 issue found.

Orphaned nodes (0)

Nodes with no edges. They are invisible to coverage and traceability.

None.

Isolated groups (1)

Disconnected components of two or more nodes, cut off from the main body.

Group 1 (3 nodes)

  • cafe-stand — Cafe Stand
  • provisioning-bay — Provisioning Bay
  • service-window — Service Window

Dangling links (0)

Edges naming an endpoint that is not a node in the graph.

None.

Uncovered requirements (0)

Requirements no Satisfy, Refine, Verify or Allocate edge covers.

None.

See the requirements · See the diagram