Issue 16002: Presentation options of statemachine transitions: Figure 15.45 is ambiguous or wrong (uml2-rtf) Source: Commissariat a l Energie Atomique-CEA (Dr. Arnaud Cuccuru, arnaud.cuccuru(at)cea.fr) Nature: Uncategorized Issue Severity: Summary: Figure 15.45 of superstructure v2.3 illustrates the representation of deferred triggers on states. The transition between states "Get Cups" and "Pour coffee" specifies a trigger "light goes out" which is also identified as a deferred trigger of state "Get Cups". Does "light goes out" trigger the transition, or is it deferred? If the figure is not wrong, it would probably be helpful to add a comment in the text (note that figure 15.45 is not referenced in the text). Resolution: Revised Text: Actions taken: February 1, 2011: received issue Discussion: End of Annotations:===== ubject: Presentation options of statemachine transitions: Figure 15.45 is ambiguous or wrong Date: Tue, 1 Feb 2011 11:42:01 +0100 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Presentation options of statemachine transitions: Figure 15.45 is ambiguous or wrong Thread-Index: AcvB/KiFmm0bOKDwTA2Jmfs9xXACXQ== From: "CUCCURU Arnaud" To: X-OriginalArrivalTime: 01 Feb 2011 10:42:02.0077 (UTC) FILETIME=[A8F578D0:01CBC1FC] Dear all, Figure 15.45 of superstructure v2.3 illustrates the representation of deferred triggers on states. The transition between states "Get Cups" and "Pour coffee" specifies a trigger "light goes out" which is also identified as a deferred trigger of state "Get Cups". Does "light goes out" trigger the transition, or is it deferred? If the figure is not wrong, it would probably be helpful to add a comment in the text (note that figure 15.45 is not referenced in the text). Is it worth raising an issue for that? Best regards, Arnaud CUCCURU CEA LIST, Laboratoire d.Ingéerie dirigépar les modès pour les Systès Embarqué(LISE) Tel : + 33 1 69 08 49 61 Fax : + 33 1 69 08 20 82 Subject: Re: Presentation options of statemachine transitions: Figure 15.45 is ambiguous or wrong X-KeepSent: 3DACAF5F:FCC5FD7F-8525782A:005DBA5D; type=4; name=$KeepSent To: "CUCCURU Arnaud" Cc: uml2-rtf@omg.org X-Mailer: Lotus Notes Release 8.0.2FP1 SHF149 July 17, 2009 From: Adam Neal Date: Tue, 1 Feb 2011 12:12:26 -0500 X-MIMETrack: Serialize by Router on D25ML02/25/M/IBM(Release 8.0.2FP5|April 13, 2010) at 02/01/2011 12:14:23 X-Content-Scanned: Fidelis XPS MAILER Hi Arnaud, Good catch, the diagram is incorrect, we are missing an intermediate state between Get Cups and Pour Coffee, that will not defer the event and will also allow Get Cups to run to completion. Juergen, can we please raise an issue. --Adam "CUCCURU Arnaud" ---01/02/2011 05:44:34 AM---Dear all, From: "CUCCURU Arnaud" To: Date: 01/02/2011 05:44 AM Subject: Presentation options of statemachine transitions: Figure 15.45 is ambiguous or wrong -------------------------------------------------------------------------------- Dear all, Figure 15.45 of superstructure v2.3 illustrates the representation of deferred triggers on states. The transition between states "Get Cups" and "Pour coffee" specifies a trigger "light goes out" which is also identified as a deferred trigger of state "Get Cups". Does "light goes out" trigger the transition, or is it deferred? If the figure is not wrong, it would probably be helpful to add a comment in the text (note that figure 15.45 is not referenced in the text). Is it worth raising an issue for that? Best regards, Arnaud CUCCURU CEA LIST, Laboratoire d.Ingéerie dirigépar les modès pour les Systès Embarqué(LISE) Tel : + 33 1 69 08 49 61 Fax : + 33 1 69 08 20 82