The Evolution of Jolie

DOI10.1007/978-3-319-15545-6_29zbMath1454.68078OpenAlexW32233327MaRDI QIDQ5256366

Ivan Lanese, Gianluigi Zavattaro, Fabrizio Montesi

Publication date: 22 June 2015

Published in: Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-15545-6_29

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• COWS
• LTSA-WS
• Jolie
• AIOCJ
• Scribble
• SPY

Cites Work

• On the semantics of Alice \& Bob specifications of security protocols
• A formal semantics for protocol narrations
• Compositional Choreographies
• On Global Types and Multi-Party Session
• Deadlock-freedom-by-design
• Multiparty asynchronous session types
• Dynamic Error Handling in Service Oriented Applications
• Global Progress in Dynamically Interleaved Multiparty Sessions
• A Calculus for Orchestration of Web Services
• Structured Communication-Centred Programming for Web Services

This page was built for publication: The Evolution of Jolie