TismTool makes use of a set of proprietary stereotypes supplying added functionality. The template file TismTemplate.xml contains the definitions of these stereotypes.
|
Stereotype |
Element |
Meaning |
|
TismProtocol |
Package |
Indicates that the package specifies a protocol. |
|
HasMutex |
Component |
The component is protected by a mutex. |
|
HasThread |
Component |
The component runs in its own thread (created by the RTE). |
|
Foreign |
Property |
The source code of the component instance is not part of the UML model. The mandatory functions for connecting the port(s) must be supplied by the component’s developer. |
|
Mock |
Property |
The component instance is mocked for the purpose of verification or simulation. For each port, the source code generated satisfies the underlying protocol at that port. |
|
Ignore |
Transition |
States explicitly that this internal transition discards the trigger. |
|
NativeTrigger |
Transition |
The transition has a trigger that is generated internally due to the the component’s native behaviour. |
|
SyncReturn |
Transition |
Indicates that all activity of a (triggering) function call to a threaded component has ended, so that the caller will be unblocked. |
|
TacTransition |
Transition |
Indicates a transition between 2 identical submachine states representing transactions. After the transition the state configuration of the target submachine equals the state configuration of the source submachine. |
|
ProxyOk |
Transition |
The target state in the Proxy has been reached. |
|
ProxyNok |
Transition |
The target state in the Proxy has not (yet) been reached. |
|
IsProxyOk |
Transition |
Represents a guard in the transition of a Proxy user, being true if the target state in the Proxy has been reached. |
|
IsProxyNok |
Transition |
Represents a guard in the transition of a Proxy user, being true if the target state in the Proxy has not been reached. |