Relating two automata-based models of orchestration and choreography

DOI10.1016/j.jlamp.2015.09.011zbMath1352.68125OpenAlexW2179766293MaRDI QIDQ272310

Pierpaolo Degano, Emilio Tuosto, Gian-Luigi Ferrari, Davide Basile

Publication date: 20 April 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.09.011

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (4)

Towards refinable choreographies ⋮ Research Challenges in Orchestration Synthesis ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• An algebraic theory for web service contracts
• Formal methods for web services. 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009, Bertinoro, Italy, June 1--6, 2009. Advanced lectures
• Web services. Concepts, architectures and applications
• Formal techniques for distributed systems. Joint IFIP WG 6.1 international conference, FMOODS/FORTE 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCo Tec 2013, Florence, Italy, June 3--5, 2013. Proceedings
• Verification of programs with half-duplex communication
• Automata for Analysing Service Contracts
• From Communicating Machines to Graphical Choreographies
• Multiparty Session Types Meet Communicating Automata
• On the Realizability of Contracts in Dishonest Systems
• Deciding choreography realizability
• Multiparty asynchronous session types
• Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
• On Communicating Finite-State Machines

This page was built for publication: Relating two automata-based models of orchestration and choreography