Introduction

Jolie has strong roots within academia and is used in many research and teaching activities. If you do not see your project or university in the following, feel free to to ask us how to collaborate on our mailing list. Below, we list some resources and useful information for students and researchers, and a list of scientific publications related to Jolie.

Study

Courses

The University of Southern Denmark offers a full MSc course that covers Jolie programming and its integration with mainstream practices in software development and other research projects (for example, Choreographic Programming).

The following Universities partially cover Jolie as part of their courses in Computer Science:

• IT University of Copenhagen, Denmark
• Technical University of Denmark, Denmark
• Innopolis University, Russia
• University of Bologna, Italy
• University of Padova, Italy
• University of Udine, Italy

Study abroad

italianaSoftware, Italy offers international student internships on Jolie.

Graduate

Looking for a topic for your university degree? Here are some people who offer BSc and MSc projects on Jolie:

• Fabrizio Montesi (University of Southern Denmark, Denmark)
• Manuel Mazzara (Innopolis University, Russia)
• Maurizio Gabbrielli (University of Bologna, Italy)
• Ivan Lanese (University of Bologna, Italy)
• Marco Carbone (IT University of Copenhagen, Denmark)
• Marino Miculan (University of Udine, Italy)
• Nicola Dragoni (Technical University of Denmark, Denmark)
• Paolo Baldan (University of Padova, Italy)
• Tullio Vardanega (University of Padova, Italy)

Research

Current Projects

Past Projects

• CRC: Choreographies for Reliable and efficient Communication software
• EU Cost Action BETTY: Behavioural Types for Reliable Large-Scale Software Systems
• EU Project SENSORIA

Collaboration Network

Some organisations have a long-term relationship aimed at discussing the usage of Jolie in research and teaching. This network currently includes:

• CRS4, Italy
• IT University of Copenhagen, Denmark
• Imperial College London, United Kingdom
• Innopolis University, Russia
• INRIA, France
• italianaSoftware, Italy
• Technical University of Denmark, Denmark
• University of Bologna, Italy
• University of Padova, Italy
• University of Southern Denmark, Denmark
• University of Udine, Italy

Scientific Publications

Many of the reported publications are available at this external link (for copyright reasons imposed by the publishers). A good starting point for reading up about Jolie is this Book Chapter.

• Ephemeral Data Handling in Microservices
  Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina, and Stefano Pio Zingaro
  In Proceedings of IEEE SCC 2019.

• A Language-based Approach for Interoperability of IoT Platforms
  Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, and Stefano Pio Zingaro, 2018.
  In Proceedings of HICSS 2018.

• ChIP: A Choreographic Integration Process
  Saverio Giallorenzo, Ivan Lanese, and Daniel Russo
  In Proceedings of CoopIS 2018.

• Applied Choreographies
  Saverio Giallorenzo, Fabrizio Montesi, Maurizo Gabbrielli
  In Proceedings of FORTE 2018.

• From the decorator pattern to circuit breakers in microservices
  Fabrizio Montesi, and Janine Weber
  In Proceedings of SAC 2018

• Smart Mobility for All: A Global Federated Market for Mobility-as-a-Service Operators
  Franco Callegati, Maurizio Gabbrielli, Saverio Giallorenzo, Andrea Melis, & Marco Prandini
  In Proceedings of IEEE ITSC 2017

• Programming Adaptive Microservice Applications: An AIOCJ Tutorial
  Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, and Maurizio Gabbrielli
  In Behavioural Types: from Theory to Tools.

• Microservices: a language-based approach
  Claudio Guidi, Ivan Lanese, Manuel Mazzara, and Fabrizio Montesi
  In Present and Ulterior Software Engineering (pp. 217-225). Springer, Cham.

• Microservice-based iot for smart buildings
  Khanda, Kevin, Dilshat Salikhov, Kamill Gusmanov, Manuel Mazzara, and Nikolaos Mavridis
  In Proceedings of IEEE WAINA 2017.

• Microservices: How to make your application scale
  Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, and Larisa Safina
  International Andrei Ershov Memorial Conference on Perspectives of System Informatics, pp. 95-104. Springer, Cham, 2017.

• Packaging microservices
  Fabrizio Montesi and Dan Sebastian Thrane
  In Proceedings of DAIS 2017.

