NDLI: Analyzing the behavior of event processing applications

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

Analyzing the behavior of event processing applications

Content Provider	ACM Digital Library
Author	Ruah, Sitvanit Archushin, Sarit Rabinovich, Ella Etzion, Opher
Abstract	Event processing application development is a relatively new discipline that poses challenges when applying state-of-the-art software engineering practices. Specifically, the temporal semantics of event processing requires careful validation of the actual behavior against the expected behavior to avoid temporal fallacies. Event processing application development is typically an evolutional process; modifications and extensions to existing applications are very common, thus continuous validation and verification against the requirements and specifications is often required. While small applications are relatively easy to maintain, modifying and extending larger applications with tens and hundreds of assets may be laborious and error-prone. Part of the contemporary platforms has support for modeling, debugging, and testing event processing applications. However, they typically do not practice advanced methods for application validation for correctness and logical integrity. We introduce a novel approach for analyzing the behavior of event processing applications, utilizing static and dynamic analysis techniques, thus providing an ability to draw observations such as: finding event consequences and provenance, possible termination problems, tracing event impact, application artifacts evaluation and coverage. Formal verification methods are leveraged for advanced logical integrity observations. Combined with the techniques mentioned above, this forms a powerful framework for the verification, validation, and auditing of event processing applications.
Starting Page	223
Ending Page	234
Page Count	12
File Format	PDF
ISBN	9781605589275
DOI	10.1145/1827418.1827465
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2010-07-12
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Dynamic analysis Static analysis Model checking Event processing Event processing network Formal verification
Content Type	Text
Resource Type	Article

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

Model checking security policy model using both UML static and dynamic diagrams

Thorough static analysis of device drivers

Calysto: scalable and precise extended static checking

Static analysis techniques for robotics software verification

Statically checking confidentiality via dynamic labels

Formal verification of data-intensive applications through model checking modulo theories

System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications

System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications

Achieving Glitch-Free Clock Domain Crossing Signals Using Formal Verification, Static Timing Analysis, and Sequential Equivalence Checking

Analyzing the behavior of event processing applications

Similar Documents

Model checking security policy model using both UML static and dynamic diagrams

Thorough static analysis of device drivers

Calysto: scalable and precise extended static checking

Static analysis techniques for robotics software verification

Statically checking confidentiality via dynamic labels

Formal verification of data-intensive applications through model checking modulo theories

System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications

System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications

Achieving Glitch-Free Clock Domain Crossing Signals Using Formal Verification, Static Timing Analysis, and Sequential Equivalence Checking

Analyzing the behavior of event processing applications