@INPROCEEDINGS{BM:FLACOS09:MOT,
  title = {{Models for Open Transactions (extended abstract)}},
  author = {{Roberto} {Bruni} and {Ugo} {Montanari}},
  booktitle = {Pre-proceedings of FLACOS 2009, 3rd Workshop on Formal Languages and Analysis of Contract-Oriented Software, 24-25 September 2009, Toledo, Spain },
  editor = {Gordon J. Pace and Gerardo Schneider},
  abstract = {Loosely coupled interactions permeate modern distributed systems, where
      autonomous applications need to collaborate by dynamical assembly. We can single
      out three different phases occurring in every collaboration: 1) negotiation of
      some sort of contracts, mediating the needs of prospective participants; 2)
      acceptance or rejection of the contract; 3) contract-guarantee execution. The
      above scheme, called NCE for short (Negotiation, Commit, Execution), covers a
      wide range of situations, ranging from sessions and transactions to
      proof-carrying code. In the paper we concentrate on the notion of open
      transaction and on Zero-Safe Nets, a model developed by the authors for
      modelling long transactions. We extend the latter to cover the three-phase
      process above.},
  publisher = {Department of Informatics, University of Oslo},
  series = {Technical Report Research Report},
  volume = {358},
  year = {2009},
  url = {http://www.di.unipi.it/~bruni/publications/flacos2009.pdf.gz},
  invited = {Y},
  isbn = {82-7368-345-1},
  issn = {0806-3036},
  keywords = {Contracts, non-deterministic processes, Petri nets, Zero-safe nets},
  task = {T5.1},
}