Testing Attribute-Based Transactions in SOC - Formal Techniques for Distributed Systems Access content directly
Conference Papers Year : 2010

Testing Attribute-Based Transactions in SOC


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.
Fichier principal
Vignette du fichier
main.pdf (125.63 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01055143 , version 1 (11-08-2014)





Laura Bocchi, Emilio Tuosto. Testing Attribute-Based Transactions in SOC. Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.87-94, ⟨10.1007/978-3-642-13464-7_8⟩. ⟨hal-01055143⟩
95 View
66 Download



Gmail Facebook X LinkedIn More