MobilityReadingGroup

π-calculus, Session Types research at Imperial College

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.

@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
}