NDLI: TESLA: a formally defined event specification language

Please wait, while we are loading the content...

Continuous analytics: data stream query processing in practice

Distributed structural and value XML filtering

TESLA: a formally defined event specification language

IOA-CBR: information overload-aware content-based routing

Challenges & directions in distributed event-based systems for a web-scale enterprise

On trade-offs in event delivery systems

Industry experience with the IBM Active Middleware Technology (AMiT) Complex Event Processing engine

Relational database support for event-based middleware functionality

An approach for iterative event pattern recommendation

StreamMine: a scalable and dependable event processing platform

Analyzing the behavior of event processing applications

Context aware computing and its utilization in event-based systems

Predictive publish/subscribe matching

An event view model and DSL for engineering an event-based SOA monitoring infrastructure

An RFID architecture based on an event-oriented component model

Placement of replicated tasks for distributed stream processing systems

Distributed heterogeneous event processing: enhancing scalability and interoperability of CEP in an industrial context

Magnet: practical subscription clustering for Internet-scale publish/subscribe

Experiences with codifying event processing function patterns

Workload characterization for operator-based distributed stream processing applications

Logic-based representation, reasoning and machine learning for event recognition

Cordies: expressive event correlation in distributed systems

Reliable complex event detection for pervasive computing

Content-based rendezvous with upgraph combination

Quilt: a patchwork of multicast regions

HOLMES: an event-driven solution to monitor data centers through continuous queries and machine learning

Evaluation of streaming aggregation on parallel hardware architectures

Providing basic security mechanisms in broker-less publish/subscribe systems

Mobile XSiena: towards mobile publish/subscribe

Stochastic performance analysis and capacity planning of publish/subscribe systems

Event semantics in event dissemination architectures for massive multiuser virtual environments

Complex event processing synergies with predictive analytics

Towards middleware-aware integration of event-based communication into the Palladio component model

Towards benchmarking of AMQP

StreamNetFlux: birth of transparent integrated CEP-DBs

Event processing for large-scale distributed games

Reliable fault-tolerant sensors for distributed systems

EchoPAT: a system for real-time complex event pattern monitoring

GINSENG for sustainable energy awareness: flexible energy monitoring using wireless sensor nodes

Business-oriented development methodology for complex event processing: demonstration of an integrated approach for process monitoring

Flood: elastic streaming MapReduce

TESLA: a formally defined event specification language

Content Provider	ACM Digital Library
Author	Margara, Alessandro Cugola, Gianpaolo
Abstract	The need for timely processing large amounts of information, flowing 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, we analyze such languages showing how most approaches lack the expressiveness required for the applications we target, or do not provide the precise semantics required to clearly state how the system should behave. Moving from these premises, we present TESLA, a complex event specification language. Each TESLA rule considers incoming data items as notifications of events and defines how certain patterns of events cause the occurrence of others, said to be "complex". TESLA has a simple syntax and a formal semantics, given in terms of a first order, metric temporal logic. It provides high expressiveness and flexibility in a rigorous framework, by offering content and temporal filters, negations, timers, aggregates, and fully customizable policies for event selection and consumption. The paper ends by showing how TESLA rules can be interpreted by a processing system, introducing an efficient event detection algorithm based on automata.
Starting Page	50
Ending Page	61
Page Count	12
File Format	PDF
ISBN	9781605589275
DOI	10.1145/1827418.1827427
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2010-07-12
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in