IBM Support

PI50948: CRASH WITH ISOLATED STATE MODEL CHECK WARNING

Subscribe to this APAR

By subscribing, you receive periodic emails alerting you to the status of the APAR, along with a link to the fix after it becomes available. You can track this item individually or track all items by product.

Notify me when this APAR changes.

Notify me when an APAR for this component changes.

 

APAR status

  • Closed as program error.

Error description

  • If you generate code it crashes, if you run model checker it
    shows the two states that are causing the crash: Two isolated
    send actions in the activity diagram.
    
    Deleting them both fixes the crash.
    

Local fix

Problem summary

  • ****************************************************************
    * USERS AFFECTED:                                              *
    * Rhapsody 8.1.3                                               *
    ****************************************************************
    * PROBLEM DESCRIPTION:                                         *
    * CRASH WITH ISOLATED STATE MODEL CHECK WARNING                *
    ****************************************************************
    * RECOMMENDATION:                                              *
    ****************************************************************
    

Problem conclusion

  • Fixed in 8.1.4
    Fixed by adding check that prevent code generation in this case
    

Temporary fix

Comments

APAR Information

  • APAR number

    PI50948

  • 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-10-21

  • 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":"BU048","label":"IBM Software"},"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