Mobility Reading Group

Testing Attribute-Based Transactions in SOC

Laura BOCCHI, Emilio TUOSTO

30th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2010). p. 87 - 94

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.

Paper (disc) Electronic version via DOI

BibTeX
Short
Long

@inproceedings{BT2010,
  author = {Laura Bocchi and Emilio Tuosto},
  title = {{Testing Attribute-Based Transactions in SOC}},
  booktitle = {30th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems},
  series = {LNCS},
  volume = {6117},
  pages = {87--94},
  publisher = {Springer},
  year = 2010
}

@inproceedings{BT2010,
  author = {Laura Bocchi and Emilio Tuosto},
  title = {{Testing Attribute-Based Transactions in SOC}},
  booktitle = {30th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems},
  series = {LNCS},
  volume = {6117},
  pages = {87--94},
  publisher = {Springer},
  doi = "10.1007/978-3-642-13464-7",
  year = 2010
}