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. © 2010 Springer-Verlag.
CITATION STYLE
Bocchi, L., & Tuosto, E. (2010). Testing attribute-based transactions in SOC. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6117 LNCS, pp. 87–94). https://doi.org/10.1007/978-3-642-13464-7_8
Mendeley helps you to discover research relevant for your work.