Les sgbd orientes objets integrent les concepts des langages a objets et les mécanismes des sgbd. Ces propriétés les rendent bien adaptes au développement de systèmes d'applications regroupant plusieurs applications interactives opérant sur des données persistantes partagées (si, agl...). L'état de l'art développe porte sur la programmation, les bases de données et les interfaces homme-machine et montre qu'il existe différentes techniques spécifiques adaptées au développement de certaines parties de ces applications. Cependant, aucune methode de conception actuelle ne prend en compte la conception complète et détaillée d'un système d'applications et le concepteur est insuffisamment guide pour programmer une application a l'aide d'un sgbdoo. Notre methode mosaic permet de développer un système d'applications programme a l'aide d'un sgbdoo. Notre approche consiste a privilégier une décomposition dirigée par les objets au détriment de l'habituelle séparation entre la base de données et les programmes d'application. Ainsi une application comporte deux composants principaux. Le corps de l'application est constitue d'objets applicatifs, modèles du domaine d'application, et le gestionnaire de dialogue de l'application est compose d'objets interactifs, modèles du dialogue. Les objets applicatifs, persistants ou temporaires, sont a la fois des modules logiciels et des conteneurs de données potentiellement persistantes ou temporaires. Les objets interactifs regroupent les informations et les actions présentées a l'utilisateur et assurent leur cohérence. Un système d'applications est compose d'une base d'objets applicatifs persistants et d'applications. Le modelé mosaic permet d'étudier les dimensions structurelles, fonctionnelles et dynamiques des objets et du système d'applications dans sa globalité. Des langages textuels et graphiques, un outil, une démarche et des regles de traduction de mosaic vers le langage peplom et vers le sgbdoo o2 complètent ce modèle. Nos propositions sont illustrées par un exemple d'application programme a l'aide d'o2

Les spécifications formelles et la modélisation par objets sont considérés comme deux champs ayant un fort potentiel d'influence sur l'avenir du génie logiciel. Dans un premier temps, nous étudions cette affirmation en dégageant les caractéristiques essentielles du développement du logiciel. L'intersection des deux champs est un domaine nouveau et prometteur. Nous en étudions les différents variantes et nous synthétisons les choix faits dans les méthodes formelles à objets actuelles. Dans ce contexte, cette thèse propose une méthode de spécification et de conception de composants logiciels destinée à faciliter la formalisation, automatiser partiellement le processus de conception, permettre le contrôle et la réutilisation des classes avant implantation. L'accent est mis sur la séparation entre les niveaux de description pour clarifier le processus de conception et sur l'uniformisation à l'intérieur des niveaux de description pour assurer la cohérence. Deux modèles sont décrits. Le premier modèle, dit des types abstraits graphiques, définit les composants suivant un axe dynamique et suivant un axe fonctionnel. La modélisation dynamique, naturelle pour des objets est donnée en termes d'automates d'états finis gardés. Outre sa lisibilité, le modèle dynamique a pour intérêt majeur la construction guidée de spécifications algébriques, support de l'axe fonctionnel. Le second modèle, dit des classes formelles, est un modèle général, formel et abstrait pour la conception à objets. Basé sur les types abstraits algébriques, il permet le raisonnement abstrait et ma mise en oeuvre dans différents langages de programmation à objets. Les modèles présentés sont indépendants et sont adaptables dans d'autres méthodes de développement. Nous proposons une méthode de transition entre ces deux modèles, qui favorise le contrôle et la réutilisation des spécifications. Plusieurs outils d'écriture et de preuve sont communs aux deux modèles et nous insistons sur l'ouverture vers d'autres environnements de spécification.

.