Select model: .
Select object: .
Doc.
Open settings:
display
:
,
semantics- hide classes
- hide methods
- hide state machines
- show explicit state machines (work in progress: notably no support for 'do', 'when', non-trivial history)
- show port objects
- show connector end names when available
- show pseudostates as states on history
- hide state invariants on sequence diagram
- hide set pseudo-messages on history
- show hyperlinks as normal text
:
,
remote engine- automatically fire initial transitions
- automatically fire outgoing transition of choice (only when exploring as of now)
- operations (or communication diagram messages) are not automatically received
- consider all guards as true
- transitions only fireable if trigger matches a sent event, and operations only callable if they match a sent event
- cap the number of messages in the Ether to one per distinct trigger (state space will likely be unbounded if unset)
- use event pools for messages sent to specific objects, instead of using the ether
- only consider the first matching event of each event pool
- treat undefined values as symbolic values instead of as 0 or false
- consider that the system is reactive (i.e., faster than the environment): all its fireable transitions must be fired before any environment transition
:
,
analysis tools- Connect to the EMI model interpreter:
- log messages exchanged with EMI in console
- animate when using the EMI engine
- Connected to EMI model "" (disconnect)
:
.- Explore state space
- No output yet
- STOP
- Connect to external analysis tool:
- Wait milliseconds before sending configuration or fireable transitions
- animate when driven by analysis tool
- log messages exchanged with analysis tool in console
- keep exchanged messages in sequence & timing diagrams when setting configurations (warning: may make these diagrams inconsistent)
- Disconnect from analysis tool