Issue 6247: Question about InterruptibleActivityRegion (uml2-superstructure-ftf)
Source: oose Innovative Informatik eG (Mr. Tim Weilkiens, tim.weilkiens(at)oose.de)
Nature: Uncategorized Issue
Severity: 
Summary: I am not sure about the semantics of the InterruptibleActivityRegion.


If I have such a region with an Accept Event Action to wait for an
event to terminate the region, what happens if there is no token
flow within the region, but the event occurs?


I think the Accept Event Action is active. I did not found another
statement in the specification. That means that all outgoing
egdes get tokens after event occurence. 


Normally that is not the semantic the modeler wants. Nothing should happen
if there is no token flow in the activity region.

Resolution: see above
Revised Text: 
Actions taken:
September 11, 2003: received issue
March 8, 2005: closed issue
Discussion: 
In InterruptibleActivityRegion, first paragraph
First sentence
after "interrupted", add ", including accept event actions in the
region,".
at end of paragraph, add new sentence "AcceptEventActions in the region that
do not have incoming edges are enabled only when a token enters the region,
even if the token is not directed at the accept event action."
In AcceptEventAction, Semantics, end of first sentence add "(also see
InterruptibleActivityRegion)".
End of Annotations:=====
ubject: Question about InterruptibleActivityRegion 
Date: Thu, 11 Sep 2003 15:21:41 +0200 
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: Question about InterruptibleActivityRegion 
Thread-Index: AcN4Z6LWxS98VpT7QyeDqIvLWPkN3w== 
From: "Tim Weilkiens" <Tim.Weilkiens@oose.de> 
To: <uml2-superstructure-ftf@omg.org> 
X-MIME-Autoconverted: from quoted-printable to 8bit by amethyst.omg.org id h8BDKPe4002283 


Hi,


I am not sure about the semantics of the InterruptibleActivityRegion.


If I have such a region with an Accept Event Action to wait for an
event to terminate the region, what happens if there is no token
flow within the region, but the event occurs?


I think the Accept Event Action is active. I did not found another
statement in the specification. That means that all outgoing
egdes get tokens after event occurence. 


Normally that is not the semantic the modeler wants. Nothing should happen
if there is no token flow in the activity region.


Thanks for enlightenment.



Tim Weilkiens 
Trainer, Consultant, Coach
OMG Representative of oose.de GmbH


---
E-Mail tim.weilkiens@oose.de
Fon ++49 +40 41 42 50 - 0
Fax ++49 +40 41 42 50 - 50
oose.de Dienstleistungen für innovative Informatik GmbH
Oberstraße 14b, D-20144 Hamburg
Amtsgericht Hamburg HRB 66648 
Geschäftsführer Bernd Oestereich
Internet www.oose.de 


OMG Issue No: 6247 
Title:	Question about InterruptibleActivityRegion
Source:
oose.de Dienstleistungen fur innovative Informatik (Mr. Tim Weilkiens, tim.weilkiens@oose.de)
Summary:	
I am not sure about the semantics of the InterruptibleActivityRegion.

If I have such a region with an Accept Event Action to wait for an
event to terminate the region, what happens if there is no token
flow within the region, but the event occurs?

I think the Accept Event Action is active. I did not found another
statement in the specification. That means that all outgoing
egdes get tokens after event occurence. 

Normally that is not the semantic the modeler wants. Nothing should happen
if there is no token flow in the activity region.
Discussion:
In InterruptibleActivityRegion, first paragraph
First sentence
after "interrupted", add ", including accept event actions in the region,".
at end of paragraph, add new sentence "Accept event actions in the region are enabled only when a token enters the region, even if the token is not directed at the accept event action."
In AcceptEventAction, Semantics, end of first sentence add "(also see InterruptibleActivityRegion)".



Reply-To: <conrad.bock@nist.gov> 
From: "Conrad Bock" <conrad.bock@nist.gov> 
To: <uml2-superstructure-ftf@omg.org> 
Subject: RE: Draft of ballot 17 
Date: Thu, 24 Jun 2004 13:38:01 -0400 
X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) 




Bran,


Some comments on draft ballot 17.


Thanks,


Conrad


  - 6247


      In the resolution to 6247, in changes to
      InterruptibleActivityRegion, first paragraph, at end of paragraph,
      after "in the region" insert "that do not have incoming edges".
 
 - 7336


     FYI, this is only resolved for activities, but applies to other
     chapters.


 - 7399


     In the resolution to 7399, in changes to AcceptEventAction,
     Associations, trigger, replace "signal of any subtype of the
     specified signal type" with "signal of the specified signal type or
Disposition:	Resolved