TESLA: A Formally Defined Event Specification Language

Date Added: Jul 2010
Format: PDF

The need for timely processing large amounts of information, owing from the peripheral to the center of a system, is common to different application domains, and it has justified the development of several languages to describe how such information has to be processed. In this paper, the authors analyze such languages showing how most approaches lack the expressiveness required for the applications they target, or do not provide the precise semantics required to clearly state how the system should behave. Moving from these premises, they present TESLA, a complex event specification language.