search

hassanLOULOU / moliz

Automatically exported from code.google.com/p/moliz
0 stars 0 forks source link

TTC2015 Model Execution: Question about enabled nodes #32

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
The case description says:

  And activity node is enabled if it is set as being running and if all incoming control flow edges provide token offers.

IMO, this is true for all activity nodes except for MergeNodes.  A MergeNode is 
enabled if there is at least one incoming control flow edge providing token 
offers, no?

Original issue reported on code.google.com by tsd...@gmail.com on 17 Apr 2015 at 12:55

GoogleCodeExporter commented 8 years ago 
Yes, you are right. I updated the case description as follows:

"4. Determination of Enabled Nodes. The currently enabled nodes of the activity 
are determined. An activity node is enabled if it is set as being running and 
if all incoming control flow edges provide token offers. In the case of merge 
nodes, only one of the incoming control flow edges has to provide a token 
offer."

Original comment by tanjaema...@gmail.com on 19 Apr 2015 at 8:45

GoogleCodeExporter commented 8 years ago 
Ok, thank you.

Original comment by tsd...@gmail.com on 20 Apr 2015 at 5:36