Skip to Main content Skip to Navigation
Theses

LesSystème CESAR : description, spécification et analyse des applications réparties

Résumé : Le système CESAR proposé dans cette thèse est un système d'aide à la conception des applications reparties. Il permet de décrire l'application étudiée dans un langage algorithmique en termes de processus communiquant par rendez-vous; de spécifier les propriétés de comportement souhaitées au moyen d'une logique temporelle. Le modèle sur lequel ces formules sont analysées est un réseau de Petri interprété généré automatiquement à partir de la description fournie. L'analyse repose sur une évaluation des opérateurs temporels comme points fixes de transformateurs de prédicats sur l'espace d'états du modèle.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00305292
Contributor : Thèses Imag <>
Submitted on : Wednesday, July 23, 2008 - 4:42:01 PM
Last modification on : Friday, November 6, 2020 - 3:54:01 AM
Long-term archiving on: : Friday, November 25, 2016 - 11:28:56 PM

Identifiers

  • HAL Id : tel-00305292, version 1

Collections

Citation

Jean-Pierre Queille. LesSystème CESAR : description, spécification et analyse des applications réparties. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1982. Français. ⟨tel-00305292⟩

Share

Metrics

Record views

174

Files downloads

211