JSCL: A Middleware for Service Coordination

  • Gianluigi Ferrari
  • Roberto Guanciale
  • Daniele Strollo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4229)


This paper describes the design and the prototype implementation of a middleware, called Java Signal Core Layer (jscl), for coordinating distributed services. jscl supports the coordination of distributed services by exploiting an event notification paradigm. The design and the implementation of jscl has been inspired and driven by its formal specification given as a process calculus, the Signal Calculus (sc). At the experimental level JSCL has been exploited to implement Long Running Transactions (LRTs).


Input Port Service Coordination Internal Behavior Tuple Space Process Calculus 
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.


  1. 1.
    Xml schema. Technical report, W3C (2004)Google Scholar
  2. 2.
    Acciai, L., Boreale, M.: XPi: A typed process calculus for XML messaging. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 47–66. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical. Structures in Comp. Sci. 14(3), 329–366 (2004)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Benatallah, B., Casati, F., Toumani, F., Hamadi, R.: Conceptual modeling of web service conversations. In: Eder, J., Missikoff, M. (eds.) CAiSE 2003. LNCS, vol. 2681, pp. 449–467. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  5. 5.
    Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Comput. Sci. 96(1), 217–248 (1992)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Boreale, M., Buscemi, M.G., Montanari, U.: A general name binding mechanism. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol. 3705, pp. 61–74. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. 7.
    Bravetti, M., Kloul, L., Zavattaro, G. (eds.): EPEW/WS-EM 2005. LNCS, vol. 3670. Springer, Heidelberg (2005)Google Scholar
  8. 8.
    Brown, A., Laneve, C., Meredith, L.G.: Piduce: A process calculus with native xml datatypes. In: Bravetti et al. [7], pp. 18–34Google Scholar
  9. 9.
    Bruni, R., Ferrari, G.L., Melgratti, H.C., Montanari, U., Strollo, D., Tuosto, E.: From Theory to Practice in Transactional Composition of Web Services. In: Bravetti et al. [7], pp. 272–286Google Scholar
  10. 10.
    Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Palsberg, J., Abadi, M. (eds.) POPL, pp. 209–220. ACM, New York (2005)Google Scholar
  11. 11.
    Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  12. 12.
    Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Design of a scalable event notification service: Interface and architecture. Technical Report CU-CS-863-98, Department of Computer Science, University of Colorado (August 1998)Google Scholar
  13. 13.
    Department of Computer Science. Indiana University. XSoap, http://www.extreme.indiana.edu/xgws/xsoap/
  14. 14.
    Hosoya, H., Pierce, B.C.: Xduce: A statically typed xml processing language. ACM Trans. Internet Techn. 3(2), 117–148 (2003)CrossRefGoogle Scholar
  15. 15.
    Liu, Y., Plale, B.: Survey of publish subscribe event systems. Technical Report 574, Department of Computer Science, Indiana UniversityGoogle Scholar
  16. 16.
    Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)MATHGoogle Scholar
  17. 17.
    Milner, R.: The polyadic π-calculus: A tutorial. In: Bauer, F.L., Brauer, W., Schwichtenberg, H. (eds.) Logic and Algebra of Specification, Proceedings of International NATO Summer School (Marktoberdorf, Germany, 1991), vol. 94, Series F, NATO ASI (1993) Available as Technical Report ECS-LFCS-91-180, University of Edinburgh (October 1991)Google Scholar
  18. 18.
    Misra, J.: A programming model for the orchestration of web services. In: SEFM, pp. 2–11. IEEE Computer Society, Los Alamitos (2004)Google Scholar
  19. 19.
    OASIS Bpel Specifications. OASIS - BPEL, http://www.oasis-open.org/cover/bpel4ws.html
  20. 20.
    Papazouglou, M., Georgakopoulos, D.: Special issue on service oriented computing. Commun. ACM 46(10) (2003)Google Scholar
  21. 21.
    Peschanski, F.: Mobile agents in interaction space. In: Canal, C., Viroli, M. (eds.) FOCLASA 2005, vol. 154(1), pp. 63–82 (2005)Google Scholar
  22. 22.
    Strollo, D.: Java Signal Core Layer (JSCL). Technical report, Dipartimento di Informatica, Università di Pisa (2005), Available at: http://www.di.unipi.it/~strollo
  23. 23.
    W3C. Web Services Choreography Description Language (v.1.0). Technical reportGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2006

Authors and Affiliations

  • Gianluigi Ferrari
    • 1
  • Roberto Guanciale
    • 2
  • Daniele Strollo
    • 1
    • 2
  1. 1.Dipartimento di InformaticaUniversità degli Studi di PisaItaly
  2. 2.Istituto Alti Studi IMT LuccaItaly

Personalised recommendations