PSSM 1.0 FTF Avatar
  1. OMG Issue

PSSM_ — Typos in "Note" section of " Transition 019"

  • Key: PSSM_-10
  • Status: closed  
  • Source: AGI ( Daniel Yankowsky)
  • Summary:

    The "Note" section says "Consider the situation where the state machine is in configuration S1[S1.1, S1.2]". This is an impossible configuration; it should read "... in configuration S1[S1.1, S2.1]". The note later says "CE(2.1) will be triggered next", but it should read "CE(2.2) will be triggered next".

  • Reported: PSSM 1.0b1 — Thu, 13 Sep 2018 18:33 GMT
  • Disposition: Resolved — PSSM 1.0
  • Disposition Summary:

    Resolution of issue PSSM_-10

    This is correct.

    • At the third line of the note, S1[S1.1, S1.2] designates an invalid configuration. The intended configuration is S1[S1.1, S2.1].
    • At the last line of the note, the reference to the completion event for S2.1 is invalid. Indeed, this reference must be for the completion event generated for S2.2.

    The changes to perform are limited to the Note in subclause of [PSSM 1.0b].

  • Updated: Mon, 1 Apr 2019 18:19 GMT