| Role session1(Edgerouternode:agent, Producer:agent,Consumer:agent, Pbpr:public_k ey,Pbcr:public_key) def = local SND3,RCV3,SND2,RCV2,SND1,RCV1:channel(dy) composition role_Edgerouternode(Edgerouternode, Producer,Consumer, Pbpr,Pbcr,SND3, RCV3) /\ role_Consumer(Edgerouternode, Producer,Consumer, Pbpr,Pbcr,SND2,RCV2) /\ role_Producer(Edgerouternode, Producer,Consumer, Pbpr,Pbcr,SND1,RCV1) end role session2 Edgerouternode:agent, Producer:agent, Consumer:agent, Pbpr:public_k ey,Pbcr:public_key) def = local SND1,RCV1:channel(dy) composition role_Producer(Edgerouternode, Producer,Consumer, Pbpr,Pbcr,SND1,RCV1) end role |
|
|