• Dynamic Choreographies: Theory And Implementation
  Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, and Jacopo Mauro
  In Logical Methods in Computer Science 13 (2017).

• Joining Jolie to Docker
  Alberto Giaretta, Nicola Dragoni, and Manuel Mazzara
  In Proceedings of International Conference in Software Engineering for Defence Applications 2016.

• Self-reconfiguring microservices
  Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, and Fabrizio Montesi
  In Theory and Practice of Formal Methods, pp. 194-210. Springer, Cham, 2016.

• Process-aware web programming with Jolie
  Fabrizio Montesi
  In Science of Computer Programming, 130, 69-96. Preprint PDF

• Jolie community on the rise
  Alexey Bandura, Nikita Kurilenko, Manuel Mazzara, Victor Rivera, Larisa Safina, and Alexander Tchitchigin
  In Proceedings of SOCA 2016

• Data-driven workflows for microservices: Genericity in Jolie
  Larisa Safina, Manuel Mazzara, Fabrizio Montesi, and Victor Rivera
  In Proceedings of IEEE AINA 2016.

• Real-World Choreographies
  Saverio Giallorenzo
  Doctoral dissertation (2016).

• Microservices science and engineering
  Manuel Mazzara, Kevin Khanda, Ruslan Mustafin, Victor Rivera, Larisa Safina, and Alberto Sillitti
  In Proceedings of International Conference in Software Engineering for Defence Applications 2016

• The evolution of Jolie
  Ivan Lanese, Fabrizio Montesi, and Gianluigi Zavattaro
  In Software, Services, and Systems, pp. 506-521. Springer, Cham, 2015.

• Developing correct, distributed, adaptive software
  Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, and Jacopo Mauro
  In Science of Computer Programming 97 (2015): 41-46.

• Constraints Meet Concurrency
  Jacopo Mauro
  Atlantis Press, Paris, 2014. 7-15.

• Service-Oriented Architectures: from Design to Production exploiting Workflow Patterns
  Saverio Giallorenzo, Maurizio Gabbrielli, and Fabrizio Montesi
  In ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal 3.2 (2014): 26-52.

• Service-oriented architectures: From design to production exploiting workflow patterns
  Maurizio Gabbrielli, Saverio Giallorenzo, and Fabrizio Montesi
  In Proceedings of DCAI 2014.

• AIOCJ: A choreographic framework for safe adaptive distributed applications
  Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, and Maurizio Gabbrielli
  In Proceedings of SLE 2014.

• Implementing Elastic Capacity in a Service-Oriented PaaS
  Alberto Zuccato, and Tullio Vardanega
  In Proceedings of ECSOCC 2014.

• Service-oriented Programming with Jolie
  Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro.
  In Web Services Foundations, 2014.

• Implementing Elastic Capacity in a Service Oriented PaaS
  A. Zuccato, T. Vardanega,
  4th Int’l Workshop on Adaptive Services for Future Internet (WAS4FI 2014), 2 September 2014 (to appear)

• Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming
  Marco Carbone, Fabrizio Montesi.
  In Proceedings of ACM POPL 2013.

• Process-aware Web Programming with Jolie
  Fabrizio Montesi.
  In Proceedings of ACM SAC 2013.

• Merging Multiparty Protocols in Multiparty Choreographies
  Marco Carbone, Fabrizio Montesi.
  In Proceedings of PLACES 2013.

• PaaSSOA: An Open PaaS Architecture for Service Oriented Applications
  Claudio Guidi, Paolo Anedda, Tullio Vardanega ESOCC 2012, First European Conference on Service Oriented and Cloud Computing.

• Service integration via target-transparent mediation.
  Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi.
  In Proceedings of IEEE SOCA 2012.

• Towards a New Paas Architecture Generation.
  Claudio Guidi, Paolo Anedda, Tullio Vardanega
  CLOSER 2012, 2nd international Conference on Cloud Computing and Service Science.

• Interface-Based Service Composition with Aggregation
  Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi.
  In Proceedings of ESOCC 2012.

• Programming Services with Correlation Sets
  Fabrizio Montesi, Marco Carbone.
  In Proceedings of ICSOC 2011.

