Spécification et conception de systèmes d'information dynamiques : contribution au modèle OLYMPIOS

par Frédéric Piard

Thèse de doctorat en Informatique

Sous la direction de Alain Haurat.

Soutenue en 1994

à Chambéry , en partenariat avec Laboratoire de logiciels pour la productique (Annecy) (laboratoire) .


  • Résumé

    Ce mémoire concerne l'introduction du temps dans un modèle de conception de systèmes d'information et de décision (SID) industriels: OLYMPIOS. Nous présentons en premier lieu l'approche d'OLYMPIOS, à la fois systémique et analytique. Après avoir situé notre modèle par rapport à ses prédécesseurs, nous décrivons l'architecture du SID selon OLYMPIOS. Nous insistons également sur la nécessité de cohérence dès la définition du système, et sur la conservation de cette cohérence. Puis nous présentons en détail les techniques de spécification algébrique que nous utilisons pour définir les données du système et son organisation. Nous abordons ensuite la prise en compte du temps. Différents langages d'expression temporelle sont passés en revue. Cette étude aboutit au choix d'une algèbre de processus synchrone: SCCS-MEIJE. Nous détaillons la syntaxe et la sémantique de cette algèbre, en proposant quelques extensions pour notre domaine d'application. Par la suite, nous expliquons l'utilisation que nous faisons de SCCS-MEIJE dans le cadre d'OLYMPIOS, et nous nous fixons comme objectif de réaliser des preuves sur les processus spécifiés en SCCS-MEIJE. Nous exposons notre approche de la vérification, et en particulier comment nous formons des règles de logique temporelle à partir d'une formule algébrique en SCCS-MEIJE. Notre proposition se termine par le passage des spécifications algébriques à la conception d'une organisation d'objets prenant en compte le temps. Enfin, le mémoire conclut sur un exemple d'application du modèle OLYMPIOS.

  • Titre traduit

    Specification and design of dynamic information systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (184 p.)
  • Annexes : Bibliogr. p. 178-184 (119 réf.)

Où se trouve cette thèse ?

  • Bibliothèque : Université Savoie Mont Blanc (Le Bourget-du-Lac, Savoie). Service commun de la documentation et des bibliothèques universitaires. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Université Savoie Mont Blanc. Bibliothèque du Laboratoire d'informatique, Systèmes, Traitement de l'information et de la connaissance (LISTIC).
  • Non disponible pour le PEB
  • Cote : T L1994/32

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : MF-1994-PIA
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.