EVL: A Typed Higher-order Functional Language for Events

Q3 Computer Science

Electronic Notes in Theoretical Computer Science Pub Date : 2020-09-15 DOI:10.1016/j.entcs.2020.08.002

Sandra Alves, Maribel Fernández, Miguel Ramos

引用次数: 2

Abstract

We define EVL, a minimal higher-order functional language for dealing 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 deal with obligations in access control systems. Event specifications are represented as records and we use polymorphic record types to type events in our language. 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)的上下文中使用，以定义处理通常CEP技术的高阶参数化函数。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Electronic Notes in Theoretical Computer Science Computer Science-Computer Science (all)

自引率

0.00%

发文量

期刊介绍： ENTCS is a venue for the rapid electronic publication of the proceedings of conferences, of lecture notes, monographs and other similar material for which quick publication and the availability on the electronic media is appropriate. Organizers of conferences whose proceedings appear in ENTCS, and authors of other material appearing as a volume in the series are allowed to make hard copies of the relevant volume for limited distribution. For example, conference proceedings may be distributed to participants at the meeting, and lecture notes can be distributed to those taking a course based on the material in the volume.