Génération de code de protocole de communication par système expert / Jean-Pierre Launay ; sous la direction de Michel Gondran

Date :

Format : 1 vol. (280 p.)

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Intelligence artificielle

Langages formels

Systèmes experts (informatique)

Gondran, Michel (1944-....) (Directeur de thèse / thesis advisor)

Université Paris Dauphine-PSL (1968-....) (Organisme de soutenance / degree-grantor)

Relation : Génération de code de protocole de communication par système expert / Jean-Pierre Launay ; sous la direction de Michel Gondran / , 1995

Résumé / Abstract : Les documents de spécification de protocoles de communication sont principalement écrits en langage naturel (norme OSI ou RFC internet). L'élaboration de langages formels intermédiaires (techniques formelles de description) a permis de structurer le cycle de développement de logiciel associé : à partir d'une spécification du protocole ayant été réécrite dans un tel langage, il est possible de générer automatiquement du code. Cependant, on connait peu de choses sur le processus (manuel) de reformulation du document initial vers une telle spécification formelle, et par voie de conséquence, il est difficile d'avoir la conviction de l'équivalence entre les deux niveaux de description. L'objectif de la thèse est de définir un langage formel intégrant différents types de représentations, et qui soit plus proche du langage naturel employé par le spécificateur, de sorte que l'on puisse qualifier de traduction le passage entre les deux niveaux de description