PSSM 1.1 RTF Avatar
  1. OMG Issue

PSSM11 — Error in alternative traces of 9.3.3.11 Transition 017

  • Key: PSSM11-9
  • Status: open  
  • Source: mit.bme.hu ( Zoltan Micskei)
  • Summary:

    The alternative execution traces part lists the following traces:
    "2. T2(effect)::S1(entry)::T2.2(effect)::T3.2(effect)::S3.1(doActivity)::T3.1.2(effect)
    3. T2(effect)::S1(entry)::T2.2(effect)::T3.2(effect)::T3.1.2(effect)::S3.1(doActivity)"

    I think these traces are not valid. T3.2 is triggered by the completion event of S3.1. However, as per "StateActivation completion" on page 37, "The StateActivation can only generate a CompletionEventOccurrence when all RegionActivations for Regions of the composite state have completed and the doActivity Behavior has completed.". Therefore T3.2(effect) cannot be printed before S3.1(doActivity).

    The precedence relations are the followings. T2 -> S1; S1 -> T2.2; S1 -> S1(do); S1 -> T3.1.2, S1(do) -> T3.2, T3.1.2 -> T3.2

    The full list of valid traces are the followings (some of them are missing from the current list)

    T2 S1 T2.2 T3.1.2 S3.1(do) T3.2
    T2 S1 T2.2 S3.1(do) T3.1.2 T3.2
    T2 S1 T3.1.2 T2.2 S3.1(do) T3.2
    T2 S1 T3.1.2 S3.1(do) T2.2 T3.2
    T2 S1 T3.1.2 S3.1(do) T3.2 T2.2
    T2 S1 S3.1(do) T2.2 T3.1.2 T3.2
    T2 S1 S3.1(do) T3.1.2 T2.2 T3.2
    T2 S1 S3.1(do) T3.1.2 T3.2 T2.2

  • Reported: PSSM 1.0 — Fri, 25 Sep 2020 07:28 GMT
  • Updated: Thu, 1 Oct 2020 16:51 GMT