EVL：一种通用事件处理的高阶函数语言

EVL（Event-Valued Logic）是一种创新的类型化高阶函数语言，它旨在解决通用事件处理的问题。本文由桑德拉·阿尔维斯、玛丽贝尔·费尔南德斯和米格尔·拉莫斯三位专家共同提出，发表在《理论计算机科学电子笔记》第351期（2020年3-23卷）。EVL的设计初衷是为了扩展传统事件模型，这些模型常用于数据库管理、并发性、反应式系统和网络安全等领域，特别是针对访问控制中的义务处理。 传统的事件概念局限于特定领域，而EVL通过引入通用事件的概念，使得事件处理更为灵活和广泛。它将事件规范表示为记录类型，利用多态性来输入和处理各种事件。这种设计使得EVL能够支持复杂事件处理（CEP）中的高级功能，允许定义参数化的函数，从而在不牺牲可扩展性和容错性的同时，提供更清晰的语义和形式化的结构。 在安全应用中，尤其是访问控制模型中，EVL的重要性尤为显著。它允许根据系统中发生的事件动态地决定资源的访问权限，这对于义务管理系统至关重要。与基于类别访问控制和义务元模型（CBACO）等先前工作不同，EVL通过类型化事件和事件间隔，提供了更为精确和结构化的义务处理方式。 EVL的关键特性包括其最小化的设计，强调高阶函数，以及在处理复杂事件流时的灵活性。它不仅适用于现实生活中的应用场景，还为理解和扩展现有的CEP技术提供了新的视角。由于该论文是开放获取的，读者可以在www.sciencedirect.com或www.elsevier.com/locate/entcs找到全文，以便深入了解EVL的语言细节和实际应用示例。EVL为事件驱动系统的编程语言设计开辟了新的可能性，有助于提升系统的理解和可维护性。