Context-aware process networks
Context-aware process networks
复制标题
DOI：
10.1109/asap.2003.1212825
复制
发表时间：
2003-06
期刊：
影响因子：
--
通讯作者：
H. W. V. Dijk;H. Sips;E. Deprettere
中科院分区：
文献类型：
--
作者：
H. W. V. Dijk;H. Sips;E. Deprettere
在工业中，用于基于流的处理的嵌入式系统通常通过使用过程网络（诸如Kahn过程网络）来建模和验证。Kahn网络的优点是它们允许网络中的过程组件的异步操作。然而，这些网络中的一个问题是，异步干扰事件不能被正确处理，因为它们本质上是不确定的，因此破坏了网络的组成特性。我们建议扩展卡恩模型的计算与一个简单的不确定的结构。我们将由此产生的网络称为上下文感知过程网络（CAPN）。我们表明，这些网络是能够处理某些类的事件，仍然可以减少到一类参数化的卡恩网络。
In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networks is that they allow asynchronous operation of process components in a network. A problem in these networks, however, is that asynchronously interfering events cannot be handled properly because they are intrinsically indeterminate and therefore destroy the compositional properties of the network. We propose to extend the Kahn model of computations with a simple indeterminate construct. We call the resulting network a context-aware process network (CAPN). We show that these networks are capable of handling certain classes of events and can still be reduced to a class of parametrised Kahn networks.