Portal de Periódicos da CAPES

Testing Attribute-Based Transactions in SOC

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

10.1007/978-3-642-13464-7_8

1611-3349

Laura Bocchi, Emilio Tuosto,

Security and Verification in Computing

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.