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 Access content directly
Reports Year : 1999

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

Abstract

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 and versions

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

Identifiers

  • HAL Id : inria-00107830 , version 1

Cite

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⟩
193 View
526 Download

Share

Gmail Facebook Twitter LinkedIn More