Detecting and Coordinating Complex Patterns of Distributed Events with KETAL

This paper presents an event-based kernel library designed to explicitly construct and coordinate complex interactions and communication patterns in distributed applications. The library integrates facilities for explicitly defining complex event patterns, detecting events in distributed systems, and validating sequences of events having into account causal ordering. Concretely we present the following contributions: i) An analysis of non trivial scenarios found in distributed applications in order to formulate a set of requirements and restrictions for a kernel event-based library, ii) the design and implementation of the library supporting the detection and coordination of complex event patterns and the support of causal manipulation of distributed events, iii) a qualitative evaluation of our approach showing how this library can be used to build a sophisticated distributed aspect oriented language.

[1]  Gail E. Kaiser,et al.  Debugging multithreaded programs with MPD , 1991, IEEE Software.

[2]  M. Cosnard.  Parallel & distributed algorithms : proceedings of the International Workshop on Parallel & Distributed Algorithms, Chateau de Bonas, Gers, France, 3-6 October, 1988 , 1989 .

[3]  Patrick Th. Eugster,et al.  EventJava: An Extension of Java for Event Correlation , 2009, ECOOP.

[4]  Luis Daniel Benavides Navarro,et al.  Debugging and Testing Middleware with Aspect-Based Control-Flow and Causal Patterns , 2008, Middleware.

[5]  G. Stewart Von Itzstein,et al.  The Expression of Common Concurrency Patterns in Join Java , 2004, PDPTA.

[6]  Patrick Th. Eugster,et al.  Scalable Efficient Composite Event Detection , 2010, COORDINATION.

[7]  Jean-Marc Menaud,et al.  Invasive Patterns for Distributed Programs , 2007, OTM Conferences.

[8]  James H. Anderson.  Lamport on mutual exclusion: 27 years of planting seeds , 2001, PODC '01.

[9]  John Crupi,et al.  Core J2EE Patterns: Best Practices and Design Strategies , 2001 .

[10]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[11]  Isabelle Simplot-Ryl,et al.  Component composition preserving behavioral contracts based on communication traces , 2006, Theor. Comput. Sci..

[12]  Willy Zwaenepoel,et al.  Causal distributed breakpoints , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.

[13]  Andrew S. Tanenbaum,et al.  Distributed systems: Principles and Paradigms , 2001 .

[14]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[15]  Jun Li,et al.  Monitoring and characterization of component-based systems with global causality capture , 2003, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings..

[16]  Isabelle Simplot-Ryl,et al.  Component Composition Preserving Behavioural Contracts Based on Communication Traces , 2005, CIAA.

[17]  Mark S. Ackerman,et al.  A construction set for multimedia applications , 1989, IEEE Software.

[18]  Gregor Hohpe,et al.  Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions , 2003 .