Testing attribute-based transactions in SOC

Authors:
Laura Bocchi;Emilio Tuosto
Affiliations:
Department of Computer Science, University of Leicester, UK;Department of Computer Science, University of Leicester, UK
Venue:
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Year:
2010

Citing 3
Cited 0

May and Must Testing in the Join-Calculus

May and Must Testing in the Join-Calculus
Ejb 3 in Action

Ejb 3 in Action
A java inspired semantics for transactions in SOC

TGC'10 Proceedings of the 5th international conference on Trustworthly global computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We set the basis for a theory of testing for distributed transactions in service oriented systems where each service definition is decorated with a transactional attribute (inspired by the Java Transaction API). Transaction attributes discipline how services are executed with respect to the transactional scope of the invoking party. We define a language of observers and show that, in general, the choice of different transactional attributes causes different system’s behaviours wrt the testing equivalences induced by the observers.