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

• Auteur / Autrice : CAROLE KHOURY
• Direction : Marie-Claude Gaudel
• Type : Thèse de doctorat
• Discipline(s) : Sciences et techniques
• Date : Soutenance en 1999
• Etablissement(s) : Paris 11

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.