Next: 6. Architectural View Editors Up: Toolkit for Conceptual Modeling Previous: 4. Data View Editors
Subsections

- 5.1 The State Transition Diagram Editor (TSTD)
  - 5.1.1 Nodes and Edges
  - 5.1.2 States
  - 5.1.3 Transitions, Events and Actions
  - 5.1.4 Constraint Checking
- 5.2 The Activity Diagram Editor (TATD)
  - 5.2.1 Nodes and Edges
  - 5.2.2 States
  - 5.2.3 Transitions
  - 5.2.4 Constraint Checking
- 5.3 The Process Structure Diagram Editor (TPSD)
  - 5.3.1 Nodes and Edges
  - 5.3.2 The Process Tree
  - 5.3.3 Constraint Checking
- 5.4 The Recursive Process Graph Editor (TRPG)
  - 5.4.1 Nodes and Edges
  - 5.4.2 Constraint Checking

#
5. Behavior View Editors

Behavior view editors manipulate various kind of diagrams to represent system or object behavior.

#
5.1 The State Transition Diagram Editor (TSTD)

## 5.1.1 Nodes and Edges

TSTD follows the notational convention of Mealy machines. In short, a Mealy machine is a finite state machine in which each transition can have one or more actions. See figure 5.1 for the shapes and subjects.

Figure 5.1: State transition diagram nodes and edges.
| Initial state |  | State
| Decision point |  |
| Transition |  |

## 5.1.2 States

There are tree kinds of nodes: initial states, (normal) states and decision points. All nodes should have mutually unique names. Nameless states, also called transitory states, are not permitted. Non-deterministic state transition diagrams are permitted.

An initial state can have one or more initialization actions. You can add an action by selecting the initial state, and click on or near the arrow on top of the box. When an edit cursor appears at the right side of the arrow, you can type in the actions. Each line of text will be considered as a separate action. If you stop editing, the actions will be placed at the right side of the arrow and the texts become left aligned. The arrow will be resized to accommodate the height of the texts and on top of the actions a horizontal separator line will be drawn. Only when the initial state has actions then the separator line is drawn. Note that these actions are in this notational convention part of the initial state node, whereas the other actions (and events) of a diagram are as a notational convention part of an edge.

##
5.1.3 Transitions, Events and Actions

Transitions are drawn as arrows. They do not have a single editable name label like most of the other line or arrow types in TCM. Instead they have a distinct event label and an arbitrary number of action labels. The action labels each occupy exactly one line of text; the event label can contain multiple lines. The event and the actions are separated by a horizontal separator line . When a transition is created, a separator line will also be created and it will be positioned near where a name label would normally be positioned. When the transition line segment near the separator is drawn vertically, the separator is by default connected to the right side of that line segment. When the segment is drawn horizontally, the separator is by default positioned somewhat above the line. See figure 5.2 for the two default positions.

Figure 5.2: Default STD separator positions.

If you click for editing a bit above the separator line, an edit cursor appears and you can enter an event string. When you stop editing, the event string will be positioned above the separator line and the separator line will be resized, if necessary.

If you click for editing a bit below the separator, an edit cursor appears there and you can enter a list of actions. Each line of text will become a separate action. If you stop editing, the actions will become left aligned and, if necessary, the separator line will be resized. When the transition line segment is horizontal and the separator is positioned above the segment, all labels are moved up so that they are all positioned above the line. See figure 5.3 for an example diagram with actions and events.

Figure 5.3: STD with events and actions.

It is possible to drag the separator line together with the event and action labels. There are two different sorts of movements possible. You are advised to experiment with this. These movements are:

1.
  Move it to another line segment. You do this by selecting the transition and click for editing on the desired transition segment. The separator line and the existing event and action labels are moved to that line segment. When you stop editing, the separator will remain in that line segment. Summarizing: to move it to a different segment, empty the selection and then double click the desired segment.
2.
  Move within a line segment. Drag with button-1 the separator or one of the labels to the desired position. The final position is determined by the direction of the transition line segment.
  - If the line segment is more or less horizontal, you can freely move the separator and labels from left to right. But you can only move the separator up and down to two predefined positions: either all labels are positioned entirely above the line segment or all labels are positioned entirely below the line segment.

  - If the line segment is more or less vertical, you can freely move the separator and labels up and down the segment, but you can only move the separator left and right to two predefined positions: either all labels are entirely positioned at the left side of the line segment or all labels are entirely positioned at the right of the line segment.

The automatic positioning of labels looks best when the segments are horizontal or vertical. When the transition arrow segments are diagonal or curved, then label positioning still works but sometimes the result does not look as great as figure 5.3.

## 5.1.4 Constraint Checking

TSTD checks the following constraints that are summarized in figure 5.4.

Figure 5.4: Immediately checked and soft constraints on STDs.

#
5.2 The Activity Diagram Editor (TATD)

## 5.2.1 Nodes and Edges

An activity diagram is a special case of a state diagram in which most states are action states or subactivity states, and most transitions are completion transitions. The purpose of an activity diagram is to focus on flows driven by internal processing (as opposed to external events). See figure 5.5 for the shapes and subjects.

Figure 5.5: Activity diagram nodes and edges.
| Action state |  | Wait state
| Horizontal synchronization bar |  | Vertical synchronization bar
| Start state |  | End state
| Decision |  |
| Control flow |  |

