Introduction aux langages ESTELLE, LOTOS et SDL et essai d'application à la gestion de réseaux - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1999

Introduction aux langages ESTELLE, LOTOS et SDL et essai d'application à la gestion de réseaux

Résumé

La spécification des systèmes informatiques est l'une des étapes les plus importantes du cycle de vie du développement d'un système. Vu les exigences de plus en plus pointues en matière de concurrence, sécurité et conformité, les méthodes de description conventionnelles ne sont plus adaptées. Les méthodes de spécification formelles s'appuient sur des techniques formelles permettant des modélisations précises, rigoureuses et testables. Dans ce rapport, nous présentons les trois langages de spécification formelle normalisés: ESTELLE, LOTOS et SDL. Nous présentons aussi une spécification formelle du modèle gestionnaire-agent en utilisant ces langages.
Fichier principal
Vignette du fichier
99-R-024.pdf (181.31 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00107830 , version 1 (19-10-2006)

Identifiants

  • HAL Id : inria-00107830 , version 1

Citer

Mohammed Ouzzif, André Schaff. Introduction aux langages ESTELLE, LOTOS et SDL et essai d'application à la gestion de réseaux. [Interne] 99-R-024 || ouzzif99a, 1999, 29 p. ⟨inria-00107830⟩
196 Consultations
539 Téléchargements

Partager

Gmail Facebook X LinkedIn More