Book a Demo

Author Topic: Many Initial States in Concurrent state machine  (Read 5924 times)

kenty

  • EA Novice
  • *
  • Posts: 12
  • Karma: +0/-0
    • View Profile
Many Initial States in Concurrent state machine
« on: November 08, 2006, 07:43:07 pm »
When I validated a concurrent state machine I received warnings that having more than one Initial States were a statechart violation.  It accepted the first initial state but considered the rest as violations.

According to the UML standard: "A region can have at most one initial vertex." (pg 569 of ptc-06-04-02 - 2.1 Superstructure.pdf).  Since a concurrent state machine has multiple regions, we interpret this as: "A concurrent state machine has multiple regions, each having at most one initial vertex."

The book "UML 2.0 In a Nutshell" also supports this interpretation (Fig 8-8, pg 92).

Can the validation be fixed to recognise this part of the UML specification.
« Last Edit: November 08, 2006, 07:51:12 pm by kenty »

jeshaw2

  • EA User
  • **
  • Posts: 701
  • Karma: +0/-0
  • I'm a Singleton, what pattern are you?
    • View Profile
Re: Many Initial States in Concurrent state machin
« Reply #1 on: November 09, 2006, 03:57:36 pm »
I would add my vote to this.  :)
Verbal Use Cases aren't worth the paper they are written upon.

«Midnight»

  • EA Guru
  • *****
  • Posts: 5651
  • Karma: +0/-0
  • That nice Mister Grey
    • View Profile
Re: Many Initial States in Concurrent state machin
« Reply #2 on: November 10, 2006, 12:34:59 pm »
And mine!
No, you can't have it!

kenty

  • EA Novice
  • *
  • Posts: 12
  • Karma: +0/-0
    • View Profile
Re: Many Initial States in Concurrent state machin
« Reply #3 on: November 12, 2006, 10:30:36 pm »
Received a reply from Sparx.  This is identified as a defect and will be addressed at some point.

«Midnight»

  • EA Guru
  • *****
  • Posts: 5651
  • Karma: +0/-0
  • That nice Mister Grey
    • View Profile
Re: Many Initial States in Concurrent state machin
« Reply #4 on: November 15, 2006, 08:53:34 am »
Quote
...and will be addressed at some point.

Or perhaps at some vertex, as appropriate.   ::)
No, you can't have it!

jeshaw2

  • EA User
  • **
  • Posts: 701
  • Karma: +0/-0
  • I'm a Singleton, what pattern are you?
    • View Profile
Re: Many Initial States in Concurrent state machin
« Reply #5 on: November 15, 2006, 06:45:57 pm »
Requires a change of state.  ;D
Verbal Use Cases aren't worth the paper they are written upon.