Specifying historical Consequence and Postponed Effect Properties in Real-Time Systems

Leila Jemni 1 Jacques Jaray 1 Ahmed Mahjoub
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, we introduce a new formalism based on interval temporal logic for reasoning about actions which take into consideration duration constraints. It includes two new concepts: postponed effect and historical consequence. The first one allows to specify a behavior in which a reaction not only depends on the time at which an action occurs but also on duration properties that means holding on states contained in certain time interval. In this case, the execution of the reaction will be postponed until a duration is satisfied. The second specify properties that depend on the current state of the system and also on past states and previously executed actions. It defines the relationship between system behavior in the future and its history.
Mots-clés : spécification formelle postponed effect formal specification historical consequence conséquence historique effet differé
Type de document :
Communication dans un congrès
IASTED International Conference in Modelling, Identification & Control, 1999, Innsbruck, Austria, 4 p, 1999
Liste complète des métadonnées
https://hal.inria.fr/inria-00098799
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:38:42
Dernière modification le : mardi 24 avril 2018 - 13:34:55

Identifiants

  • HAL Id : inria-00098799, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

Leila Jemni, Jacques Jaray, Ahmed Mahjoub. Specifying historical Consequence and Postponed Effect Properties in Real-Time Systems. IASTED International Conference in Modelling, Identification & Control, 1999, Innsbruck, Austria, 4 p, 1999. 〈inria-00098799〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

156

Contact


archive-ouverte@inria.fr