同步和异步交互的工作流网组件的保音合成
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
摘要：
在本文中，我们提出了一个组合的方法来构建正确的形式化模型的信息系统从正确的模型相互作用的组件。组件行为使用工作流网-一类Petri网来表示。组件之间的交互编码在一个额外的接口网络。所提出的方法是用来建模和组成同步和异步交互的工作流网。使用Petri网态射及其性质，我们证明了组成的相互作用的工作流网保持组件和接口的正确性。
英文摘要：
In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components. Component behavior is represented using workflow nets - a class of Petri nets. Interactions among components are encoded in an additional interface net. The proposed approach is used to model and compose synchronously and asynchronously interacting workflow nets. Using Petri net morphisms and their properties, we prove that the composition of interacting workflow nets preserves the correctness of components and of an interface.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
