Diagram Semantics
Einheitliche visuelle Grammatik für Actors, Roles, Compositions, Transactions, Boundaries und Skills. Keine getrennten Diagrammsprachen für Human, Agent und Team.
1. Ein Notationssystem für alle Actor-Typen
Die Struktur bleibt identisch. Unterschiede werden als Label geführt, nicht als eigene Diagramm-Ontologie.
alice [HUMAN]
validator-bot [AGENT]
team-backend [COMPOSITE]
2. Kernnotationen
| Element | Notation | Zweck |
|---|---|---|
| Actor + Role | alice [contributor] | Rollenbindung direkt im Knoten sichtbar |
| Multi-Homing | mehrere Role-Zeilen pro Actor | Kontextabhängige Mehrfachrollen transparent machen |
| Skill am Actor | skill:code-review-python | Dispatch-Fähigkeit mit Proficiency kenntlich machen |
| Composite im Zoom-out | ein Box-Knoten | Außensicht ohne interne Details |
| Composite im Zoom-in | Members + Roles + Relations | Innensicht für Governance und Koordination |
3. Boundary-Perimeter (verbindlich)
| Boundary-Typ | Rendering | Bedeutung |
|---|---|---|
| Internal | solid perimeter | Interne Sicht für Members |
| Semi-permeable | dashed perimeter | Selektiver externer Zugriff |
| Federated | dotted perimeter | Composition-zu-Composition Kopplung |
Abweichende Boundary-Darstellung ist ein Semantikfehler, nicht nur ein Stilproblem.
4. Role-Based Dispatch Diagramm (Pflichtinhalt)
Ein Dispatch-Diagramm muss die Zuweisungslogik explizit machen:
- required skill
- required role
- candidates mit match status
- dispatch result (assigned / cannot assign)
Operation: code_review
Target: artifact_auth_handler
Required:
skill: code-review-python
role: reviewer
Candidates:
alice -> skill yes, role yes -> dispatch
qa_bot -> skill yes, role yes -> dispatch
bob -> skill no, role yes -> cannot assign
5. Transaction-Audit im Diagramm
Transaktionsdiagramme sind sequenziell und nachweisbar: Actor, Operation, Zeitbezug und Evidence-Link pro Schritt.
TXN-1 create actor:alice evidence:[code, commit]
TXN-2 review actor:qa_bot evidence:[qa-report]
TXN-3 approve actor:team-backend evidence:[approval-sig]
TXN-4 deploy actor:team-backend evidence:[deploy-log]
Ohne Evidence-Link ist ein Diagramm nicht audit-fähig.
6. Mermaid als Standard
Die Diagrammsprache soll maschinenverifizierbar bleiben. Dafür ist Mermaid der Standard im IIO-Kontext.
graph TD
op[Operation: code_review]
alice[alice reviewer]\n qa[qa_bot reviewer]
op --> alice
op --> qa
Das erlaubt automatisierte Checks, Rendering und ggf. Ableitung von Flows aus Diagrammen.