Basic SDL semantics
- Block (or block instance)
- Structuring entity used for successive refinements
- Process (or process instance set)
- Terminal hierarchical level
- An infinite queue storing received messages
- An finite state machine (FSM) describing the behavior with transitions
- Channels, SignalRoutes and connections
- For communication among objects of the same hierarchical level
- Through connections, to communicate with the containing entity
- Signal
- Allows to trigger a transition of a FSM
- Carries information
- Carries the identity of the sender process
- No priority