Complex Events Specification for Properties Validation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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 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.
Fichier principal
Vignette du fichier
quatic2012_submission_117.pdf (313.05 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00728548 , version 1 (06-09-2012)


  • HAL Id : hal-00728548 , version 1


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⟩


88 View
266 Download


Gmail Facebook X LinkedIn More