Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Models for Open Transactions (extended abstract) @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}, }
|