Overview
All inter-domain communication in Lexum occurs via messages.
Structure
A message contains:
- source domain
- target domain
- payload
- priority
Flow
emit → mailbox → scheduler → transition
Example
lexum
emit Message {
target: Worker
payload: "start"
}
Properties
Messages are:
-
ordered deterministically
-
processed sequentially per domain
Mailbox
Each domain has a mailbox:
-
queue of incoming messages
-
processed by scheduler
Isolation
Messages enforce:
-
no shared state
-
explicit communication