JUCS - Journal of Universal Computer Science 26(2): 268-292, doi: 10.3897/jucs.2020.015
Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors
Yannick Pencolé‡,
Audine Subias§ ‡ LAAS-CNRS, Université de Toulouse, CNRS, France§ LAAS-CNRS, Université de Toulouse, CNRS, Toulouse, France
Corresponding author:
Yannick Pencolé
(
pencole@laas.fr
)
© Yannick Pencolé, Audine Subias. This is an open access article distributed under the terms of the Creative Commons Attribution License (CC BY-ND 4.0). This license allows reusers to copy and distribute the material in any medium or format in unadapted form only, and only so long as attribution is given to the creator. The license allows for commercial use. Citation:
Pencolé Y, Subias A (2020) Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors. JUCS - Journal of Universal Computer Science 26(2): 268-292. https://doi.org/10.3897/jucs.2020.015 | |
AbstractThe 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.
Keywordsbehavior analysis, negative behavior, chronicle, simple temporal problem, polyhedron