Paper Info
Title
Attribute-based transactions in service oriented computing.
Abstract
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.
Year
DOI
Venue
2015
10.1017/S0960129512000904
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Keywords
Field
DocType
computer programming
Programming language,Computer science,Service-oriented architecture,Software development,Computer programming
Journal
Volume
Issue
ISSN
25
3
0960-1295
Citations 
PageRank 
References 
0
0.34
16
Authors
2
Name
Order
Citations
PageRank
Laura Bocchi115813.28
Emilio Tuosto249942.62