5/5/2023 0 Comments Timenet check![]() ![]() Afterwards the action button for adding the stereotype should be clicked. ![]() The value has to conform to the syntax for RTtimeValue from the SPT profile specification. After choosing the desired stereotype ( Choose Stereotype ) and related tagged value ( Choose TAG ), the value needs to be entered as a text. Stereotypes can be added to a selected element if an Add Stereotype action button is available in the right tab. The Create Loop button allows to include a self-transition for the selected simple state. Internal activities can be removed from a simple state using the Remove Entry, Remove Do, and Remove Exit button (see Figure 1). Attributes for an internal activity are a name and a stereotypes list of attached stereotypes. If specified, they are displayed within the state representation in the drawing panel. Optional internal activities can be added using the Create Entry, Create Do, and Create Exit buttons in the right tab (see Figure 1). Each simple state has a text attribute that specifies its name. These additional attributes and action buttons appear in the right tab of the GUI. Visible elements can be selected, their attributes be edited, and additional action buttons be used if the selection mode is activated. They are displayed as directed arcs connecting two sSM elements as can be seen in the later example. The representation of transitions is not depicted in Figure 3. The choice pseudostate is represented by a rotated empty square. Join pseudostates are depicted as small black rectangles with a J above it, whereas fork pseudostates are displayed as small black rectangle with a F above it. An initial pseudostate is shown as a small solid black circle. Final states are displayed as an empty circle with a smaller solid black circle in it. A simple state is depicted as an empty rounded rectangle. Composite states are depicted as empty rounded rectangle containing a circle and the text Comp in it. The representations of these sSM elements are depicted in Figure 3. ![]() The lower icon bar for the sSM net class includes the following model elements (from left to the right): selection mode, composite state, simple state, final state, initial pseudostate, join pseudostate, fork pseudostate, choice pseudostate, and state transition. Figure 1 depicts the GUI while editing an example sSM model. Furthermore, at most one final state is allowed for each region. For example, an initial pseudostate is automatically introduced for each region of a composite state in order to ensure a correct default entry into the composite state. Besides that, the sSM model class follows our rec- ommendations for modeling UML State Machines. Table 2 summarizes the stereotypes that are currently supported by the sSM net class. Among the supported stereotypes are RTdelay, PAstep, and RTevent. We point out that so far only annotations are offered that are supported by the mentioned transformation into SPNs. These annotations can be added to certain elements like transitions or simple states. Furthermore, a set of stereotypes and related tagged values from the SPT profile and from the proposed additional lightweight PQprofile performance query sub-profile is included. The featured modeling elements are composite states, simple states, final states, initial pseudostates, join pseudostates, fork pseudostates, choice pseudostates, and transitions. The not yet supported elements comprise the junction pseudostate, the history pseudostates, the terminate pseudostate, the entry and the exit point pseudostates. sSM net class does not yet support all elements from the subset of extended UML State Machines presented earlier in Section 2. ![]()
0 Comments
Leave a Reply. |