Branching Pomsets for Choreographies

08/09/2022
by   Luc Edixhoven, et al.
0

Choreographic languages describe possible sequences of interactions among a set of agents. Typical models are based on languages or automata over sending and receiving actions. Pomsets provide a more compact alternative by using a partial order over these actions and by not making explicit the possible interleaving of concurrent actions. However, pomsets offer no compact representation of choices. For example, if an agent Alice can send one of two possible messages to Bob three times, one would need a set of 2 * 2 * 2 distinct pomsets to represent all possible branches of Alice's behaviour. This paper proposes an extension of pomsets, named branching pomsets, with a branching structure that can represent Alice's behaviour using 2 + 2 + 2 ordered actions. We encode choreographies as branching pomsets and show that the pomset semantics of the encoded choreographies are bisimilar to their operational semantics.

READ FULL TEXT

page 1

page 2

page 3

page 4

05/12/2018

π: Towards a Simple Formal Semantic Framework for Compiler Construction

This paper proposes π, a formal semantic framework for compiler construc...
06/01/2011

Partial-Order Planning with Concurrent Interacting Actions

In order to generate plans for agents with multiple actuators, agent tea...
06/24/2022

Learning Rhetorical Structure Theory-based descriptions of observed behaviour

In a previous paper, we have proposed a set of concepts, axiom schemata ...
02/14/2012

Compact Mathematical Programs For DEC-MDPs With Structured Agent Interactions

To deal with the prohibitive complexity of calculating policies in Decen...
11/08/2019

Revisiting Semantics of Interactions for Trace Validity Analysis

Interaction languages such as UML sequence diagrams are often associated...
07/30/2021

Interleaving Reconfigurable Interaction: Separating Choice from Scheduling using Glue

Reconfigurable interaction induces another dimension of nondeterminism i...
06/30/2021

A Domain-Theoretic Approach to Statistical Programming Languages

We give a domain-theoretic semantics to a statistical programming langua...