APAR status
Closed as program error.
Error description
The model checker generates the warning "Composite state that has a null transition leaving it must contain a termination state." However, the "null" transition is to a timeout, so isn't really a NULL transition, and is legal. (and doesn't require the termination state) Modeling as a transition-timer (using tm() ) does not generate the error. Modeling with the graphical timeout should not either.
Local fix
Problem summary
**************************************************************** * USERS AFFECTED: * * Rhapsody 8.1.3 * **************************************************************** * PROBLEM DESCRIPTION: * * MODEL CHECKER GENERATES INCORRECT WARNING FOR TIMEOUT * * TRANSITION. * **************************************************************** * RECOMMENDATION: * ****************************************************************
Problem conclusion
Fixed in 8.1.4
Temporary fix
Comments
APAR Information
APAR number
PI45593
Reported component name
TLOGIC RHAPSODY
Reported component ID
5724V74RP
Reported release
813
Status
CLOSED PER
PE
NoPE
HIPER
NoHIPER
Special Attention
NoSpecatt
Submitted date
2015-07-23
Closed date
2015-12-16
Last modified date
2015-12-16
APAR is sysrouted FROM one or more of the following:
APAR is sysrouted TO one or more of the following:
Fix information
Fixed component name
TLOGIC RHAPSODY
Fixed component ID
5724V74RP
Applicable component levels
R813 PSY
UP
[{"Business Unit":{"code":"BU059","label":"IBM Software w\/o TPS"},"Product":{"code":"SS7P9W","label":"Rational Rhapsody"},"Component":"","ARM Category":[],"Platform":[{"code":"PF025","label":"Platform Independent"}],"Version":"8.1.3","Edition":"","Line of Business":{"code":"","label":""}}]
Document Information
Modified date:
16 December 2015