Skip to main content
SpringerLink
Log in
Book cover

Concurrency, Graphs and Models pp 312–329Cite as

Event-Based Service Coordination

  • Chapter

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

Abstract

In this paper we tackle the problem of designing and implementing a framework for programming service coordination policies. In particular, we illustrate the design and the prototype implementation of Java Signal Core Layer (JSCL), a coordination middleware for services based on the event notification paradigm. We formally motivate the design choices of the JSCL middleware by exploiting a variant of the π-calculus specifically tailored to deal with event notification and distribution. We demonstrate how service coordination polices can be precisely programmed in JSCL by some simple but illustrative case studies.

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bartoletti, M., Degano, P., Ferrari, G., Zunino, R.: Secure service orchestration. In: Aldini, A., Gorrieri, R. (eds.) FOSAD 2007. LNCS, vol. 4677. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  2. Bocchi, L., Laneve, C., Zavattaro, G.: A calculus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 124–138. Springer, Heidelberg (2003)

    Google Scholar 

  3. Boreale, M., Bruni, R., Caires, L., Nicola, R.D., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V.T., Zavattaro, G.: Scc: A service centered calculus. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38–57. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Bruni, R., Ferrari, G., Melgratti, H., Montanari, U., Strollo, D., Tuosto, E.: Java Transactional Web Services: from theory to practice in compensable, distributed long-running transactions. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 272–286. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  5. Bruni, R., Melgratti, H., Montanari, U.: Theoretical Foundations for Compensations in Flow Composition Languages. In: Annual Symposium on Principles of Programming Languages POPL, pp. 209–220. ACM Press, New York (2005)

    Google Scholar 

  6. Butler, M., Ferreira, C.: An operational semantics for StAC, a language for modelling long-running business transactions. In: VLBV 2003. LNCS, vol. 2849, pp. 87–104. Springer, Heidelberg (2004)

    Google Scholar 

  7. Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol. 3525, pp. 133–150. Springer, Heidelberg (2005)

    Google Scholar 

  8. Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2–17. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  9. Chothia, T., Duggan, D.: An architecture for secure fault-tolerant global applications. Theor. Comput. Sci. 322(3), 567–613 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  10. Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 293–307. Springer, Heidelberg (2004)

    Google Scholar 

  11. Ferrari, G.L., Guanciale, R., Strollo, D.: Event based service coordination over dynamic and heterogeneous networks. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 453–458. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  12. Ferrari, G., Guanciale, R., Strollo, D.: Jscl: A middleware for service coordination. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 46–60. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  13. Ferrari, G., 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 

  14. Garcia-Molina, H., Salem, K.: Sagas. In: Dayal, U., Traiger, I.L. (eds.) SIGMOD Conference, pp. 249–259. ACM Press, New York (1987)

    Google Scholar 

  15. Gelernter, D.: Generative communications in Linda. ACM Transactions on Programming Languages and Systems 7(1), 80–112 (1985)

    Article  MATH  Google Scholar 

  16. Object Management Group. Business process modelling notation. Technical report, http://www.bpmn.org

  17. Roberto Guanciale. PhD Thesis. PhD thesis, Institute for Advanced Studies, IMT, Lucca (forthcoming, 2008)

    Google Scholar 

  18. Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: A calculus for service oriented computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 327–338. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  19. Hosking, A., Jagannathan, S., Vitek, J., Welc, A.: A semantic framework for designer transactions. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol. 2986, pp. 124–138. Springer, Heidelberg (2004)

    Google Scholar 

  20. IBM. Business Process Execution Language (BPEL). Technical report (2005)

    Google Scholar 

  21. Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 33–47. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  22. Liu, Y., Plale, B.: Survey of publish subscribe event systems. Technical Report TR574, Computer Science Department, Indiana University (2003)

    Google Scholar 

  23. Mazzara, M., Lucchi, R.: A framework for generic error handling in business processes. In: Proceedings of WS-FM 2004. Elect. Notes in Th. Comput. Sci., vol. 105, pp. 133–145 (2004)

    Google Scholar 

  24. Misra, J.: A programming model for the orchestration of web services. In: SEFM, pp. 2–11. IEEE Computer Society Press, Los Alamitos (2004)

    Google Scholar 

  25. OMG. Business Process Modeling Language (2002), http://www.bpmi.org

  26. Sangiorgi, D., Walker, D.: The π-Calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2002)

    Google Scholar 

  27. Strollo, D.: PhD Thesis. PhD thesis, Institute for Advanced Studies, IMT, Lucca (forthcoming, 2008)

    Google Scholar 

  28. W3C. Web Services Choreography Description Language (v.1.0). Technical report

    Google Scholar 

  29. 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, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 24–45. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di Pisa, Largo B. Pontecorvo 3, I-56127, Pisa, Italy

    Gian-Luigi Ferrari & Daniele Strollo

  2. Institute for Advanced Studies IMT Lucca, Piazza S. Ponziano 6, 55100, Lucca, Italy

    Roberto Guanciale & Daniele Strollo

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

    Emilio Tuosto

Authors
  1. Gian-Luigi 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

Pierpaolo Degano Rocco De Nicola José Meseguer

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Ferrari, GL., Guanciale, R., Strollo, D., Tuosto, E. (2008). Event-Based Service Coordination. In: Degano, P., De Nicola, R., Meseguer, J. (eds) Concurrency, Graphs and Models. Lecture Notes in Computer Science, vol 5065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68679-8_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-68679-8_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-68676-7

  • Online ISBN: 978-3-540-68679-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation