Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-13464-7_8 | FMOODS/FORTE |
Keywords | Field | DocType |
different transactional attribute,different system,testing attribute-based transaction,java transaction api,transactional attribute,service definition,transactional scope,distributed transactions | Serializability,Programming language,Computer science,Transactional memory,Service oriented systems,Database transaction,Java,Transactional leadership,Distributed transaction,Computer programming | Conference |
Volume | ISSN | ISBN |
6117 | 0302-9743 | 3-642-13463-7 |
Citations | PageRank | References |
3 | 0.41 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Laura Bocchi | 1 | 158 | 13.28 |
Emilio Tuosto | 2 | 499 | 42.62 |