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. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Ferrari, G., Guanciale, R., Strollo, D., & Tuosto, E. (2010). Refactoring long running transactions: A case study. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6084 LNCS, pp. 318–334). https://doi.org/10.1007/978-3-642-15640-3_21
Mendeley helps you to discover research relevant for your work.