Ada tasking issues

[rgedela@ernie.eecs.uic.edu (Ravi Gedela)]

: 
I'm Ravi Gedela. I'm a graduate student at EECS Dept., Univ. of 
Illinois at Chicago. 

I've been looking at Ada95 lately. I'm trying to model the Ada95
 tasking constructs using petrinets. Could anyone let me know if
 there are any papers published already in this area. 

I've some questions regarding the behavior of some constructs. 
I'd be thankful if you can take some time and clarify the 
following.

Asynchronous Transfer of Control

During ATC let us consider when the triggering statement is an
 entry call.  If the abortable part completes before the entry
 call is accepted and returned, then it is aborted. It is clear
 when the entry call is still in the queue that it is taken 
away from the queue.

But now if the call has been accepted and is being processed 
and the abortable part is completed an attempt to cancel the 
call is made. The Ada95 reference manual does not clearly 
explain what happens in such a situation. Could you please let
 me know how exactly the call that is being processed can be 
retracted.

Thanking you,

Ravi

PS : Please feel free to reply to my personal account  
E-mail : rgedela@eecs.uic.edu