From Orchestration to Choreography through Contract Automata
Current Language EN
English English Türkçe Türkçe Español Español Português Português Pусский Pусский Filipino Filipino Tiếng Việt Tiếng Việt हिन्दी हिन्दी العربية العربية বাংলা বাংলা Deutsch Deutsch 中文 中文

From Orchestration to Choreography through Contract Automata

Basile, Davide;Degano, Pierpaolo;Ferrari, Gian-Luigi;Tuosto, Emilio;
electronic proceedings in theoretical computer science 2014 Vol. 166 pp. 67-85
358
basile2014fromelectronic

Abstract

We study the relations between a contract automata and an interaction model. In the former model, distributed services are abstracted away as automata - oblivious of their partners - that coordinate with each other through an orchestrator. The interaction model relies on channel-based asynchronous communication and choreography to coordinate distributed services. We define a notion of strong agreement on the contract model, exhibit a natural mapping from the contract model to the interaction model, and give conditions to ensure that strong agreement corresponds to well-formed choreography.

Keywords

Medicine Science general works history of scholarship and learning. the humanities social sciences (general) philology. linguistics language and literature communication. mass media mathematics electronic computers. computer science sports medicine fine arts arts in general visual arts

Access

URL:
http://arxiv.org/pdf/1410.7471v1

Citation

ID: 44657
Ref Key: basile2014fromelectronic
Use this key to autocite in SciMatic or Thesis Manager

References

References

No Bibliography

Blockchain Verification

Account:
NFT Contract Address:
0x95644003c57E6F55A65596E3D9Eac6813e3566dA
Article ID:
44657
Unique Identifier:
Network:
Scimatic Chain (ID: 481)
Blockchain Readiness Checklist
Authors
Abstract
Journal Name
Year
Title
5/5
Creates 1,000,000 NFT tokens for this article
Token Features:
  • ERC-1155 Standard NFT
  • 1 Million Supply per Article
  • Transferable via MetaMask
  • Permanent Blockchain Record
Blockchain QR Code
Scan with Saymatik Web3.0 Wallet
Gas fees required in SCI Coins
Buy SCI

Saymatik Web3.0 Wallet

Google Play
App Store