chapter

Event-Based Service Coordination

Authors:

Gian-Luigi Ferrari,

Roberto Guanciale,

Daniele Strollo,

Emilio TuostoAuthors Info & Claims

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

June 2008

Pages 312 - 329

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

Published: 01 June 2008 Publication History

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.

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

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

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

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

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

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

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

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

Digital Library

[9]

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

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

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

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

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

[14]

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

[15]

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

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

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

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

[20]

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

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

Digital Library

[22]

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

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

[24]

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

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

[27]

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

[28]

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

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

Cited By

Ter Beek M(2011)SENSORIA results applied to the case studiesRigorous software engineering for service-oriented systems10.5555/2043021.2043061(655-677)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.5555/2043021.2043061
Bruni RKersten ALanese ISpagnolo G(2010)A new strategy for distributed compensations with interruption in long-running transactionsProceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques10.1007/978-3-642-28412-0_5(42-60)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.1007/978-3-642-28412-0_5
Ferrari GGuanciale RStrollo DTuosto E(2009)Refactoring Long Running TransactionsWeb Services and Formal Methods10.1007/978-3-642-01364-5_8(127-142)Online publication date: 30-Apr-2009
https://dl.acm.org/doi/10.1007/978-3-642-01364-5_8

Recommendations

Socio-technical design of service compositions: a coordination view
ICEGOV '08: Proceedings of the 2nd international conference on Theory and practice of electronic governance

Nowadays new systems for electronic service delivery are comprised of components. These components may be locally developed, managed and optimized and not intended to be reused in composite applications. By compositing modular components in new systems ...
A Formal Framework for Web Services Coordination

Recently the term Web Services Choreography has been introduced to address some issues related to Web Services Composition and Coordination. Several proposals for describing Choreography for Business Processes have been presented in the last years and ...
Large Scale Enterprise Information System Architectures and Coordination Methods
ICEE '12: Proceedings of the 2012 3rd International Conference on E-Business and E-Government - Volume 03

The large scale enterprise information systems are usually consisted of many subsystems or modules. Coordination among subsystems or modules is an important problem in developing and integrating information systems. In this paper, we classify ...

Comments

Information & Contributors

Information

Published In

cover image Guide books

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

June 2008

808 pages

ISBN:9783540686767

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 June 2008

Author Tags

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Ter Beek M(2011)SENSORIA results applied to the case studiesRigorous software engineering for service-oriented systems10.5555/2043021.2043061(655-677)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.5555/2043021.2043061
Bruni RKersten ALanese ISpagnolo G(2010)A new strategy for distributed compensations with interruption in long-running transactionsProceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques10.1007/978-3-642-28412-0_5(42-60)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.1007/978-3-642-28412-0_5
Ferrari GGuanciale RStrollo DTuosto E(2009)Refactoring Long Running TransactionsWeb Services and Formal Methods10.1007/978-3-642-01364-5_8(127-142)Online publication date: 30-Apr-2009
https://dl.acm.org/doi/10.1007/978-3-642-01364-5_8

View Options

View options

Figures

Tables

Media

View Table of Conten