@INPROCEEDINGS{BFMMST:WSFM2005:FTPTCWS,
  title = {{From Theory to Practice in Transactional Composition of Web Services}},
  author = {{Roberto} {Bruni} and {Gianluigi} {Ferrari} and {Hern\'an} {Melgratti} and {Ugo} {Montanari} and {Daniele} {Strollo} and {Emilio} {Tuosto}},
  booktitle = {Formal Techniques for Computer Systems and Business Processes: Proceedings of WS-FM 2005, 2nd International Workshop on Web Services and Formal Method},
  editor = {M. Bravetti and  L. Kloul and  G. Zavattaro},
  pages = {272--286},
  abstract = {We address the problem of composing Web Services in long-running transactional business processes, where compensations must be dealt with appropriately. The framework presented in this paper is a Java API called Java Transactional Web Services (JTWS), which provides suitable primitives for wrapping and invoking Web Services as activities in long-running transactions. JTWS adheres to a process calculi formalisation of long-running transactions, called Sagas, which fixes unambiguously the implemented compensation policy. In particular, the primitives provided by JTWS are in one-to-one correspondence with the primitives of Sagas, and they are abstract enough to hide the complex details of their realization, thus favouring usability. Moreover, JTWS orchestrates business processes in a distributed way.},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {3670},
  year = {2005},
  url = {http://www.di.unipi.it/~bruni/publications/wsfm2005.pdf.gz},
  doi = {10.1007/11549970_20},
  isbn = {3-540-28701-9},
  partner = {PISA},
  status = {public},
  task = {T5.2, T8.1},
}