Page History

...

• Matthias Schmeling <schm at informatik.uni-kiel.de>
• Hauke Fuhrmann <haf at informatik.uni-kiel.de>

Create a new Diagram

Image Removed

• To create a new SyncCharts diagram first create a new project. (New->General->Project)
• Then create a new syncChart. (New->SyncChart Diagram)
• The wizard asks you for the name of the diagram file and its corresponding model file. These should be the same for both files.
• Use the KIELER main menu to add some default initial syncChart to your canvas to start from. Now you have a new syncChart with a top level state that contains a region. Note that there should only be one top level state in a syncChart.

...

• Use the context menu(right-click) to add most of the items
  • Add Successor State: Add a state with a transition following the currently selected state.
  • Add Predecessor State: Add a state with a transition with a transition to the currently selected state.
  • Upgrade State: Add a Region into a State and an initial State into that Region. Can be called either on Simple States or on Macro States.
  • Downgrade State: Remove a Region from a State.
  • Add Choice: Add a Conditional Pseudo States with two target States.
  • Add Signal: Add a Signal declaration to a State.
  • Add Action/Suspension? : Add a State Action (OnEntry, OnInside (will be executed every tick), OnExit) or a Suspension Trigger. The first three may also contain a Trigger (hence a pure effect needs to start with a slash "/"), the latter is only a Trigger and may not contain an effect.
  • Connect States: Add a Transition between the two selected States.
  • Flip Transition: Change source and target of selected Transition.
  • Set Transition Target/Set ? Transition Source: Change either the target or the source of the currently selected transition to the currently selected State. Requires tp select exactly one Transition and one State.

Palette

The Palette is only there for old-style drag-and-drop editing. It is discouraged to use the palette to insert states and transitions. Better use the context menu as described above to edit the diagram with Structure-Based Editing operations. It will also automatically use auto-layout to get a nice graphical layout of the diagram.

Properties

• Use the properties view to change internal attributes of graphical objects
• Open by
  • Window->Show view->Properties or
  • Right-click in the graphical editor -> Show Properties View
• Example attributes to change
  • Labels and IDs of States
  • Types and flags of States (Conditional, normal, reference, initial, final...)
  • Types and flags of Transitions (weak or strong abortion, normal termination, immediate, delay, history...)

...

Image Added