Complex Events Specification for Properties Validation

Run-time validation of non-functional properties becomes very important to evaluate and keep under control dynamic and evolving systems. Event-driven monitoring is a commonly adopted approach for observing and analyzing that these properties are satisfied. As the events to be observed become more and more complex, a powerful events specification language is needed. In this paper we present a complex events specification language that is included into the Property Meta-Model (PMM). It is intuitive and easy to use and at the same time machine-processable, thus allowing for the automated run-time configuration of a model-driven event-based monitoring system. The PMM complex events specification language combines features of two existing and well-known event specification languages that are GEM and Drools Fusion, and in addition presents new features not included in the considered languages. As a proof of concept we present how the PMM complex events specification language can be used for modeling complex events excerpted from the scenarios of the CONNECT European Project.

[1]  David E. Culler,et al.  The ganglia distributed monitoring system: design, implementation, and experience , 2004, Parallel Comput..

[2]  Francesca Lonetti,et al.  Property-Driven Software Engineering Approach , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[3]  Ehab Al-Shaer,et al.  HiFi: a new monitoring architecture for distributed systems management , 1999, Proceedings. 19th IEEE International Conference on Distributed Computing Systems (Cat. No.99CB37003).

[4]  Sharma Chakravarthy,et al.  Snoop: An Expressive Event Specification Language for Active Databases , 1994, Data Knowl. Eng..

[5]  Antonello Calabrò,et al.  Yet another meta-model to specify non-functional properties , 2011, QASBA '11.

[6]  Alessandro Margara,et al.  TESLA: a formally defined event specification language , 2010, DEBS '10.

[7]  Morris Sloman,et al.  GEM: a generalized event monitoring language for distributed systems , 1997, Distributed Syst. Eng..

[8]  Antonello Calabrò,et al.  GLIMPSE: a generic and flexible monitoring infrastructure , 2011, EWDC '11.

[9]  Antonello Calabrò,et al.  Towards a Model-Driven Infrastructure for Runtime Monitoring , 2011, SERENE.

[10]  Wolfgang Barth,et al.  Nagios: System and Network Monitoring , 2006 .

[11]  Peter R. Pietzuch,et al.  Composite event detection as a generic middleware extension , 2004, IEEE Network.

[12]  James Pustejovsky,et al.  TimeML: Robust Specification of Event and Temporal Expressions in Text , 2003, New Directions in Question Answering.