Definition d'une approche orientee-objet de la specification algebrique de systeme informatique

par CAROLE KHOURY

Thèse de doctorat en Sciences et techniques

Sous la direction de Marie-Claude Gaudel.

Soutenue en 1999

à Paris 11 .

    mots clés mots clés


  • Résumé

    Cette these definie une formalisme, oo-as-is, pour la specification de systeme reactif oriente objet base sur les specifications algebriques. La specification algebrique des types de donnees se fait en utilisant les langages de specifications algebriques traditionnels et est independante de la specification d'une classe. La notion des acces rend possible la description de comportements ou une memoire interne evolue, sans decider, au niveau de la specification, ce qui doit etre en registre et ce qui doit etre calcule. Oo-as-is nous permet de decrire une classe comme un modele pour les objets instances de cette classe. A la specification d'une classe est associee une classe d'algebres representant l'ensemble des etats possibles de la classe. Un objet possede une identite unique, un etat encapsule et peut etre cree/supprime dynamiquement. L'etat d'un objet peut etre observe et modifie par des acces ou des modifications. Les identites des objets sont des sortes comme les autres. Ceci nous permet de decrire des structures de donnees d'objets. On peut specifier en oo-as-is plusieurs types de systemes. Un systeme peut etre un objet reactif ou un objet non reactif. Un objet reactif possede en plus des acces et des modificateurs, des signaux d'entree et de sortie, et reagit en recevant des signaux, en modifiant son etat et la valeur des signaux de sortie, et en les emettant. Un objet peut utiliser d'autres objets reactifs ou non. Des liens existent entre les signaux des objets reactifs utilises et meme des relations peuvent exister entre tous les objets utilises. La modification de l'etat d'un objet reactif peut se faire par une reaction aux signaux d'entree ou par l'invocation d'un modificateur. Ceci nous permet de specifier des systemes sur lesquelles on peut agir de differentes maniere.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 176 p.
  • Annexes : 52 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-014220
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.