Loading in 2 Seconds...
Loading in 2 Seconds...
XVII Escuela de Ciencias Informaticas (ECI 2003), Buenos Aires, July 21-26 2003. Formal Models for Distributed Negotiations A Calculus of Compensations . Roberto Bruni Dipartimento di Informatica Università di Pisa. Compensations.
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
XVII Escuela de Ciencias Informaticas (ECI 2003), Buenos Aires, July 21-26 2003
Roberto Bruni
Dipartimento di Informatica
Università di Pisa
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
failure
normal entry point
compensation exit
normal exit point
compensation entry
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
nin
nout
cout
cin
cout
Formal Models for Distributed Negotiations
nin
nin
nout
cout
cin
cout
Formal Models for Distributed Negotiations
R.nout & S.nin
R.cout & cout
S.nout & nout
S.cout & R.cin
cin & S.cin
R.cout & cout
S.cout & R.cin
R.cout & cout
Sequential CompositionR;S
R
S
Formal Models for Distributed Negotiations
nin & R.nin
R;S
R
R.nout & S.nin
R.cout & cout
S.nout & nout
S.cout & R.cin
S
cin & S.cin
R.cout & cout
S.cout & R.cin
R.cout & cout
Formal Models for Distributed Negotiations
nin & R.nin
R;S
R
R.nout & S.nin
R.cout & cout
S.nout & nout
S.cout & R.cin
S
cin & S.cin
R.cout & cout
S.cout & R.cin
R.cout & cout
Formal Models for Distributed Negotiations
nin & R.nin
R;S
R
R.nout & S.nin
R.cout & cout
S.nout & nout
S.cout & R.cin
S
cin & S.cin
R.cout & cout
S.cout & R.cin
R.cout & cout
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
R.nout & nout
R.cout & S.nin
cin & R.cin
S.nout & nout
S.cout & cout
R.cout & cout
cin & S.cin
S.cout & cout
Sequential Choice (Pick)S
R
The tree is more informative
than the flowchart
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
nin & R.nin & S.nin
R.cout & S.cout & cout
R.nout & S.nout & nout
The implementation is difficult!
What if, after R.nin and S.nin, it happens
that R.nout but S.cout?
Deadlock? (dealt with exceptions)
cin & R.cin & S.cin
R.cout & S.cout & cout
Parallel Composition (All)S
R
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
nin &
R.nin &
S.nin
non-determinism
R.nout &
S.nout
R.nout &
S.cout &
nout
R.cout &
S.nout &
nout
R.cout &
S.cout &
cout
S.cin
R.cin
S.cout & nout
R.cout & nout
cin & R.cin
cin & S.cin
cin & R.cin
cin & S.cin
R.cout & cout
S.cout & cout
R.cout & cout
S.cout & cout
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations
Formal Models for Distributed Negotiations