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. |