From Orchestration to Choreography through Contract Automata

被引：9
|
作者：
Basile, Davide [1 ]
Degano, Pierpaolo [1 ]
Ferrari, Gian-Luigi [1 ]
Tuosto, Emilio [2 ]
机构：
[1] Univ Pisa, Dipartimento Informat, Pisa, Italy
[2] Univ Leicester, Dept Comp Sci, Leicester, Leics, England
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2014年 / 166期
关键词：
D O I：
10.4204/EPTCS.166.8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：67 / 85
页数：19
相关论文
共 50 条
  • [11] Choreography and orchestration conformance for system design
    Busi, Nadia
    Gorrieri, Roberto
    Guidi, Claudio
    Lucchi, Roberto
    Zavattaro, Gianluigi
    COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2006, 4038 : 63 - 81
  • [12] Corinne, a Tool for Choreography Automata
    Orlando, Simone
    Di Pasquale, Vairo
    Barbanera, Franco
    Lanese, Ivan
    Tuosto, Emilio
    FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2021), 2021, 13077 : 82 - 92
  • [13] The relation between Web Services orchestration and choreography
    Wu Huaiguang
    Zhong Farong
    ICCSE'2006: Proceedings of the First International Conference on Computer Science & Education: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2006, : 716 - 718
  • [14] Services organisation in IoT : mixing Orchestration and Choreography
    Cherrier, Sylvain
    Langar, Rami
    2018 GLOBAL INFORMATION INFRASTRUCTURE AND NETWORKING SYMPOSIUM (GIIS), 2018,
  • [15] Choreography Synthesis as Contract Agreement
    Lange, Julien
    Scalas, Alceste
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (131): : 52 - 67
  • [16] A Semantical Framework for the Orchestration and Choreography of Web Services
    Pahl, Claus
    Zhu, Yaoling
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 151 (02) : 3 - 18
  • [17] ORCHESTRATION AND CHOREOGRAPHY AT THE PIANO - AN INTERVIEW WITH MARCHAND,ANDREAS
    RANDLETT, S
    CLAVIER, 1975, 14 (06): : 20 - &
  • [18] Choreography and orchestration: A synergic approach for system design
    Busi, N
    Gorrieri, R
    Guidi, C
    Lucchi, R
    Zavattaro, G
    SERVICE-ORIENTED COMPUTING - ICSOC 2005, PROCEEDINGS, 2005, 3826 : 228 - 240
  • [19] Distributed Orchestration Versus Choreography: The FOCAS Approach
    Pedraza, Gabriel
    Estublier, Jacky
    TRUSTWORTHY SOFTWARE DEVELOPMENT PROCESSES, PROCEEDINGS, 2009, 5543 : 75 - +
  • [20] Validation of user intentions in process orchestration and choreography
    Groener, Gerd
    Asadi, Mohsen
    Mohabbati, Bardia
    Gasevic, Dragan
    Boskovic, Marko
    Parreiras, Fernando Silva
    INFORMATION SYSTEMS, 2014, 43 : 83 - 99
12345