MSCS2.pdf (788.37 kB)
Download file

Attribute-based transactions in service oriented computing

Download (788.37 kB)
journal contribution
posted on 21.02.2019, 13:11 by L Bocchi, E Tuosto
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 ‘Attribute-based Transactional calculus’), 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.

Funding

This work has been partially sponsored by the project Leverhulme Trust award ‘Tracing Networks’.

History

Citation

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2015, 25 (3), pp. 619-665 (47)

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informatics

Version

AM (Accepted Manuscript)

Published in

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

Publisher

Cambridge University Press

issn

0960-1295

eissn

1469-8072

Copyright date

2014

Available date

21/02/2019

Publisher version

https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/attributebased-transactions-in-service-oriented-computing/BE5BE4456EBA6021027CE9B6E5DC46DD

Language

en