The evolution of Jolie. From orchestrations to adaptable choreographies

DOI10.1007/978-3-319-15545-6_29MaRDI QIDQ5256366zbMATHOpenAlexFDO

Authors Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro

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

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

Recommendations

• scientific article
• Realizability and dynamic reconfiguration of chor specifications
• Event based choreography
• Applied Choreographies
• Choreographies, logically

Cites work

• A Calculus for Orchestration of Web Services
• A formal semantics for protocol narrations
• Compositional choreographies
• Deadlock-freedom-by-design, multiparty asynchronous global programming
• Dynamic error handling in service oriented applications
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Multiparty asynchronous session types
• On global types and multi-party sessions
• On the semantics of Alice \& Bob specifications of security protocols
• Structured Communication-Centred Programming for Web Services

Describes a project that uses

Uses Software

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

This page was built for publication: The evolution of Jolie. From orchestrations to adaptable choreographies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5256366)