一句话:提出以修饰符决定的上下文为核心的事件结构,通过上下文与依赖事件集重新定义配置,并统一多数已有事件结构模型。
近期出现一类事件结构,其因果关系可在计算过程中显式改变:修饰符通过增删依赖,使事件的发生具有上下文相关性,但已有工作仍以事件的依赖为中心。本文主张由修饰符确定的上下文才是核心,上下文不仅决定事件的原因,也决定应采用何种因果关系。修饰符因而被用于判断一个事件或事件集合何时能加入配置,同时用事件集合建模依赖,但依赖退居次要地位。作者证明,文献中多数事件结构概念都可翻译为这种新事件结构,并保持配置这一核心概念不变。
Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove dependencies, thus making the happening of an event contextual. Still the focus is always on the dependencies of the event. In this paper we promote the idea that the context determined by the modifiers plays a major role, and the context itself determines not only the causes but also what causality should be. Modifiers are then used to understand when an event (or a set of events) can be added to a configuration, together with a set of events modeling dependencies, which will play a less important role. We show that most of the notions of Event Structure presented in literature can be translated into this new kind of event structure, preserving the main notion, namely the one of configuration.