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.
Keywords
- Model Transformation
- Parallel Composition
- Transactional Activity
- Eclipse Modeling Framework
- Business Process Modeling Notation
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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
Ciancia, V., Ferrari, G., Guanciale, R., Strollo, D.: Global coordination policies for services. ENTCS 260, 73–89 (2010)
Eclipse Modeling Framework, http://www.eclipse.org/modeling/emf/
Ferrari, G.L., Guanciale, R., Strollo, D., 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.L., Guanciale, R., Strollo, D., Tuosto, E.: Refactoring long runing transactions. In: WSFM (2008)
Ferrari, G.L., Guanciale, R., Strollo, D.: Jscl: A middleware for service coordination. In: Najm, et al. [6], pp. 46–60
Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V. (eds.): FORTE 2006. LNCS, vol. 4229. Springer, Heidelberg (2006)
OpenArchitectureWare MDA/MDD generator framework, http://www.openarchitectureware.org/
Business Process Modeling Notation (2002), http://www.bpmn.org
SENSORIA project, http://sensoria.fast.de/
White, S.: Introduction to BPMN (May 2004), http://www.bpmn.org/Documents/Introduction%20to%20BPMN.pdf
Wirsing, M., Clark, A., Gilmore, S., Hölzl, M.M., Knapp, A., Koch, N., Schroeder, A.: Semantic-based development of service-oriented systems. In: Najm, et al. [6], pp. 24–45
Wohed, P., van der Aalst, W.M., Dumas, M., ter Hofstede, A.H.: Pattern Based Analysis of BPEL4WS. Technical report, Department of Computer and Systems Sciences Stockholm University/The Royal Institute of Technology, Sweden (November 2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ferrari, G., Guanciale, R., Strollo, D., Tuosto, E. (2010). Refactoring Long Running Transactions: A Case Study. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds) Trustworthly Global Computing. TGC 2010. Lecture Notes in Computer Science, vol 6084. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15640-3_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-15640-3_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15639-7
Online ISBN: 978-3-642-15640-3
eBook Packages: Computer ScienceComputer Science (R0)