Testing attribute-based transactions in SOC

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6117 LNCS, Issue , 2010, Pages 87-94

  Bocchi, Laura ^a   Tuosto, Emilio ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED TRANSACTION; JAVA TRANSACTIONS; SERVICE DEFINITION; SERVICE ORIENTED SYSTEMS; TESTING EQUIVALENCE; ATTRIBUTE-BASED;

DISTRIBUTED COMPUTER SYSTEMS;

FORMAL METHODS;

EID: 77954655911     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13464-7_8     Document Type: Conference Paper

References (7)

1. Bocchi, L., Tuosto, E.: A Java inspired semantics for transactions in SOC. In: TGC 2010. LNCS. Springer, Heidelberg (2010) (to appear)
2. Bruni, R., Melgratti, H., Montanari, U.: Nested commits for mobile calculi: extending Join. In: Lévy, J.-J., Mayr, E., Mitchell, J. (eds.) IFIP TCS 2004, pp. 563-576. Kluwer, Dordrecht (2004)
3. Butler, M., Ferreira, C.: An operational semantics for StAC, a language for modelling long-running business transactions. In: De Nicola, R., Ferrari, G.-L.,Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 87-104. Springer, Heidelberg (2004)
4. De Nicola, R., Hennessy, M.C.B.: Testing equivalences for processes. Theoretical Comput. Sci. 34(1-2), 83-133 (1984)
5. Laneve, C.: May and must testing in the Join-Calculus. Technical Report UBLCS-96-4, Department of Computer Science University of Bologna (1996)
6. Panda, D., Rahman, R., Lane, D.: EJB 3 in action. Manning (2007)
7. Sun Microsystems. Enterprise JavaBeans (EJB) technology (2009), http://java.sun.com/products/ejb/