PM85918: Rules in Capsule Transitions Don't Work

Subscribe

You can track all active APARs for this component.

APAR status

  • Closed as program error.

Error description

  • Capsule transition Rules has a bug: transition Constraints can
    be
    Guards or Rules, but Rules produce strange behavior and
    therefore must
    NOT be used.  Guards can be used instead.  Rules have been
    proven to
    NOT execute the first time through (previous version of redacted
    
    capsule), effectively evaluating as 'pass' or 'true'.  This
    behavior
    makes it as if there is no Rule at all, the first time through.
    
    Thereafter, the Rule acts as one would assume it should,
    evaluating to
    'pass' or 'fail' based on the coded logic of the Rule.  On the
    other
    hand, Guards evaluate every time, as expected, and therefore
    these
    should be used instead.  It would be extremely difficult to
    capture
    other details herein.  I can demonstrate this by changing
    redacted
    code, Building, and executing in the SWIT environment.
    

Local fix

Problem summary

  • ****************************************************************
    * USERS AFFECTED:                                              *
    ****************************************************************
    * PROBLEM DESCRIPTION:                                         *
    ****************************************************************
    * RECOMMENDATION:                                              *
    ****************************************************************
    Validation rules were missing for transformations for a case
    when non-guard constraint is used.
    

Problem conclusion

  • Added special validation rules to C++, Java and C
    transformations for a case when non-guard constraint is
    used. User will get warnings when
    - non-guard constraint is used in a transition (we should
    recommend users to use guards only)
    - non-guard constraint does not constraint Trigger (such
    constraint will be ignored in generated code)
    - non-guard constraint does not have appropriate language
    (such constraint will be ignored in generated code)
    

Temporary fix

Comments

APAR Information

  • APAR number

    PM85918

  • Reported component name

    RSA REALTIME

  • Reported component ID

    5724G4701

  • Reported release

    804

  • Status

    CLOSED PER

  • PE

    NoPE

  • HIPER

    NoHIPER

  • Special Attention

    NoSpecatt

  • Submitted date

    2013-03-29

  • Closed date

    2013-06-14

  • Last modified date

    2013-06-14

  • 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

    RSA REALTIME

  • Fixed component ID

    5724G4701

Applicable component levels

  • R804 PSN

       UP



Rate this page:

(0 users)Average rating

Document information


More support for:

Rational Software Architect RealTime Edition

Software version:

8.0.4

Reference #:

PM85918

Modified date:

2013-06-14

Translate my page

Machine Translation

Content navigation