From Communicating Machines to Graphical Choreographies-Reference-Cited by-同舟云学术

From Communicating Machines to Graphical Choreographies

Published:2015-05-11 Issue:1 Volume:50 Page:221-232
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Lange Julien¹,Tuosto Emilio²,Yoshida Nobuko¹

Affiliation:

1. Imperial College London, London, United Kingdom

2. University of Leicester, Leicester, United Kingdom

Abstract

Graphical choreographies, or global graphs, are general multiparty session specifications featuring expressive constructs such as forking, merging, and joining for representing application-level protocols. Global graphs can be directly translated into modelling notations such as BPMN and UML. This paper presents an algorithm whereby a global graph can be constructed from asynchronous interactions represented by communicating finite-state machines (CFSMs). Our results include: a sound and complete characterisation of a subset of safe CFSMs from which global graphs can be constructed; an algorithm to translate CFSMs to global graphs; a time complexity analysis; and an implementation of our theory, as well as an experimental evaluation.

Funder

Seventh Framework Programme

Engineering and Physical Sciences Research Council

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/2775051.2676964

Reference33 articles.

1. Business Process Model and Notation. http://www.bpmn.org. Business Process Model and Notation. http://www.bpmn.org.

2. Petrify. http://www.lsi.upc.edu/?jordicf/petrify/. Petrify. http://www.lsi.upc.edu/?jordicf/petrify/.

3. SAVARA Testable Architecture. http://www.jboss.org/savara. SAVARA Testable Architecture. http://www.jboss.org/savara.

4. Zero Deviation Lifecycle. http://www.zdlc.co. Zero Deviation Lifecycle. http://www.zdlc.co.

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

1. Composable partial multiparty session types for open systems;Software and Systems Modeling;2022-09-28

2. ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022

3. Composable Partial Multiparty Session Types;Formal Aspects of Component Software;2021

4. Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types;Programming Languages and Systems;2020

5. Composing Communicating Systems, Synchronously;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020