Relating two automata-based models of orchestration and choreography-Reference-Cited by-同舟云学术

Relating two automata-based models of orchestration and choreography

Published:2016-04 Issue:3 Volume:85 Page:425-446
ISSN:2352-2208
Container-title:Journal of Logical and Algebraic Methods in Programming
language:en
Short-container-title:Journal of Logical and Algebraic Methods in Programming

Author:

Basile D.,Degano P.,Ferrari G.L.,Tuosto E.

Funder

Seventh Framework Programme

COST

Publisher

Elsevier BV

Subject

Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic

Reference32 articles.

1. Web services orchestration and choreography;Peltz;IEEE Comput.,2003

2. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon, C. Barreto, Web services choreography description language version 1.0, World Wide Web Consortium, Candidate Recommendation CR-ws-cdl-10-20051109, November 2005.

3. Automata for analysing service contracts;Basile,2014

4. On communicating finite-state machines;Brand;J. ACM,1983

5. On the realizability of contracts in dishonest systems;Bartoletti,2012

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A toolchain for strategy synthesis with spatial properties;International Journal on Software Tools for Technology Transfer;2023-11-02

2. A Runtime Environment for Contract Automata;Formal Methods;2023

3. Realisability of Global Models of Interaction;Theoretical Aspects of Computing – ICTAC 2023;2023

4. Contract Automata Library;Science of Computer Programming;2022-09

5. Towards refinable choreographies;Journal of Logical and Algebraic Methods in Programming;2022-06