• Langue : Français
• Discipline : Productique, automatique et informatique industrielle
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1991

Résumé en langue originale

Nos premières recherches sur une décomposition en objets des systèmes industriels automatisés ont affirmé l'intérêt de la propagation orientée objet pour la modélisation et la simulation des systèmes de production, tout en soulignant la nécessité et surtout la difficulté d'établir précisément les relations régissant les objets de l'application. L'utilisation d'objets contraintes, pour la modélisation et la simulation des systèmes de production, est la solution que nous proposons pour décrire à la fois le comportement intrinsèque et extrinsèque des objets composant le système. Les notions de contrainte et d'objet contraint ont tout d'abord été définies. Une contrainte décrit une relation parfois complexe, multidirectionnelle sur un ensemble de données (ici un ensemble d'objets). Elle peut être classée suivant différents critères selon qu'elle soit statique ou dynamique, de classe ou d'instance. Une grande partie de ce mémoire est consacrée à l'expression des contraintes et à l'étude des différents méthodes de satisfaction des contraintes. Une nouvelle méthode de satisfaction des contraintes, basée sur l'évaluation des contraintes compte tenu de l'instanciation des variables de l'objet contraint, est décrite dans cette partie. Cette méthode permet de propager les contraintes sur un réseau d'objets contraints afin d'obtenir une résolution globale de toutes les contraintes définies sur un système. Enfin, un aperçu des différents domaines d'utilisation des objets contraints est donné à la fin de cet ouvrage