Overview
A Domain is the fundamental unit of computation in Lexum.
It encapsulates:
- state
- transitions
- goals
- message handling
A domain represents an independent control entity within the system.
Properties
A domain:
- owns its state exclusively
- executes transitions deterministically
- communicates via message passing
- cannot directly access other domains’ state
Structure
lexum
domain Counter {
state {
count: int
}
transition increment {
step {
count += 1
}
}
}
Execution Model
Each domain:
-
processes messages from its mailbox
-
evaluates transitions
-
mutates its state
-
emits messages or effects
Isolation Guarantee
Domains are strictly isolated:
-
no shared memory
-
no direct state mutation across domains
All interaction must occur via:
message → mailbox → transition
Lifecycle
A domain progresses through:
-
initialization
-
message processing
-
transition execution
-
convergence (goal satisfied)
Multiple Domains
Systems may contain multiple domains:
-
each with independent state
-
coordinated via messaging