Example: DelegatingApp

rcvComplexMO:

< B:complexServerMO | newCnt:n, in:complex(D,A).cL, out:cL’ >

=>

< B:complexServerMO | newCnt:n+1, in:cL,

out:cL’.baseO(newId(n,B),HelperMO,

(task:D, customer:A, done:false)) >

doComplexMO:

<H:HelperMO | done:false, task:D, customer:A, out:cL>

=>

<H:HelperMO | done:true, task:D, customer:A,

out:cL.(A<-g(D)) >

Previous slide

Next slide

Back to first slide

View graphic version