Precise Semantics of UML State Machines Avatar
  1. OMG Specification

Precise Semantics of UML State Machines — All Issues

  • Acronym: PSSM
  • Issues Count: 1
  • Description: All Issues
Open Closed All
All Issues

Issues Summary

Key Issue Reported Fixed Disposition Status
PSSM_-23 Incorrect transition numbering in Deferred007_Test PSSM 1.0a1 PSSM 1.0 Resolved closed

Issues Descriptions

Incorrect transition numbering in Deferred007_Test

  • Key: PSSM_-23
  • Status: closed  
  • Source: Commissariat a l Energie Atomique-CEA ( Jeremie Tatibouet)
  • Summary:

    The classifier behavior of the test Deferred007 is specified as a state machine. Transitions in this state machine are numbered. However the numbering goes jumps from T3 to T6.

  • Reported: PSSM 1.0a1 — Wed, 7 Nov 2018 15:55 GMT
  • Disposition: Resolved — PSSM 1.0
  • Disposition Summary:

    Resolution of issue PSSM_-23

    The resolution requires:

    1. An update of the specification document. Indeed Figure 9.101, the generated trace, the note and the RTC steps overview need to updated.
    2. An update of the test suite model.
  • Updated: Mon, 1 Apr 2019 18:19 GMT
  • Attachments: