Hello, Thank you very much, Karl, for giving a lot of insight what is behind WS-Agreement.
Furthermore, 2PC can be synthesized with two WS-Agreement round-trips and an appropriate domain-specific agreement semantics. So, either advance reservation, combined with the right cost/penalty model, or the underlying invitation system can both look like 2PC in practice:
I tried to digest that and this is what I came up with: https://cit-server.cit.tu-berlin.de/trac/negmgr/wiki/TwoPhaseCommit (I used my wiki because it supports tables) It would be great, if you could have a brief look at it and tell me whether this is what you had in mind. If some people want to contribute, I'd be interested in starting to write a "Best Practices in WS-Agreement" / "Design Patterns in WS-Agreement" / "WS-Agreement cookbook" / ... document. This issue of 2PC for example would be a good candidate for such a document. I think it would really help if we find a place to collect examples, approaches of modeling something, approaches of implementing something, ... I could easily contribute lots of questions but maybe some answers as well. Best regards, Dominic