• Graceful Interruption of Request-Response Service Interactions
  Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro.
  In Proceedings of ICSOC 2011.

• Reasoning about service oriented recursion
  Claudio Guidi, and Alessandro Sperduti.
  In proceedings of IEEE International Conference on Service-Oriented Computing and Applications (SOCA). IEEE, 2011.

• An Efficient Management of Correlation Sets with Broadcast
  Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi.
  In Proceedings of COORDINATION 2011.

• On the Expressive Power of Primitives for Compensation Handling
  Ivan Lanese, Cátia Vaz, Carla Ferreira.
  In Proceedings of ESOP 2010.

• Error Handling: From Theory to Practice
  Ivan Lanese, Fabrizio Montesi.
  In Proceedings of ISoLA 2010.

• A Framework for Rule-Based Dynamic Adaptation
  Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi.
  In Proceedings of TGC 2010.

• Dynamic Error Handling in Service Oriented Applications
  Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro.
  In Fundamenta Informaticae, 2009.

• Programming Sagas in SOCK
  Ivan Lanese, Gianluigi Zavattaro.
  In Proceedings of SEFM 2009.

• Reasoning About a Service-oriented Programming Paradigm
  Claudio Guidi, Fabrizio Montesi.
  In Proceedings of YR-SOC 2009.

• Dynamic Fault Handling Mechanisms for Service-Oriented Applications
  Fabrizio Montesi, Claudio Guidi, Ivan Lanese, Gianluigi Zavattaro.
  In Proceedings of IEEE ECOWS 2008.

• Bridging the Gap between Interaction- and Process-Oriented Choreographies
  Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro.
  In Proceedings of IEEE SEFM 2008.

• On the interplay between fault handling and request-response service invocations
  Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro.
  In Proceedings of ACSD 2008. PDF Bibtex

• Composing Services with JOLIE
  Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro.
  In Proceedings of IEEE ECOWS 2007. PDF Bibtex

• Replicating Web Services for Scalability
  Mario Bravetti, Stephen Gilmore, Claudio Guidi, Marco Tribastone In Proc. of Trustworthy Global Computing (TGC 2007). Volume 4912 of LNCS, pages 204-221, 2007.

• Formalizing mobility in Service Oriented Computing
  Claudio Guidi, Roberto Lucchi
  Journal of Software (JSW), Academy Publisher, Volume 2, Issue 1, February 2007

• SOCK: a calculus for service oriented computing
  Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro In Proc. of 4th International Conference on Service Oriented Computing (ICSOC 2006). Volume 4294 of LNCS, pages 327-338, 2006

• Mobility mechanisms in Service Oriented Computing
  Claudio Guidi, Roberto Lucchi
  In Proc. of 8th International Conference on on Formal Methods for Open Object-Based Distributed Systems (FMOODS06). Volume 4037 of LNCS pages 233-250, 2006.

• JOLIE: a Java Orchestration Language Interpreter Engine
  Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro.
  In Proceedings of CoOrg 2006 (ENTCS). PDF Bibtex

• Choreography and Orchestration conformance for system design
  Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro In Proc. of 8th International Conference on Coordination Models and Languages (COORDINATION 06). Volume 4038 of LNCS, pages 63-81, 2006.

• Choreography and Orchestration: a synergic approach for system design
  Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro In Proc. of 3rd International Conference on Service Oriented Computing (ICSOC 05), Volume 3826 of LNCS, pages 228-240, 2005.

• Reasoning about interaction patterns in Choreography
  Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, In Proc. of 2nd International Workshop on Web Services and Formal Methods (WS-FM 05), volume 3670 of LNCS, pages 333-348. Springer-Verlag, 2005.

• Towards a formal framework for Choreography
  Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro In Proc. of International Workshop on Distributed and Mobile Collaboration (DMC 2005), IEEE Computer Society Press.

• Supporting e-commerce systems formalization with choreography languages
  Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro In Proc. of ACM Symposium on Applied Computing (SAC 05), ACM Press, 2005.

• A Formal Framework for Web Services Coordination
  Claudio Guidi, Roberto Lucchi, Manuel Mazzara In Proc. of 3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 04) Electronic Notes in Theoretical Computer Science, Volume 180, Issue 2, 26 June 2007, Pages 55-70