The evolution of Jolie. From orchestrations to adaptable choreographies

DOI10.1007/978-3-319-15545-6_29zbMATH Open1454.68078OpenAlexW32233327MaRDI QIDQ5256366FDOQ5256366

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

Recommendations

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

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)

Cites Work

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

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)