Contribution to the study of the software process: knowledge-based assistance and software object modeling
Contribution à l'étude du processus de développement de logiciels : eassistance à base de connaissance et modélisation des objets logiciels
Résumé
Not available
Le travail présenté dans cette thèse s'inscrit dans le cadre de l'étude du processus de développement de logiciels selon deux aspects: 1) l'un concerne l'assistance a base de connaissance au développement. Une telle assistance repose sur une modélisation du processus de développement de logiciels. Le système UPSSA (using pre-postconditions for simulating software assistant) est une proposition d'intégration d'un outil d'assistance intelligente fonde sur les principes des systèmes à base de connaissances dans un environnement de génie logiciel. En outre, ce système s'appuie sur le paradigme des générateurs de plans d'actions pour déclencher, durant une session de travail d'un développeur, une séquence d'actions permettant de maintenir le logiciel en cours de développement dans un état cohérent; 2) l'autre est relatif à la modélisation des objets logiciels. Contrairement aux applications classiques, les données manipulées dans un projet de génie logiciel sont de type variés et inhabituels. Pour prendre en compte les besoins de structuration des objets dans un environnement de génie logiciel, nous proposons un modèle, appelé modèle objet-relation (MOR), qui combine des caractéristiques des modèles orientes objets et des modèles de données sémantiques. Nous présentons ses aspects formels et un langage de spécification d'un schéma objet-relation ainsi que quelques indications pour guider un utilisateur dans la conception d'un tel schéma. Puis, nous décrivons la représentation du concept de relation dans le système à objets ceyxle-lisp