Abstract
Sagas calculi have been proposed to specify distributed Long Running Transactions (LRT) and, in previous work, a subset of naive sagas has been encoded in the Signal Calculus (SC) to enable their use in service-oriented systems. Here, we promote a formal approach to the refactoring of LRT represented in SC so that distributed LRT designed in the Business Process Modelling Notation (BPMN) can be faithfully represented. Firstly, we complete the initial encoding of naive sagas into SC. Secondly, on top of SC, we define a few refactoring transformations for distributed LRT. Finally, we prove that the given refactoring rules are sound by showing that they preserve (weak) bisimilarity.
Research supported by the EU FET-GC2 IST-2004-16004 Integrated Project Sensoria and by the Italian FIRB Project Tocai.it.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Tao4WS website, http://www.tao4ws.net
Batory, D.: Program refactoring, program synthesis, and model-driven development. In: Goos, G., Harmanis, J., Leeuwen, J. (eds.) CC 2007. LNCS, vol. 4420, pp. 156–171. Springer, Heidelberg (2007)
Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL 2005 ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 209–220. ACM Press, New York (2005)
Ciancia, V., Ferrari, G., Strollo, D., Guanciale, R.: Global coordination policies for services. In: FACS 2008 International Workshop on Formal Aspects of Component Software. ENTCS. Elsevier, Amsterdam (2008) (in print)
Ferrari, G., Guanciale, R., Strollo, D., Tuosto, E.: Refactoring Long Running Transactions – Full Version, http://wsfm08full.tao4ws.net
Ferrari, G., Strollo, D., Guanciale, R.: JSCL: A middleware for service coordination. In: Bochmann, G.V., Bolognesi, T., Derrick, J., Turner, K. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 46–60. Springer, Heidelberg (2006)
Ferrari, G., Strollo, D., Guanciale, R., Tuosto, E.: Coordination Via Types in an Event-Based Framework. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 66–80. Springer, Heidelberg (2007)
Ferrari, G., Strollo, D., Guanciale, R., Tuosto, E.: Event-based Service Coordination. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 312–329. Springer, Heidelberg (2008)
Garcia-Molina, H., Salem, K.: Sagas. In: SIGMOD Conference, pp. 249–259 (1987)
Gray, J.: The transaction concept: virtues and limitations (invited paper). In: VLDB 1981: Proceedings of the seventh international conference on Very Large Data Bases, pp. 144–154. VLDB Endowment (1981)
Group, O.: Business Process Modeling Notation (2002), http://www.bpmn.org
Honda, K., Tokoro, M.: An object calculus for asynchronous communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol. 512, pp. 133–147. Springer, Heidelberg (1991)
IBM. Business Process Execution Language (BPEL). Technical report (2005)
Little, M.: Transactions and web services. Commun. ACM 46(10), 49–54 (2003)
W3C. Web Services Choreography Description Language (v.1.0). Technical report
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ferrari, G.L., Guanciale, R., Strollo, D., Tuosto, E. (2009). Refactoring Long Running Transactions. In: Bruni, R., Wolf, K. (eds) Web Services and Formal Methods. WS-FM 2008. Lecture Notes in Computer Science, vol 5387. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01364-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-01364-5_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01363-8
Online ISBN: 978-3-642-01364-5
eBook Packages: Computer ScienceComputer Science (R0)