[comp.specification] specification problem using Estelle

swu@oahu.cs.ucla.edu (Chi-Sharn Wu) (06/08/90)

In sliding window protocol, the window buffer stores the unacknowleged 
messages which will be retransmitted when timeout occurs, and multiple
timers are needed since one per message.
Using Estelle to specify the timeout behavior, it seems that only periodical
retransmission of window buffer can be specified using the delay statement
(i.e.,using only one timer). 
Is ther any nice way to specify such multiple independent 
timers using Estelle ?

Thanks for any information.

Chi-Sharn Wu
swu@cs.ucla.edu

new@udel.EDU (Darren New) (06/08/90)

In article <36061@shemp.CS.UCLA.EDU> swu@oahu.cs.ucla.edu (Chi-Sharn Wu) writes:
>Is ther any nice way to specify such multiple independent 
>timers using Estelle ?

Sure!   Just make a separate transition for each timer.  For example

any i : 1 .. 20
   provided sent[i] and not acked[i]
     delay(mintimeout, maxtimeout)
	name retrans:
	  begin
	     output outip.windowsaved[i]
	  end;

All the delays will run independantly.
		  -- Darren