We are missing some SysML features for state machines. See SysML Specification Chapter 13 Table 13.1.
Provide asynchronous communication within state machines
The signal features (receive and send) are required for the asynchronous communication with other entities in real time systems. Our code generators will map that on RTOS calls like snd_Msg or rcv_Msg.
Hide transition effect implementations
The action feature is required to avoid the explicit formulation and rendering of transition effects in the event action block. Given in the target language (e.g. ANSI-C). This action feature might be a feature to hide that implementation.
Optionally a feature for the selection of operations or activities in the event action block would be fine as well. The name of the selected action or operation will then replace the raw implementation code of the effect.
Terminator pseudo state
The terminator pseudo state is missing as well. The terminator is helpful to complete a state machine at various states. Would be great to see this feature within PTC Modeler.