Portal de Periódicos da CAPES

Attribute-based transactions in service oriented computing

2014; Cambridge University Press; Volume: 25; Issue: 3 Linguagem: Inglês

10.1017/s0960129512000904

1469-8072

Laura Bocchi, Emilio Tuosto,

Advanced Software Engineering Methodologies

We present a theory for the design and verification of distributed transactions in dynamically reconfigurable systems. Despite several formal approaches have been proposed to study distributed transactional behaviours, the inter-relations between failure propagation and dynamic system reconfiguration still need investigation. We propose a formal model for transactions in service oriented architectures (SOAs) inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in ATc (after ‘ A ttribute-based T ransactional c alculus’), a CCS-like process calculus where service declarations are decorated with a transactional attribute . Such attribute disciplines, upon service invocation, how the invoked service is executed with respect to the transactional scopes of the invoker. A type system ensures that well-typed ATc systems do not exhibit run-time errors due to misuse of the transactional mechanisms. Finally, we define a testing framework for distributed transactions in SOAs based on ATc and prove that under reasonable conditions some attributes are observationally indistinguishable.