Email Communication

01234567890123456789012345678901234567890
conversation email  {
		 connection c1 (1-to-1, ordered FIFO, quaranteed delivery) ;
		 connection c2 (1-to-1, ordered FIFO, quaranteed delivery) ; 
 
		 dagent d1 on c1 ;
		 dagent d2 on c2 ; 
 
		 alphabet ( ASCII ) ; 
 
		 term t1 (const ``MAIL FROM: '') ;
		 term t2 (string from_user ) ;
		 term t3 (const ``250 OK'') ;
		 term t4 (const ``RCPT TO: '' ) ;
		 term t5 (string to_user ) ;
		 term t6 (const ``DATA'' ) ;
		 term t7 (blob the_message ) ;
		 term t8 (const ``<CRLF>.<CRLF>'' ) ; 
 
		 sentence s1 (t1, t2)  from c1 to c2 ;
		 sentence s2 (t3)  from c2 to c1 ;
		 sentence s3 (t4, t5)  from c1 to c2 ;
		 sentence s4 (t6)  from c1 to c2 ;
		 sentence s5 (t7 )  from c1 to c2 ;
		 sentence s6 (t8 )  from c1 to c2 ; 
 
		 behavior (s1 ; s2 ; s3 ; s2 ; s4 ; s5+ ; s6 ) ; 
 
		 contract performance (min=1,max=2,avg=1.1,rms=.1) ;
		 contract latency (min=10,max=20,avg=15,rms=3) ;
		 contract error (min=0,max=0,avg=0,rms=0) ;
		 with options  (volatile, data open, marshaled, unauthenicated, unauthorized); 
 
}