PI45593: MODEL CHECKER GENERATES INCORRECT WARNING FOR TIMEOUT TRANSITION.

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