论文标题
同步和异步相互作用的工作流净组件的稳固性组成
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
论文作者
论文摘要
在本文中，我们提出了一种组成方法，以从正确的交互组件模型中构建正确的信息系统的正式模型。组件行为是使用工作流网 - 一类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.
