Complex Events Specification for Properties Validation

Abstract : 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 machineprocessable, 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-00728548
Contributor : Francesca Lonetti <>
Submitted on : Thursday, September 6, 2012 - 2:04:21 PM
Last modification on : Tuesday, July 31, 2018 - 4:58:01 PM
Long-term archiving on : Friday, December 7, 2012 - 3:42:16 AM

File

quatic2012_submission_117.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00728548, version 1

Collections

Citation

Antonia Bertolino, Antinisca Di Marco, Francesca Lonetti. Complex Events Specification for Properties Validation. 8th International Conference on the Quality of Information and Communications Technology, Sep 2012, Lisbon, Portugal. ⟨hal-00728548⟩

Share

Metrics

Record views

140

Files downloads

146