Schedulers and finishers: On generating and filtering the behaviours of an event structure
Schedulers and finishers: On generating and filtering the behaviours of an event structure
复制标题
调度程序和完成程序：生成和过滤事件结构的行为
DOI：
10.1016/j.tcs.2018.01.015
复制
发表时间：
2018
影响因子：
1.1
通讯作者：
McIver A
中科院分区：
文献类型：
--
作者：
McIver A
众所周知，可以使用调度器来生成转换系统的每个跟踪。然而，这一基本的完备性结果并不适用于事件结构模型。这种失败的原因是，根据其标准定义，调度程序选择要调度的操作，同时观察到最后调度的操作已经发生。因此，预定的事件将永远无法重叠。我们建议分开调度观察终止，并介绍了双重的概念，完成，连同bracelers，足以重新获得完整性。然后，我们调查所有可能的相互作用之间的干扰和整理，得出的结论是简单的交替相互作用足以表达复杂的决议。我们还观察到，当这些相互作用是独立的，他们可能会产生的行为，不满足一些所需的属性是系统固有的。为了过滤掉这些行为，我们通过定义允许的完成者和完成者来扩展我们的结果。与独立交互相比，这个新概念允许我们控制和观察并发执行，其粒度严格高于捆绑关系所提供的粒度。
It is well known that every trace of a transition system can be generated using a scheduler. However, this basic completeness result does not hold in event structure models. The reason for this failure is that, according to its standard definition, a scheduler chooses which action to schedule and, at the same time, observes that the one scheduled last has occurred. Thus, scheduled events will never be able to overlap. We propose to separate scheduling from observing termination and introduce the dual notion of finishers which, together with schedulers, are enough to regain completeness. We then investigate all possible interactions between schedulers and finishers, concluding that simple alternating interactions are enough to express complex resolution. We also observe that when these interactions are independent, they may produce behaviours that are not satisfying some desired property that is intrinsic to the system. To filter these behaviours out, we extend our results by defining permissible pairs of schedulers and finishers. In contrast to independent interactions, this new concept allows us to control and observe concurrent executions with a granularity that is strictly higher than that provided by the bundle relation.
登录
查看更多内容
DOI：
10.1016/j.jlamp.2015.11.009
发表时间：
2016
期刊：
J. Log. Algebraic Methods Program.
影响因子：
--
作者：
Walter Guttmann
通讯作者：
Walter Guttmann
DOI：
10.1007/978-3-642-45221-5_43
发表时间：
2013
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Annabelle McIver;T. Rabehaja;G. Struth
通讯作者：
G. Struth
无等待同步的不可能性和普遍性结果
影响因子：
1.8
作者：
M. Herlihy
通讯作者：
M. Herlihy
DOI：
10.1007/3-540-55599-4_128
发表时间：
1992
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Ferroudja Cherief
通讯作者：
Ferroudja Cherief
公理化有限和无限部分词的包含和子词预序
DOI：
10.1016/s0304-3975(00)00442-4
发表时间：
2002
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Z. Ésik
通讯作者：
Z. Ésik