Recherche Avancée

Thèse soutenue

L'information industrielle : définition et spécification

FR  |  
EN
Auteur / Autrice : Daniel Beauchêne
Direction : Alain Haurat
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1993
Etablissement(s) : Chambéry
Partenaire(s) de recherche : Laboratoire : Laboratoire de logiciels pour la productique (Annecy19..-2002)

Résumé

FR

Les travaux présentés dans cette thèse portent sur la définition et la spécification de l'information que nous qualifions industrielle. Nous présentons d'abord diverses visions de l'entreprise et quelques modèles issus de ces vues. Le modèle OLYMPIOS permet, quant à lui, de prendre en compte une vue fonctionnelle et structurelle, une vue managériale et une vue comportementale de l'entreprise. Nous donnons ensuite notre définition de l'information industrielle en distinguant quatre facettes de cette information: 1) une facette informatique regroupe la donnée (nom, domaine de valeurs, formats de représentation) et la signification fonctionnelle; 2) une facette organisationnelle décrit l'information dans son contexte. Nous distinguons l'organisation fonctionnelle qui se traduit par la notion de domaine de visibilité d'un exploitant et une organisation par les relations fournisseur-utilisateur en vue de satisfaire un objectif; 3) une facette temporelle situe l'information dans les divers horizons temporels de l'entreprise; 4) une facette économique n'est pas développée dans ces travaux. Nous présentons alors la place de la spécification, étape fondamentale du cycle de vie du système d'information et décrivons quelques méthodes de spécification pour justifier l'utilisation des spécifications algébriques de types abstraits de donnée pour spécifier l'information industrielle. Nous spécifions ensuite la facette informatique à l'aide de spécifications algébriques de types abstraits de données. Pour ce faire, nous construisons d'abord un automate d'états finis représentant l'information et nous donnons une méthode permettant de passer de celui-ci à une spécification algébrique en garantissant les propriétés de suffisante complétude et de consistance de la spécification. Dans le chapitre suivant, nous spécifions l'organisation telle qu'elle peut être représentée par le modèle OLYMPIOS en construisant la spécification algébrique d'un système d'information fournisseur-utilisateur, atome d'organisation de ce modèle. Enfin, nous présentons un exemple de spécification des informations industrielles pour le responsable de l'administration des ventes d'un équipementier de l'industrie automobile.