We define EVL, a minimal higher-order functional language to deal with generic events. The notion of generic event extends the well-known notion of event traditionally used in a variety of areas, such as database management, concurrency, reactive systems and cybersecurity. Generic events were introduced in the context of a metamodel to specify obligations in access control systems. Event specifications are represented as records and we use polymorphic record types to type events in EVL. We show how the higher-order capabilities of EVL can be used in the context of Complex Event Processing (CEP), to define higher-order parameterised functions that deal with the usual CEP techniques.

中文翻译：

---

EVL：用于事件处理的类型化函数语言

我们定义了 EVL，这是一种用于处理通用事件的最小化高阶函数式语言。通用事件的概念扩展了传统上用于各种领域的众所周知的事件概念，例如数据库管理、并发性、反应式系统和网络安全。在元模型的上下文中引入了通用事件，以指定访问控制系统中的义务。事件规范表示为记录，我们使用多态记录类型在 EVL 中键入事件。我们展示了如何在复杂事件处理 (CEP) 的上下文中使用 EVL 的高阶功能，以定义处理常用 CEP 技术的高阶参数化函数。