Paper Info
Title
A java inspired semantics for transactions in SOC
Abstract
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus featuring transactional scope mechanisms borrowed from the so called container-managed transactions of Java. We equip our calculus with a type system for our calculus and show that, in well-typed systems, it guarantees absence of run-time errors due to misuse of transactional mechanisms.
Year
DOI
Venue
2010
10.1007/978-3-642-15640-3_9
TGC
Keywords
Field
DocType
attribute mechanism,transactional scope mechanism,java transaction api,transactional mechanism,well-typed system,run-time error,model service,type system,container-managed transaction,formal semantics,process calculus,distributed transactions
Programming language,Computer science,Database transaction,Java,Distributed transaction,Transactional leadership,Process calculus,Semantics,Computer programming,Dead code
Conference
Volume
ISSN
ISBN
6084
0302-9743
3-642-15639-8
Citations 
PageRank 
References 
6
0.55
11
Authors
2
Name
Order
Citations
PageRank
Laura Bocchi115813.28
Emilio Tuosto249942.62