Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Article Dans Une Revue Journal of Universal Computer Science Année : 2020

Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors

Résumé

The overall context of this paper is the event-based behavior analysis and focuses on modeling and analyzing behaviors of interest involving time information. Any behavior of interest from any time event system is concisely defined as a set of time constrained events that must occur (positive behavior) and a set of time constrained events that must not occur (negative behavior). This article proposes a formal extension of the chronicle formalism that allows for the concise description of positive and negative behaviors. Based on this new formalism, several criteria are introduced, they formally characterize and compare a set of chronicles. A fully proved implementation of the proposed criteria is then described; it relies on the use of polyhedron techniques to solve systems of linear inequalities.
Fichier principal
Vignette du fichier
JUCS_HAL.pdf (358.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02862863 , version 1 (09-06-2020)

Identifiants

  • HAL Id : hal-02862863 , version 1

Citer

Yannick Pencolé, Audine Subias. Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors. Journal of Universal Computer Science, 2020, 26 (2), pp.268 - 292. ⟨hal-02862863⟩
29 Consultations
7 Téléchargements

Partager

Gmail Facebook X LinkedIn More