Issue 7451: Issue in UML 2 Continuation (uml2-superstructure-ftf)
Source: Independent (Dr. Marc-Philippe Huget, marc-philippe.huget(at)imag.fr)
Nature: Uncategorized Issue
Severity: 
Summary: Is it not possible to have a symbol for the setting? That could help reading the diagram.


Resolution: 
Revised Text: 
Actions taken:
June 9, 2004: received issue
Discussion: 

End of Annotations:=====
te: Wed, 09 Jun 2004 16:21:54 +0200 
From: Marc-Philippe Huget <Marc-Philippe.Huget@imag.fr> 
User-Agent: Mozilla/5.0 (X11; U; SunOS sun4u; fr-FR; rv:1.0.1) Gecko/20020921 Netscape/7.0 
X-Accept-Language: fr-fr, fr 
To: uml2-superstructure-ftf <uml2-superstructure-ftf@omg.org>, 
   issues 
 <issues@omg.org>, "oystein.haugen" <oystein.haugen@ifi.uio.no> 
Subject: Issue in UML 2 Continuation 
X-IMAG-MailScanner: Found to be clean 
X-IMAG-MailScanner-Information: Please contact the ISP for more information 


Is it not possible to have a symbol for the setting? That could help reading the diagram.


Dr Marc-Philippe Huget
Subject: RE: Issue in UML 2 Continuation 
Date: Wed, 9 Jun 2004 19:08:06 -0400 
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: Issue in UML 2 Continuation 
Thread-Index: AcROLt/jtZ0WewozRHSNAtZwAEL3pgARnjAw 
From: "Nikolai Mansurov" <nikolai@klocwork.com> 
To: "Marc-Philippe Huget" <Marc-Philippe.Huget@imag.fr>, 
   "uml2-superstructure-ftf" <uml2-superstructure-ftf@omg.org>, 
   "oystein.haugen" <oystein.haugen@ifi.uio.no> 
X-MIME-Autoconverted: from quoted-printable to 8bit by amethyst.omg.org id i59NCaun011927 


Dear Marc-Philippe,


There has been a discussion on this (and an issue 6978). Below are the reasons for the current notation:
1. A guard is only on one lifeline (and there are good reasons for that)
2. A state symbol on one lifeline represents a state invariant refering to the state of some executing state machine. This was a desire from those who do model checking.
3. A state invariant as a normal constraint (curly brackets) is a predicate on one lifeline.
4. Continuation symbols look like state symbols . Continuations are  for all pratctical purposes on more than one lifeline and are therefore not confused with state invariants. Using the guard notation over more than one lifeline will probably not work very well for graphical reasons.


Best regards,
Nick


-----Original Message-----
From: Marc-Philippe Huget [mailto:Marc-Philippe.Huget@imag.fr]
Sent: Wednesday, June 09, 2004 10:22 AM
To: uml2-superstructure-ftf; issues; oystein.haugen
Subject: Issue in UML 2 Continuation



Is it not possible to have a symbol for the setting? That could help 
reading the diagram.


Dr Marc-Philippe Huget
Leibniz-IMAG/MAGMA