Message architecture · The supporting messages · Element
The evidence
What each supporting message rests on.
The part
What it is
Links back to the proof work, so that a message and the evidence for it are not maintained in two places.
A message with no evidence behind it is a claim, and it belongs in the claim inventory rather than in the architecture.
The smallest level
The attributes it carries
Each attribute is one of the framework’s shared types. What a date is, and how it is written, is defined once for the whole model — the note here says what it means in this particular place.
The other elements in the supporting messages
The messages
Each supporting message and what it does.
LearnThe relationship
How each supporting message relates to the master message.
Learn