MobilityReadingGroup

π-calculus, Session Types research at Imperial College

A Java Inspired Semantics for Transactions in SOC
Laura BOCCHI , Emilio TUOSTO
5th International Symposium on Trustworthly Global Computing (TGC 2010) p. 120 - 134

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.

@inproceedings{BT2010,
  author = {Laura Bocchi and Emilio Tuosto},
  title = {{A Java Inspired Semantics for Transactions in SOC}},
  booktitle = { 5th International Symposium on Trustworthly Global Computing},
  series = {LNCS},
  volume = {6084},
  pages = {120--134},
  publisher = {Springer},
  year = 2010
}
@inproceedings{BT2010,
  author = {Laura Bocchi and Emilio Tuosto},
  title = {{A Java Inspired Semantics for Transactions in SOC}},
  booktitle = { 5th International Symposium on Trustworthly Global Computing},
  series = {LNCS},
  volume = {6084},
  pages = {120--134},
  publisher = {Springer},
  doi = "10.1007/978-3-642-15640-3_9",
  year = 2010
}