PSSM 1.1 RTF Avatar
  1. OMG Issue

PSSM11 — LocalTransitionActivation exit source unclear

  • Key: PSSM11-1
  • Status: open  
  • Source: ( David Mesquita-Morris)
  • Summary:

    The text for the semantics of exiting the source of a local transition appears incomplete; the first paragraph provides a condition under which the source cannot be exited, but if that condition is not met, does not describe how the source should be exited.

  • Reported: PSSM 1.0b1 — Wed, 19 Dec 2018 09:53 GMT
  • Updated: Mon, 14 Jan 2019 20:31 GMT