JSCL: A middleware for service coordination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4229 LNCS, Issue , 2006, Pages 46-60

  Ferrari, Gianluigi ^a   Guanciale, Roberto ^b   Strollo, Daniele ^a,b  

^a UNIVERSITY OF PISA   (Italy)

^b IMT SCHOOL FOR ADVANCED STUDIES LUCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; MIDDLEWARE; PRODUCT DESIGN; SOFTWARE PROTOTYPING; FORMAL METHODS;

JAVA SIGNAL CORE LAYER (JSCL); NOTIFICATION PARADIGM; SERVICE COORDINATION; SIGNAL CALCULUS (SC); DISTRIBUTED SERVICE; EVENT NOTIFICATION; LONG-RUNNING TRANSACTIONS; PROCESS CALCULI; PROTOTYPE IMPLEMENTATIONS; SIGNAL CORES;

COMPUTER PROGRAMMING LANGUAGES; CALCULATIONS;

EID: 33750564723     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11888116_4     Document Type: Conference Paper

References (23)

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