Service-oriented programming with Jolie

Web Services Foundations

Volumn 9781461475187, Issue , 2014, Pages 81-107

  Montesi, Fabrizio ^a   Guidi, Claudio ^b   Zavattaro, Gianluigi ^c  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

^b UNIVERSITY OF PADOVA   (Italy)

^c UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

COMMUNICATIONTECHNOLOGY; DESIGN LEVELS; SERVICE ORIENTED COMPUTING; SERVICE ORIENTED PROGRAMMING; TWO WAYS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84908871569     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-1-4614-7518-7_4     Document Type: Chapter

References (41)

1. W3C. Web Services Architecture. http://www.w3.org/TR/ws-arch/
2. W3C. SOAP Specifications. http://www.w3.org/TR/soap/
3. K Desktop Environment. http://www.kde.org/
4. GNOME. http://www.gnome.org/
5. D-Bus website. http://www.freedesktop.org/wiki/Software/dbus/
6. OASIS. WS-BPEL Version 2.0. http://docs.oasis-open.org/wsbpel/
7. Chappell, D.A.: Enterprise Service Bus-Theory in Practice. OReilly, Sebastopol (2004)
8. Jolie website. http://www.jolie-lang.org/
9. SODEP protocol. http://www.jolie-lang.org/wiki.php?page=Sodep
10. Google Web Toolkit. http://code.google.com/webtoolkit/11. JavaScript Object Notation. http://www.json.org/
11. Montesi, F., Guidi, C., Zavattaro, G.: Composing services with JOLIE. In: Proceedings of ECOWS 2007, pp. 13-22 (2007)
12. Montesi, F.: Jolie: a service-oriented programming language. Masters thesis, Department of Computer Science, University of Bologna (2010)
13. Montesi, F., Carbone, M.: Programming services with correlation sets. In: ICSOC, pp. 125-141 (2011)
14. OpenID Specifications. http://openid.net/developers/specs/
15. OpenID implementation. http://www.jolie-lang.org/files/ws-handbook2012/openid.zip
16. Guidi, C., Lanese, I., Montesi, F., Zavattaro, G.: Dynamic error handling in service oriented applications. Fundamenta Informaticae 95(1), 73-102 (2009)
17. Guidi, C., Montesi, F.: Reasoning about a service-oriented programming paradigm. In: Proceedings of YR-SOC 2009, pp. 67-81 (2009)
18. Preda, M.D., Gabbrielli, M., Guidi, C., Mauro, J., Montesi, F.: Interface-based service composition with aggregation. In: ESOCC, pp. 48-63 (2012)
19. SENSORIA. Software Engineering for Service-Oriented Overlay Computers. http://www. sensoria-ist.eu/
20. Automotive example. http://www.jolie-lang.org/files/ws-handbook2012/automotive.zip
21. Lapadula, Alessandro, Pugliese, Rosario, Tiezzi, Francesco: Using formal methods to develop ws-bpel applications. Sci. Comput. Program. 77(3), 189-213 (2012)
22. Bundgaard, M., Glenstrup, Hildebrandt, A.J., Hjsgaard, T.T., Niss, H.: Formalizing higherorder mobile embedded business processes with binding bigraphs. In: Proceedings of COORDINATION 2008, pp. 83-99 (2008)
23. Carpineti, Samuele, Laneve, Cosimo, Padovani, Luca: Piduce-a project for experimenting web services technologies. Sci. Comput. Program. 74(10), 777-811 (2009)
24. Kitchin, D., Quark, A., Cook, W.R., Misra, J.: TheOrc programming language. In: Proceedings of FMOODS/FORTE 2009, pp. 1-25 (2009)
25. Preda, M.D., Gabbrielli, M., Lanese, I., Mauro, J., Zavattaro, G.: Graceful interruption of request-response service interactions. In: ICSOC, pp. 590-600 (2011)
26. Sherif, M.H.: Handbook of Enterprise Integration. Auerbach Publishers, Boca Raton (2009)
27. Leonardo Web Server. http://www.sourceforge.net/projects/leonardo/
28. Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: a calculus for service oriented computing. In: Proceedings of ICSOC 2006, pp. 327-338 (2006)
29. Guidi, C.: Formalizing languages for service oriented computing. Ph.D. thesis, University of Bologna (2007). http://www.cs.unibo.it/pub/TR/UBLCS/2007/2007-07.pdf
30. Lanese, I., Vaz, C., Ferreira, C.: On the expressive power of primitives for compensation handling. In: ESOP, pp. 366-386 (2010)
31. Montesi, F., Sangiorgi, D.: A model of evolvable components. In: Proceedings of Fifth Symposium on Trustworthy Global Computing (TGC 2010) (2010)
32. Ivan L., Bucchiarone, A., Montesi, F.: A framework for rule-based dynamic adaptation. In: Proceedings of TGC, pp. 284-300 (2010)
33. Vision framework. https://jolie.svn.sourceforge.net/svnroot/jolie/trunk/playground/
34. Anedda, P., Gaggero, M., Manca, S., Schiaratura, O., Leo, S., Montesi, F., Zanetti, G.:Ageneral service oriented approach for managing virtual machines allocation. In: Proceedings of ACM Symposium on Applied Computing (SAC) 2009, pp. 2154-2161 (2009)
35. italianaSoftware s.r.l. italianaSoftware. http://www.italianasoftware.com/
36. W3C. Web Services Description Language. http://www.w3.org/TR/wsdl
37. jEye. A graphical designer for Jolie. http://sourceforge.net/projects/jeye/
38. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Proceedings of POPL08, vol. 43(1), pp. 273-284. ACM Press (2008)
39. Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. ACM Trans. Program. Lang. Syst., 31(5), 1-61 (2009)
40. Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the gap between interaction-and process-oriented choreographies. In: SEFM, pp. 323-332 (2008)
41. Baltazar, P., Caires, L., Vasconcelos, V.T., Vieira, H.T.: A type system for flexible role assignment in multiparty communicating systems. In TGC (2012, to appear)