EVL: a typed functional language for event processing

Autor:	Alves, Sandra, Fernández, Maribel, Ramos, Miguel
Rok vydání:	2021
Předmět:	Computer Science - Logic in Computer Science F.3.1 D.3.1
Druh dokumentu:	Working Paper
Popis:	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. Comment: Submitted to MSCS
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2109.08960 Zobrazit plný text záznamu View this record from Arxiv