Skip to main content
SpringerLink
Log in

Refactoring Long Running Transactions: A Case Study

  • Conference paper
Trustworthly Global Computing (TGC 2010)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6084))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ciancia, V., Ferrari, G., Guanciale, R., Strollo, D.: Global coordination policies for services. ENTCS 260, 73–89 (2010)

    Google Scholar 

  2. Eclipse Modeling Framework, http://www.eclipse.org/modeling/emf/

  3. 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)

    Chapter  Google Scholar 

  4. Ferrari, G.L., Guanciale, R., Strollo, D., Tuosto, E.: Refactoring long runing transactions. In: WSFM (2008)

    Google Scholar 

  5. Ferrari, G.L., Guanciale, R., Strollo, D.: Jscl: A middleware for service coordination. In: Najm, et al. [6], pp. 46–60

    Google Scholar 

  6. Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V. (eds.): FORTE 2006. LNCS, vol. 4229. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  7. OpenArchitectureWare MDA/MDD generator framework, http://www.openarchitectureware.org/

  8. Business Process Modeling Notation (2002), http://www.bpmn.org

  9. SENSORIA project, http://sensoria.fast.de/

  10. White, S.: Introduction to BPMN (May 2004), http://www.bpmn.org/Documents/Introduction%20to%20BPMN.pdf

  11. 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

    Google Scholar 

  12. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di Pisa, Italy

    Gianluigi Ferrari, Roberto Guanciale & Daniele Strollo

  2. Computer Science Department, University of Leicester, University Road, LE17RH, Leicester, UK

    Emilio Tuosto

Authors
  1. Gianluigi Ferrari
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Roberto Guanciale
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Daniele Strollo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Emilio Tuosto
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, LMU Munich, Oettingenstr. 67, 80538, Munich, Germany

    Martin Wirsing

  2. Institut für Informatik, LMU München, Oettingenstr. 67, 80538, München, Germany

    Martin Hofmann  & Axel Rauschmayer  & 

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation