Relating two automata-based models of orchestration and choreography
From MaRDI portal
Publication:272310
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
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
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
