Abstract
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).
Research partially supported by the EU, within the FET GC Project IST-2005-16004 Sensoria, and FIRB Project TOCAI.IT.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Xml schema. Technical report, W3C (2004)
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)
Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical. Structures in Comp. Sci. 14(3), 329–366 (2004)
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)
Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Comput. Sci. 96(1), 217–248 (1992)
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)
Bravetti, M., Kloul, L., Zavattaro, G. (eds.): EPEW/WS-EM 2005. LNCS, vol. 3670. Springer, Heidelberg (2005)
Brown, A., Laneve, C., Meredith, L.G.: Piduce: A process calculus with native xml datatypes. In: Bravetti et al. [7], pp. 18–34
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–286
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)
Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
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)
Department of Computer Science. Indiana University. XSoap, http://www.extreme.indiana.edu/xgws/xsoap/
Hosoya, H., Pierce, B.C.: Xduce: A statically typed xml processing language. ACM Trans. Internet Techn. 3(2), 117–148 (2003)
Liu, Y., Plale, B.: Survey of publish subscribe event systems. Technical Report 574, Department of Computer Science, Indiana University
Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)
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)
Misra, J.: A programming model for the orchestration of web services. In: SEFM, pp. 2–11. IEEE Computer Society, Los Alamitos (2004)
OASIS Bpel Specifications. OASIS - BPEL, http://www.oasis-open.org/cover/bpel4ws.html
Papazouglou, M., Georgakopoulos, D.: Special issue on service oriented computing. Commun. ACM 46(10) (2003)
Peschanski, F.: Mobile agents in interaction space. In: Canal, C., Viroli, M. (eds.) FOCLASA 2005, vol. 154(1), pp. 63–82 (2005)
Strollo, D.: Java Signal Core Layer (JSCL). Technical report, Dipartimento di Informatica, Università di Pisa (2005), Available at: http://www.di.unipi.it/~strollo
W3C. Web Services Choreography Description Language (v.1.0). Technical report
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 IFIP International Federation for Information Processing
About this paper
Cite this paper
Ferrari, G., Guanciale, R., Strollo, D. (2006). JSCL: A Middleware for Service Coordination. In: Najm, E., Pradat-Peyre, JF., Donzeau-Gouge, V.V. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2006. FORTE 2006. Lecture Notes in Computer Science, vol 4229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11888116_4
Download citation
DOI: https://doi.org/10.1007/11888116_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46219-4
Online ISBN: 978-3-540-46220-0
eBook Packages: Computer ScienceComputer Science (R0)