7 citations · 20 across the 15 of their papers we have counts for
7 papers · 1 filter
Implementing Choreography Extraction
Luis Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi +1
Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification and synthesis of correct-by-construction softw…
Proceedings 14th Interaction and Concurrency Experience
Julien Lange, Anastasia Mavridou, Larisa Safina +1
This volume contains the proceedings of ICE'21, the 14th Interaction and Concurrency Experience, which was held online on the 18th of June 2021, as a satellite event of DisCoTec'21…
Implementing choreography extraction
Luís Cruz-Filipe, Fabrizio Montesi, Larisa Safina
Choreography extraction deals with the generation of a choreography (a global description of communication behaviour) from a set of local process behaviours. In this work, we imple…
Ephemeral Data Handling in Microservices - Technical Report
Saverio Giallorenzo, Fabrizio Montesi, Larisa Safina +1
In modern application areas for software systems --- like eHealth, the Internet-of-Things, and Edge Computing --- data is encoded in heterogeneous, tree-shaped data-formats, it mus…
Verified type checker for Jolie programming language
Evgenii Akentev, Alexander Tchitchigin, Larisa Safina +1
Jolie is a service-oriented programming language which comes with the formal specification of its type system. However, there is no tool to ensure that programs in Jolie are well-t…
Jolie Community on the Rise
Alexey Bandura, Nikita Kurilenko, Manuel Mazzara +3
Jolie is a programming language that follows the microservices paradigm. As an open source project, it has built a community of developers worldwide - both in the industry as well…
Data-driven Workflows for Microservices
Larisa Safina, Manuel Mazzara, Fabrizio Montesi
Microservices is an architectural style inspired by service-oriented computing that has recently started gaining popularity. Jolie is a programming language based on the microservi…