Issue 7450:  Issue in UML 2 CombinedFragment class (uml2-superstructure-ftf)
Source: Independent (Dr. Marc-Philippe Huget, marc-philippe.huget(at)imag.fr)
Nature: Uncategorized Issue
Severity: 
Summary: It is not possible to represent atomic message sending
Resolution: 
Revised Text: 
Actions taken:
June 9, 2004: received issue
Discussion: 

End of Annotations:=====
te: Wed, 09 Jun 2004 16:19:44 +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 CombinedFragment class 
X-IMAG-MailScanner: Found to be clean 
X-IMAG-MailScanner-Information: Please contact the ISP for more information 


It is not possible to represent atomic message sending.


Dr Marc-Philippe Huget

Subject: RE: Issue in UML 2 CombinedFragment class 
Date: Wed, 9 Jun 2004 18:58:34 -0400 
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: Issue in UML 2 CombinedFragment class 
Thread-Index: AcROL3UYFeazcWWdT9i+XkowjIvasQAROM2A 
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 i59N34un011872 




Dear Marc-Philippe,


Sending a message is an atomic event. However sending and receiving are two separate events. 


However, there is a "Critical Region" CombinedFragment (page 411). A critical region means that traces from this region cannot be interleaved by any other EventOccurences.


Also, as you might know, Messages represent several forms of communication:
Signal (open arrow head) - asynchronous signal
synchCall (filled arrowhead) - synchronous call
asynchCall (open arrow head) - asynchronous call
there are also create, destroy and return messages.
"Synchronous" here is not atomic. In synchronous communication the sender is suspended until the reply from the receiver is available.


Best regards,
Nikolai


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



It is not possible to represent atomic message sending.


Dr Marc-Philippe Huget
Leibniz-IMAG/MAGMA