01234567890123456789012345678901234567890 conversation application_server { connection c1 (1-to-1, ordered FIFO, quaranteed delivery) ; connection c2 (1-to-M, ordered FIFO, quaranteed delivery) ; dagent d1 on c1 ; dagent d2 on c2 ; alphabet ( BYTE ) ; term t1 (int n) ; term t2 (int m) ; term t3 ( int plus ( int n , int m ) highly available ) ; sentence s1 (t1, t2) from c1 to c2 ; sentence s2 (t3) from c2 to c1 ; behavior (s1 ; s2) ; 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); } ;