Portal de Periódicos da CAPES

From Theory to Practice in Transactional Composition of Web Services

2005; Springer Science+Business Media; Linguagem: Inglês

10.1007/11549970_20

1611-3349

Roberto Bruni, Gian-Luigi Ferrari, Hernán Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto,

Logic, programming, and type systems

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 saga, 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.