当前位置:
X-MOL 学术
›
arXiv.cs.FL
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Composition of choreography automata
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2021-07-14 , DOI: arxiv-2107.06727 Franco Barbanera, Ivan Lanese, Emilio Tuosto
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2021-07-14 , DOI: arxiv-2107.06727 Franco Barbanera, Ivan Lanese, Emilio Tuosto
Choreography automata are an automata-based model of choreographies, that we
show to be a compositional one. Choreography automata represent global views of
choreographies (and rely on the well-known model of communicating finite-state
machines to model local behaviours). The projections of well-formed global
views are live as well as lock- and deadlock-free. In the class of choreography
automata we define an internal operation of {\em composition}, which connects
two global views via roles acting as interfaces. We show that under mild
conditions the composition of well-formed choreography automata is well-formed.
The composition operation enables for a flexible modular mechanism at the
design level.
中文翻译:
编舞自动机的组成
编排自动机是一种基于自动机的编排模型,我们将其展示为一个组合模型。编排自动机代表编排的全局视图(并依赖于众所周知的有限状态机通信模型来模拟局部行为)。格式良好的全局视图的投影是实时的,并且是无锁和无死锁的。在编排自动机类中,我们定义了 {\em composition} 的内部操作,它通过充当接口的角色连接两个全局视图。我们表明,在温和条件下,结构良好的编舞自动机的组成是结构良好的。组合操作能够在设计级别实现灵活的模块化机制。
更新日期:2021-07-15
中文翻译:
编舞自动机的组成
编排自动机是一种基于自动机的编排模型,我们将其展示为一个组合模型。编排自动机代表编排的全局视图(并依赖于众所周知的有限状态机通信模型来模拟局部行为)。格式良好的全局视图的投影是实时的,并且是无锁和无死锁的。在编排自动机类中,我们定义了 {\em composition} 的内部操作,它通过充当接口的角色连接两个全局视图。我们表明,在温和条件下,结构良好的编舞自动机的组成是结构良好的。组合操作能够在设计级别实现灵活的模块化机制。