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

Overview & Synopsis

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.