Uploaded image for project: 'Kieler Semantics'
  1. Kieler Semantics
  2. KISEMA-1592

Broken Transformation with guarded During, Exit and Weak Abort

    XMLWordPrintable

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Major
    • Resolution: Fixed
    • Affects Version/s: Next Release
    • Fix Version/s: Next Release
    • Component/s: SCCharts
    • Labels:
      None

      Description

      If an exit action, a during action and a guarded weak abort on the state are combined, the weak abort transformation is triggered even though the guard is not active.

      scchart DuringExitAbortIssue {
        input bool I1, I2, I3, I4
       
        extern "doThingsA" doThingsA
        extern "doThingsB" doThingsB
       
        initial state A
        if I1 go to B
       
        state B {
          during if I2 do doThingsA()
          exit if I3 do doThingsB()
        }
        if I4 go to C
       
        state C	
      }
      

      After transformation the following model is created

      The expected model would look like this after action transformation (before connector)

        Attachments

          Activity

            People

            Assignee:
            als Alexander Schulz-Rosengarten
            Reporter:
            nbw_SB Nis Wechselberg
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Dates

              Created:
              Updated:
              Resolved: