Using yEd to make models for JTorX

Downloading yEd

yEd Home Page

Indicating the initial state

There are two ways to indicate the initial state:

  1. add an initial transition to the model, as follows.
    1. Add an additional state close the the initial state.
    2. Add a transition from that added state to the initial state; do not set a label on that transition.
    3. In the properties of the added state, make the added state invisible, leaving only the added transition visible as initial transition:
      1. in section General set properties Fill Color and Line Color to 'No Color' (or check property transparent, but this seems not possible in recent yEd version), and
      2. in section Label uncheck property visible.
  2. if no initial transition (as described above) is present in the model, the state with number 1 is interpreted as being the initial state
    (this for compatibility with iocoChecker).

Historical note: JTorX versions 1.9.2 and 1.10.0-beta3 were the first that look at properties Fill Color and Line Color to recognize invisible states; earlier JTorX versions only looked for property Transparent.

Indicating non-observable (internal) transitions

Transitions that have as label the string i or the string tau are treated as non-observable (internal).
(Also when the label consists of multiple words, and the first word is i or tau)

Notes

  1. yEd automatically numbers all created states, but it allows you to change the label of the states.
  2. yEd allows you to choose the color of the edges and nodes; you can use this to group related transitions and states.

Back to Usage scenarios