Intégration des aspects dynamiques dans le modèle objet

par Hugues Lecoeuche

Thèse de doctorat en Informatique

Sous la direction de Jean-Louis Sourrouille.


  • Résumé

    Le monde industriel est en quête de solutions pour rationaliser la production de logiciels de qualité. L'approche objet a introduit des concepts prometteurs. L'apparent manque de maturité des «technologies objet» n'est en réalité dû qu'aux défauts de jeunesse des méthodes les supportant, en particulier à leur incapacité à couvrir les aspects dynamiques. L'objectif de ce travail est de renforcer la qualité des applications conçues à l'aide de méthodes de développement orientées objet, et écrites dans des langages de programmation orientés objet courants. Ses résultats s'appliquent de la phase d'analyse du logiciel jusqu'à son implémentation. Nous définissons une notion d'état qui s'intègre dans le modèle objet et permet d'accroître la puissance d'expression des langages grâce à une extension de leur syntaxe. Les contraintes spécifiques de la notion d'état permettent de contrôler statiquement la validité des modèles issus de la phase d'analyse. Un formalisme adapté à la représentation des états dans les modèles dynamiques les plus fréquemment utilisés a été défini. Les extensions apportées aux langages permettent d'exprimer directement ces modèles. Un préprocesseur traduit ces enrichissements en instructions qui surveillent dynamiquement l'évolution du comportement des objets. L'intérêt de cette démarche est de contrôler et de faciliter le passage d'une analyse en terme d'objets et d'états à une implémentation fidèle grâce à un mécanisme de traduction/transformation automatique. Les bénéfices de la programmation par états dans le cadre de la programmation concurrente sont ensuite présentés. La mise en pratique de la solution proposée repose sur des outils et une approche méthodologique supportés par un « A. G. L. Objet» qui aident les concepteurs dans la fabrication de logiciels industriels sûrs et de qualité.

  • Titre traduit

    = Integration of the dynamics aspects in the object oriented model.


  • Résumé

    Industrial world looks for technical solutions aiming to rationalize the production of quality software and the object oriented approach has introduced promising concepts. The apparent lack of maturity of the object oriented technologies is only due to the youth of the development methods that support them. In particular their inability to cover the dynamic aspects. The purpose of this work is to reinforce the quality of the applications developed using object oriented development methods and written using classical object oriented programming languages. The results of the work are applicable from the analysis stage to the development one. We define a state notion that is integrated in the object model and gives the opportunity to increase the expressive power of the programming languages by way of a syntactical extension. The specific constraints of the state notion allows a static control of the consistency of the models built during analysis stage. A formalism adapted to the most frequently used dynamic models has been defined in order to represent states. The extensions of the programming languages give the opportunity to directly express these models. A pre-processor translates the enrichments into source code which dynamically checks the evolution of the object's behaviour. The interest of this approach is to control and ease the transition from an object oriented analysis to a faithful implementation by way of an automatic translation/transformation mechanism. The advantages to apply the state programming to the concurrent programming are also exhibited. The practical use of the proposed solution relies on tools and a methodological approach, supported by an « Object Oriented CASE Tool » which assists the users in producing reliable and quality software.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (253 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr.

Où se trouve cette thèse ?

  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : C.83(1699)
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.