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
            

            
            
          

        


        

        


      


    


  





    

  



  
    
      

      
Page Feedback