Refactoring long running transactions: a case study

Authors:
Gianluigi Ferrari;Roberto Guanciale;Daniele Strollo;Emilio Tuosto
Affiliations:
Dipartimento di Informatica, Università degli Studi di Pisa, Italy;Dipartimento di Informatica, Università degli Studi di Pisa, Italy;Dipartimento di Informatica, Università degli Studi di Pisa, Italy;University of Leicester, Computer Science Department, Leicester, UK
Venue:
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Year:
2010

Citing 4
Cited 0

Coordination Via Types in an Event-Based Framework

FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Global Coordination Policies for Services

Electronic Notes in Theoretical Computer Science (ENTCS)
Semantic-Based development of service-oriented systems

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
JSCL: a middleware for service coordination

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Managing transactions is a key issue in Service Oriented Computing where particular relevance is given to the so called Long Running Transactions (LRT). Here, we show how to apply a formal approach to the specification and refactoring of LRT. Specifically, we consider a methodology arising on process calculi and show how it can be applied to a case study.