Jolie is an orchestration language conceived during Sensoria, an FP7 European project led by Martin Wirsing in the time frame 2005– 2010. Jolie was designed having in mind both the novel –at project time– concepts related to Service-Oriented Computing and the traditional approach to the modelling of concurrency typical of process calculi. The foundational work done around Jolie during Sensoria has subsequently produced many concrete results. In this paper we focus on two distinct advancements, one aiming at the development of dynamically adaptable orchestrated systems and one focusing on global choreographic specifications. These works, more recently, contributed to the realisation of a framework for programming dynamically evolvable distributed Service- Oriented applications that are correct-by-construction.
The evolution of Jolie: From orchestrations to adaptable choreographies / Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi. - STAMPA. - 8950:(2015), pp. 506-521. (Intervento presentato al convegno Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering tenutosi a Munich, Germany nel 5-6 March 2015) [10.1007/978-3-319-15545-6_29].
The evolution of Jolie: From orchestrations to adaptable choreographies
LANESE, IVAN;MONTESI, FABRIZIO;ZAVATTARO, GIANLUIGI
2015
Abstract
Jolie is an orchestration language conceived during Sensoria, an FP7 European project led by Martin Wirsing in the time frame 2005– 2010. Jolie was designed having in mind both the novel –at project time– concepts related to Service-Oriented Computing and the traditional approach to the modelling of concurrency typical of process calculi. The foundational work done around Jolie during Sensoria has subsequently produced many concrete results. In this paper we focus on two distinct advancements, one aiming at the development of dynamically adaptable orchestrated systems and one focusing on global choreographic specifications. These works, more recently, contributed to the realisation of a framework for programming dynamically evolvable distributed Service- Oriented applications that are correct-by-construction.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
