Testing Attribute-Based Transactions in SOC - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2010

Testing Attribute-Based Transactions in SOC

Résumé

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 (92.5 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Identifiants

Citer

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⟩
113 Consultations
78 Téléchargements

Altmetric

Partager

More