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

Mohammed Ouzzif André Schaff 1
1 RESEDAS - Software Tools for Telecommunications and Distributed Systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Type de document :
Rapport
[Interne] 99-R-024 || ouzzif99a, 1999, 29 p
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00107830
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:11:13
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 12:45:27

Fichier

Identifiants

  • HAL Id : inria-00107830, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

268

Téléchargements de fichiers

306