Process-aware web programming with Jolie

Science of Computer Programming

Volumn 130, Issue , 2016, Pages 69-96

  Montesi, Fabrizio ^a  

^a UNIVERSITY OF SOUTHERN DENMARK   (Denmark)

Author keywords

Business processes; Programming languages; Sessions; Web services

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; INFORMATION SYSTEMS; MODELING LANGUAGES; WEBSITES; WORLD WIDE WEB;

BUSINESS PROCESS; COMPOSITION OF SERVICES; DISTRIBUTED ARCHITECTURE; MODELLING OF PROCESS; MULTIPARTY SESSIONS; PROCESS EXECUTION; SESSIONS; WEB INFORMATION SYSTEMS;

WEB SERVICES;

EID: 84971283622     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2016.05.002     Document Type: Article

References (67)

1. [1] Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M., Process-Aware Information Systems: Bridging People and Software Through Process Technology. 2005, Wiley.
2. [2] Workflow patterns. http://www.workflowpatterns.com/.
3. [3] van der Aalst, W.M.P., Verification of workflow nets. ICATPN, 1997, 407–426.
4. [4] Guidi, C., Formalizing languages for service oriented computing. PhD. thesis, 2007, University of Bologna http://www.cs.unibo.it/pub/TR/UBLCS/2007/2007-07.pdf.
5. [5] Lapadula, A., Pugliese, R., Tiezzi, F., A calculus for orchestration of web services. ESOP, 2007, 33–47.
6. [6] Carbone, M., Montesi, F., Deadlock-freedom-by-design: multiparty asynchronous global programming. Giacobazzi, R., Cousot, R., (eds.) The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy, January 23–25, 2013, 2013, ACM, 263–274, 10.1145/2429069.2429101 URL http://doi.acm.org/10.1145/2429069.2429101.
7. [7] van der Aalst, W.M.P., ter Hofstede, A.H.M., Yawl: yet another workflow language. Inf. Syst. 30:4 (2005), 245–275.
8. [8] Hu, R., Kouzapas, D., Pernet, O., Yoshida, N., Honda, K., Type-safe eventful sessions in Java. ECOOP, 2010, 329–353.
9. [9] Gay, S.J., Vasconcelos, V.T., Ravara, A., Gesbert, N., Caldeira, A.Z., Modular session types for distributed object-oriented programming. POPL, 2010, 299–312.
10. [10] Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N., Scribbling interactions with a formal foundation. ICDCIT LNCS, vol. 6536, 2011, Springer, 55–75.
11. [11] Montesi, F., Guidi, C., Zavattaro, G., Service-oriented programming with jolie. Web Services Foundations, 2014, 81–107, 10.1007/978-1-4614-7518-7_4.
12. [12] OASIS, Web services business process execution language. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html.
13. [13] W3C WS-CDL Working Group. Web services choreography description language version 1.0. http://www.w3.org/TR/ws-cdl-10/, 2004.
14. [14] Business process model and notation. http://www.omg.org/spec/BPMN/2.0/.
15. [15] Lucchi, R., Mazzara, M., A pi-calculus based semantics for WS-BPEL. J. Log. Algebraic Program. 70:1 (2007), 96–118, 10.1016/j.jlap.2006.05.007.
16. [16] van der Aalst, W.M.P., The application of Petri nets to workflow management. J. Circuits Syst. Comput. 8:1 (1998), 21–66, 10.1142/S0218126698000043.
17. [17] Peterson, J.L., Petri nets. ACM Comput. Surv. 9:3 (1977), 223–252, 10.1145/356698.356702 URL http://doi.acm.org/10.1145/356698.356702.
18. [18] Chappell, D.A., Enterprise Service Bus. Theory in Practice, 2004, O'Reilly.
19. [19] Jolie, programming language. http://www.jolie-lang.org/.
20. [20] Honda, K., Yoshida, N., Carbone, M., Multiparty Asynchronous Session Types. POPL, vol. 43(1), 2008, ACM, 273–284.
21. [21] Montesi, F., Jolie: a service-oriented programming language. Master's thesis, 2010, University of Bologna, Department of Computer Science.
22. [22] Preda, M.D., Gabbrielli, M., Guidi, C., Mauro, J., Montesi, F., Interface-based service composition with aggregation. ESOCC, 2012, 48–63.
23. [23] Fielding, R.T., Architectural styles and the design of network-based software architectures. Ph.D. thesis, 2000, University of California, Irvine.
24. [24] Montesi, F., Guidi, C., Zavattaro, G., Composing services with JOLIE. ECOWS, 2007, 13–22.
25. [25] Montesi, F., Carbone, M., Programming services with correlation sets. ICSOC, 2011, 125–141.
26. [26] Web services description language. http://www.w3.org/TR/wsdl.
27. [27] Montesi, F., Guidi, C., Lanese, I., Zavattaro, G., Dynamic fault handling mechanisms for service-oriented applications. ECOWS, 2008, 225–234.
28. [28] SOAP specifications. http://www.w3.org/TR/soap/.
29. [29] XML-RPC. http://www.xmlrpc.com/.
30. [30] JavaScript object notation. http://www.json.org/.
31. [31] Google web toolkit. http://code.google.com/webtoolkit/.
32. [32] The jQuery Foundation. jQuery. http://www.jquery.com/.
33. [33] University of Trier and Schloss Dagstuhl. dblp: computer science bibliography. http://www.jquery.com/.
34. [34] Kernighan, B.W., Ritchie, D., The C Programming Language. 1978, Prentice-Hall.
35. [35] Montesi, F., DBLP tools. http://www.fabriziomontesi.com/dblp/.
36. [36] Leonardo web server. http://www.sourceforge.net/projects/leonardo/.
37. [37] Honda, K., Vasconcelos, V., Kubo, M., Language primitives and type disciplines for structured communication-based programming. ESOP'98 LNCS, vol. 1381, 1998, Springer-Verlag, Heidelberg, Germany, 22–138.
38. [38] Elsevier, Pure. http://www.elsevier.com/online-tools/research-intelligence/products-and-services/pure.
39. [39] Alonso, G., Casati, F., Kuno, H.A., Machiraju, V., Web Services – Concepts, Architectures and Applications, Data-Centric Systems and Applications. 2004, Springer.
40. [40] Web Services Interoperability (WS-I). http://www.ws-i.org.
41. [41] Pautasso, C., Restful web services: principles, patterns, emerging technologies. Web Services Foundations, 2014, 31–51.
42. [42] L. Masinter, T. Berners-Lee, R.T. Fielding, Uniform resource identifier (URI): Generic syntax, IETF RFC 3986.
43. [43] J. Gregorio, R. Fielding, M. Hadley, M. Nottingham, D. Orchard, URI template, IETF RFC 6570.
44. [44] Ruby on rails. http://rubyonrails.org/.
45. [45] Bravetti, M., File managing and program execution in web operating systems. CoRR arXiv:1005.5045 http://arxiv.org/abs/1005.5045.
46. [46] Bravetti, M., Formalizing RESTful services and web-os middleware. Web Services and Formal Methods – 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, 2013, 48–68, 10.1007/978-3-319-08260-8_4 revised selected papers.
47. [47] Rossi, D., Turrini, E., Designing and architecting process-aware web applications with epml. SAC, 2008, 2409–2414.
48. [48] Pautasso, C., Wilde, E., Push-enabling restful business processes. ICSOC, 2011, 32–46.
49. [49] Pautasso, C., Composing RESTful services with JOpera. Software Composition, 8th International Conference, SC 2009, Zurich, Switzerland, July 2–3, 2009. Proceedings, 2009, 142–159.
50. [50] Brambilla, M., Fraternali, P., Interaction Flow Modeling Language: Model-Driven UI Engineering of Web and Mobile Apps with IFML. 2014, Morgan Kaufmann.
51. [51] Bonetta, D., Peternier, A., Pautasso, C., Binder, W., S: a scripting language for high-performance restful web services. Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, New Orleans, LA, USA, February 25–29, 2012, 2012, 97–106.
52. [52] Pautasso, C., BPEL for REST. Business Process Management, 6th International Conference, Proceedings, BPM 2008, Milan, Italy, September 2–4, 2008, 2008, 278–293.
53. [53] Serrano, M., Gallesio, E., Loitsch, F., Hop: a language for programming the web 2.0. OOPSLA Companion, 2006, 975–985.
54. [54] Boudol, G., Luo, Z., Rezk, T., Serrano, M., Reasoning about web applications: an operational semantics for hop. ACM Trans. Program. Lang. Syst., 34(2), 2012, 10.
55. [55] Berry, G., Serrano, M., Hop and hiphop: multitier web orchestration. Distributed Computing and Internet Technology – 10th International Conference, Proceedings, ICDCIT 2014, Bhubaneswar, India, February 6–9, 2014, 2014, 1–13, 10.1007/978-3-319-04483-5_1.
56. [56] Berry, G., The foundations of esterel. Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000, 425–454.
57. [57] Brabrand, C., Møller, A., Schwartzbach, M.I., The project. ACM Trans. Internet Technol. 2:2 (2002), 79–114, 10.1145/514183.514184 URL http://doi.acm.org/10.1145/514183.514184.
58. [58] Milner, R., Parrow, J., Walker, D., A calculus of mobile processes, I. Inf. Comput. 100:1 (1992), 1–40.
59. [58] Milner, R., Parrow, J., Walker, D., A calculus of mobile processes, II. Inf. Comput. 100:1 (1992), 41–77.
60. [59] Sangiorgi, D., Walker, D., The π-Calculus: A Theory of Mobile Processes. 2001, Cambridge University Press.
61. [60] Guidi, C., Lucchi, R., Formalizing mobility in service oriented computing. J. Soc. Work 2:1 (2007), 1–13.
62. [61] Lanese, I., Mezzina, C.A., Stefani, J.-B., Reversing higher-order pi. CONCUR, 2010, 478–493.
63. [62] Hirschkoff, D., Madiot, J.-M., Sangiorgi, D., Duality and i/o-types in the -calculus. CONCUR, 2012, 302–316.
64. [63] Montesi, F., Yoshida, N., Compositional choreographies. CONCUR 2013 – Concurrency Theory – 24th International Conference, Proceedings, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013, 2013, 425–439.
65. [64] IETF. WebSocket protocol. http://tools.ietf.org/html/rfc6455.
66. [65] Google SPDY. https://developers.google.com/speed/spdy/.
67. [66] Jolie HTTP extension. https://jolie.svn.sourceforge.net/svnroot/jolie/trunk/extensions/http.