DeepAI AI Chat
Log In Sign Up

EVL: a typed functional language for event processing

by   Sandra Alves, et al.
Universidade do Porto
King's College London

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.


page 1

page 2

page 3

page 4


A Generic Type System for Higher-Order Ψ-calculi

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

Embedding generic monadic transformer into Scala

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

Higher Order c-Differentials

EFRST20, the notion of c-differentials was introduced as a potential exp...

Pirouette: Higher-Order Typed Functional Choreographies

We present Pirouette, a language for typed higher-order functional chore...

An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems

Reactive systems are composed of a well defined set of input events that...

Representation and Processing of Instantaneous and Durative Temporal Phenomena

Event definitions in Complex Event Processing systems are constrained by...

A Formally Verified HOL4 Algebra for Event Trees

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