## 5.2.2 States

There are four kinds of nodes: start and end states, (active and wait) states, decisions and synchronizations. Nameless states and non-deterministic activity diagrams are not permitted.

A decision, represented by a small diamond, can be used as a decision point (one incoming arrow and two or more outgoing arrows), as a merge point (two or more incoming arrows and one outgoing arrow), or as a combined merge/decision point. See figure 5.6 for an example of decision and merge.

Figure 5.6: Example decision and merge.

Synchronizations, represented by horizontal or vertical synchronization bars, should have one incoming and two or more outgoing control flows or two or more incoming flows and one outgoing flow. Via the Update Node Shape Type option in the edit menu it is possible to convert between these two synchronization representations.

See figure 5.7 for an example diagram with horizontal synchronization bars.

Figure 5.7: ATD with action states, synchronization bars and a decision.

##
5.2.3 Transitions

Transitions are drawn as arrows, which have a single editable name label like most of the other line or arrow types in TCM. Restrictions on transitions can be found in figure 5.8.

## 5.2.4 Constraint Checking

TATD checks the following constraints that are summarized in figure 5.8.

Figure 5.8: Immediately checked and soft constraints on ATDs.

#
5.3 The Process Structure Diagram Editor (TPSD)

##
5.3.1 Nodes and Edges

TPSD has just one special type of node, called Process and one type of edge called Empty edge (see figure 5.9). The process node is represented by a box. In the top right corner of the process node box, a process operator can be specified. You edit this operator by selecting the box and then click in the top right corner. You go into edit mode then and the operator is typed in as a single character. See figure 5.10 for the different operators.

Figure 5.9: Process structure diagram nodes and edges.
| Process |  | Empty edge

Figure 5.10: Process structure operators.
Box | Operator | Description
|  | sequence, the default.
| `*` | iteration.
| `o` | choice.
| `!` | for premature termination.
| `?` | for premature termination.

##
5.3.2 The Process Tree

TPSD is a bit different from the other existing TCM diagram editors because in TPSD the layout (representation) is significant for the meaning of the diagram. So TPSD has to make sure that there is always a one-one relationship between each node instance and its representing shape instance. Therefore, duplicate shapes cannot be made in TPSD. During editing, TPSD enforces that the graph is a set of undirected trees. It has the constraint that an edge can only be added to the graph when the resulting graph would not contain a cycle. This constraint is also implemented for the tree editors (chapter 8).

In TPSD, the highest box in the drawing area represents the root of the tree, which is called the main root. This is the process node whose representing box has the smallest y-coordinate. The main tree is the tree that is connected to the main root.

Each process node has a set of children that is ordered from left to right. The ordering of the children is determined by the position of the shapes in the drawing area 5.1.

The Update Sequence Labels commands in a submenu of the TPSD View menu make it possible to show the process sequence numbers in the lower right corners of the boxes. The show no sequence labels command makes all the sequence numbers invisible. The update action sequences command draws the sequence numbers of all actions. Actions are the leaf nodes of the tree, excluding the ``quit'' boxes. See figure 5.11 for a PSD with numbered actions. The update process sequences command draws sequence numbers in all process nodes. Each parent receives a sequence number that is one higher than the highest number amongst its children. Note that the sequence numbers are not updated automatically when you edit the diagram. The labels are only recalculated and updated when you perform an update sequence labels command again. However, when you save the PSD to file, updating sequence labels is called implicitly.

Figure 5.11: Example PSD with numbered actions.

## 5.3.3 Constraint Checking

The Check Diagram command in the Diagram menu checks that the tree is a syntactically correct JSD process structure diagram. Because of the immediately enforced constraints, Check Diagram assumes that there are no duplicate nodes and no cycles. In figure 5.12 all immediately and soft constraints are summarized.

Note that, if the box of a child has a smaller y-coordinate (is higher) than its parent, then a warning is given because that is an indication of a poor layout.

Figure 5.12: Immediately checked and soft constraints on PSDs.

#
5.4 The Recursive Process Graph Editor (TRPG)

## 5.4.1 Nodes and Edges

See figure 5.13 for the TRPG shapes and subjects. There are two node types and three node shape types. Process graph roots have their name label written on top of a downwards pointing arrow. In general the process graph roots are named after the process graph document, but in upper case letters. By default a process graph is named `UNTITLED`. Process graph nodes have two node shape representations. They can be small unnamed circles or larger rounded boxes which can contain a name label. Process graph nodes are connected by event edges. See figure 5.14 for an example recursive process graph.

Figure 5.13: Recursive process graph nodes and edges.
| Process graph root |  | Process graph node
| Process graph node |  |
| Event |  |

Figure 5.14: Example recursive process graph.

## 5.4.2 Constraint Checking

TRPG checks the immediately enforced and soft constraints that are summarized in figure 5.15.

Figure 5.15: Immediately checked and soft constraints on RPGs.

#### Footnotes

... area 5.1
  More precisely: the order of the children is determined by the x-coordinates of the end points on the parent side of the edges between the parent and the children. This sounds a bit complex, but this includes the common left to right ordering with straight edges.

Next: 6. Architectural View Editors Up: Toolkit for Conceptual Modeling Previous: 4. Data View Editors