| Syntropy | Type view | Object diagrams/mechanisms | Statecharts | Logic | Value types | Glossary |
| Section headings in the textual parts of states | ||
|---|---|---|
| Heading | Placement | Use |
| Events: | Outermost state only | List of events of interest to objects of this type |
| Creation: | Outermost state only | List of creation operations |
| Variables: | Any state | List of statechart variables |
| Allow: | any state | List of events allowed in this state and any enclosed states |
| Invariants: | Any state except outermost state | List of predicates that are true in this state |
| event (formal param names) [guards] / [post-conditions] | |
|---|---|
| event | mandatory |
| (formal param names) | only those mentioned in rest of transition |
| [guards] | optional |
| / | optional if there are no post-conditions |
| [post-conds] | optional |
| event (formal param names & types [filters]) [guards] / [post-conditions] | |
|---|---|
| event | mandatory |
| (formal param names) | only those mentioned in rest of transition |
| [filters] | optional |
| [guards] | optional |
| / | optional if there are no post-conditions |
| [post-conds] | optional |
| Section headings in the textual parts of states | ||
|---|---|---|
| All essential model headings also apply | ||
| Heading | Placement | Use |
| Generations: | Outermost state only | List of events (together with their signatures) generated by objects of this type |
| Entry: | Any state except outermost state | List of events to be generated on entry to this state |
| Exit: | Any state except outermost state | List of events to be generated on exit from this state |
| event (formal param names) [guards] / [post-conditions] generations | |
|---|---|
| event | mandatory |
| (formal param names) | only those mentioned in rest of transition |
| [guards] | optional |
| / | optional if there are no post-conditions |
| [post-conds] | optional |
| generations | optional |
| event (formal param names & types [filters]) [guards] / [post-conditions] generations | |
|---|---|
| event | mandatory |
| (formal param names) | only those mentioned in rest of transition |
| [filters] | optional |
| [guards] | optional |
| / | optional if there are no post-conditions |
| [post-conds] | optional |
| generations | optional |
For guards, filters and pre-conditions:
For post-conditions:
| Section headings in the textual parts of states | ||
|---|---|---|
| Heading | Placement | Use |
| Updaters: | Outermost state only | List of updater messages for which extra information (such as post-conditions) is specified in the list |
| Entry: | Any state except outermost state | List of messages to be sent on entry to this state |
| Exit: | Any state except outermost state | List of messages to be sent on exit from this state |
| Creation: | Outermost state only | List of creation operations |
| Variables: | Any state | List of statechart variables |
| Exceptions: | Outermost state only | List of exceptions raised or handled by objects of this type |
| Allow: | Any state | List of messages allowed in this state and any enclosed states |
| Invariants: | Any state except outermost state | List of predicates that are true in this state |
| message (formal param names) [guards] / secured msgs [post-conditions] relaxed msgs | |
|---|---|
| message | mandatory |
| (formal param names) | only those mentioned in rest of transition |
| [guards] | optional |
| / | optional if there are no message generations or post-conditions |
| secured messages | optional |
| [post-conds] | optional (must be present but empty if there are relaxed message generations) |
| relaxed messages | optional |
| message (formal param names & types) [guards] / secured msgs [post-conditions] relaxed msgs | |
|---|---|
| message | mandatory |
| (formal param names & types) | only those mentioned in rest of transition |
| [guards] | optional |
| / | optional if there are no message generations or post-conditions |
| secured messages | optional |
| [post-conds] | optional (must be present but empty if there are relaxed message generations) |
| relaxed messages | optional |
