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);
} ;