当前位置:
X-MOL 学术
›
arXiv.cs.LO
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
arXiv - CS - Logic in Computer Science Pub Date : 2020-01-15 , DOI: arxiv-2001.08064 Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello
arXiv - CS - Logic in Computer Science Pub Date : 2020-01-15 , DOI: arxiv-2001.08064 Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello
In this paper, we propose a compositional approach to construct formal models
of complex distributed systems with several synchronously and asynchronously
interacting components. A system model is obtained from a composition of
individual component models according to requirements on their interaction. We
represent component behavior using workflow nets - a class of Petri nets. We
propose a general approach to model and compose synchronously and
asynchronously interacting workflow nets. Through the use of Petri net
morphisms and their properties, we prove that this composition of workflow nets
preserves component correctness.
中文翻译:
同步和异步交互工作流网络组件的稳健性组合
在本文中,我们提出了一种组合方法来构建具有多个同步和异步交互组件的复杂分布式系统的形式模型。系统模型是根据各个组件模型的交互要求从各个组件模型的组合中获得的。我们使用工作流网(一类 Petri 网)表示组件行为。我们提出了一种通用方法来建模和组合同步和异步交互工作流网络。通过使用 Petri 网态射及其属性,我们证明了工作流网的这种组合保持了组件的正确性。
更新日期:2020-01-23
中文翻译:
同步和异步交互工作流网络组件的稳健性组合
在本文中,我们提出了一种组合方法来构建具有多个同步和异步交互组件的复杂分布式系统的形式模型。系统模型是根据各个组件模型的交互要求从各个组件模型的组合中获得的。我们使用工作流网(一类 Petri 网)表示组件行为。我们提出了一种通用方法来建模和组合同步和异步交互工作流网络。通过使用 Petri 网态射及其属性,我们证明了工作流网的这种组合保持了组件的正确性。