DeepAI AI Chat
Log In Sign Up

EVL: a typed functional language for event processing

09/18/2021
by   Sandra Alves, et al.
Universidade do Porto
King's College London
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

09/06/2022

A Generic Type System for Higher-Order Ψ-calculi

The Higher-Order Ψ-calculus framework (HOΨ) is a generalisation of many ...
09/22/2022

Embedding generic monadic transformer into Scala

Dotty-cps-async is an open-source package that consists of scala macro, ...
11/08/2021

Higher Order c-Differentials

EFRST20, the notion of c-differentials was introduced as a potential exp...
11/05/2021

Pirouette: Higher-Order Typed Functional Choreographies

We present Pirouette, a language for typed higher-order functional chore...
10/18/2018

An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems

Reactive systems are composed of a well defined set of input events that...
08/27/2021

Representation and Processing of Instantaneous and Durative Temporal Phenomena

Event definitions in Complex Event Processing systems are constrained by...
04/29/2020

A Formally Verified HOL4 Algebra for Event Trees

Event Tree (ET) analysis is widely used as a forward deductive safety an...