EVL: A Typed Higher-order Functional Language for Events

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2020

Autores

Sandra Alves (Autor) FCUP; Fernandez, M (Autor) Outra; Ramos, M (Autor) Outra

Ata de Conferência Internacional

Título: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Páginas: 3-23

15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA)

Salvador, BRAZIL, AUG 27-28, 2020

Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 1 Citação

Outras Informações

ID Authenticus: P-00S-YRC

DOI: 10.1016/j.entcs.2020.08.002

Abstract (EN): 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 21