Nos travaux de recherche abordent la problématique de la modélisation des processus intra- et inter-organisationnels flexibles à l’aide des versions. En effet, le concept de version est un concept approprié pour prendre en compte les changements que peuvent subir les schémas de processus. On peut ainsi définir une nouvelle version de processus lorsque des modifications significatives doivent être apportées à son schéma. Différentes contributions de l’état de l’art ont abordé le versionnement des processus. Chacune de ces contributions a constitué une avancée pour le versionnement des processus. Mais elles ont en commun de principalement considérer le versionnement de la perspective comportementale des processus, sans étudier les impacts du versionnement sur les perspectives organisationnelles et informationnelles, qui sont pourtant fondamentales dans la définition des processus. De plus, il est également nécessaire lorsqu’on aborde la problématique du versionnement des processus de considérer une autre perspective, la perspective contextuelle, qui permet de modéliser les situations d’utilisation des versions. En outre, ces contributions ne s’appuient pas sur les standards existants et notamment sur BPMN (Business Process Model and Notation) qui est reconnu comme le standard pour la modélisation de schémas de processus. Enfin, ces contributions abordent uniquement la flexibilité des processus intra-organisationnels. Cette thèse a pour objectif de pallier ces deux faiblesses. Plus précisément, elle propose BPMN4V une extension du standard BPMN pour la modélisation de versions de processus tout en considérant les perspectives de modélisation des processus. Ainsi les contributions proposées sont les suivantes. En ce qui concerne la modélisation des versions des processus intra-organisationnels, nous avons introduit BPMN4V-PP (BPMN for Versions of Private Processes), qui est une extension de BPMN pour la modélisation de versions de processus intra-organisationnels, représentées en BPMN par des processus privés. Les aspects statiques et dynamiques du versionnement sont abordés. Puis nous avons étendu BPMN4V-PP pour modéliser le contexte d’utilisation des processus. Cette notion de contexte est importante pour aider le concepteur (i) à définir pourquoi une version de processus a été modélisée et (ii) à sélectionner la version qui convient à une situation particulière. En ce qui concerne la modélisation des versions de processus inter-organisationnels, modélisées comme des collaborations ou des chorégraphies en BPMN, nous avons défini BPMN4V-CC (BPMN for Versions of Collaborations and Choreographies) qui étend BPMN pour la modélisation et la manipulation des versions de collaborations et de chorégraphies. Nous avons aussi défini six patrons d’adaptation qui sont des opérations de haut niveau facilitant la modification des schémas des versions de collaborations. Nous avons également proposé une démarche pour la génération automatique d’une version de chorégraphie à partir d’une version de collaboration. Nous avons finalement implanté ces propositions dans un plug-in Eclipse, appelé BPMN4V-Modeler, permettant d’assister les concepteurs lors de la modélisation des versions de processus selon les méta-modèles BPMN4V-PP et BPMN4VCC. Nous avons évalué nos contributions en mesurant notamment les performances de l’outil BPMN4V-Modeler. / Our research deals with modeling flexible intra and inter-organizational processes using versions. Indeed, the notion of version has been recognized as a key notion to keep track of changes on process schemas. Thus it is possible to define a new process version for each significant modification of its schema. Several contributions addressing process flexibility using versions have been proposed in the literature. Each of these contributions provides solutions for process versioning. However, they mainly focus on the behavioral perspective of processes neglecting the informational and organizational perspectives, which are nevertheless important to have a comprehensive view of processes. Furthermore, the contextual perspective of processes must also be considered to characterize the situations in which versions of processes have to be used. Moreover, the proposed solutions are specific and have no chance to be used by process designers since they do not support standards for process modeling such as BPMN (Business Process Model and Notation). Finally, these contributions focus only on intra- organizational processes. This thesis aims at overcoming these two weaknesses, introducing BPMN4V, an extension of BPMN with versions to address intra and inter-organizational process flexibility. More precisely, the contributions of this thesis are the following. Regarding flexibility of intra-organizational processes, we have introduced BPMN4V-PP (BPMN for Versions of Private Processes) which is an extension of BPMN for modeling versions of intra-organizational processes, modeled in BPMN as private processes, considering both static and dynamic aspects of process versions. BPMN4V takes into account the three main perspectives of business processes, i.e., the behavioral perspective, the informational perspective and the organizational perspective. In order to consider the contextual perspective, we have also proposed another extension to BPMN allowing the definition of versions context. This perspective is fundamental to help process designers in featuring why a process version is defined and in selecting a particular process version according to a concrete situation. Regarding flexibility of inter-organizational processes, modeled as collaborations and choreographies in BPMN, this thesis has recommended BPMN4V-CC (BPMN for Versions of Collaborations and Choreographies) for modeling and handling versions of collaboration. Secondly, it has introduced six new adaptation patterns, which are high-level operations for collaborative process schema update. Then, it has defined a mapping approach for deducing version of choreography from version of collaboration. Finally, we have implemented our contributions in the BPMN4V-Modeler plug-in, which assists process designer in modeling versions of processes according to BPMN4V-PP and BPMN4V-CC. We have evaluated our contributions mainly measuring BPMN4V-Modeler performances.

La plupart des outils existants pour définir des requêtes de sélection de nœuds sur les documents XML présupposent des connaissances techniques de la part de l'utilisateur. L'induction de requêtes supervisée est un moyen d'élaborer des tâches d'extraction d'information sans ces prérequis. Dans un tel système, une interface graphique permet à l'utilisateur d'annoter des documents qui servent d'exemples. Un algorithme d'apprentissage est alors utilisé pour inférer la requête. Dans cette thèse, nous proposons d'utiliser les connaissances fournies par le schéma XML dans les algorithmes d'induction de requêtes basés sur une technique d'inférence grammaticale. En tant que langages réguliers d'arbres, les schémas peuvent être facilement représentés par des automates d'arbres. Leur utilisation dans des algorithmes d'inférence d'automates apparaît donc particulièrement appropriée. Nous en distinguons deux.- La première est de contraindre la requête inférée à être consistante avec le schéma. Pour cela, nous avons mis au point un test d'inclusion efficace dans les automates d'arbres factorisés déterministes, un nouveau modèle d'automates permettant de représenter les DTD de façon compacte.- La seconde est que les informations contenues dans le schéma peuvent être précieuses pour les heuristiques d'élagage, nécessaires en pratique. Nous caractérisons la classe de requêtes apprenables à partir d'un ensemble d'arbres annotés élagués, à savoir les requêtes stables.Nous avons implémenté et testé nos algorithmes d'induction de requêtes guidée par schéma. Les résultats de nos expériences montrent que l'usage du schéma permet d'améliorer l'apprentissage. / Most existing tools for defining node-selecting queries over XML documents require technical skills from the user. Inductive query learning is a way of designing information extraction tasks without any prior knowledge. In such a system, the user annotates some example documents with a graphical interface. A learning algorithm is then used in order to infer the query.In this thesis, we suggest to use the knowledge provided by XML schemas into query induction algorithms based on grammatical inferencetechniques. As regular tree languages, schemas can be easily represented by tree automata. Thus their use is especially appropriate to automata inference algorithms. We distinguish two of them.- The first idea is to constrain inferred queries to be consistent with the schema. For this purpose, we have designed an efficient inclusion test in deterministic factorized tree automata, a model of automata we have defined in order to represent DTDs in a compact manner.- The second idea is that information contained in XML schemas might be useful for tree pruning heuristics, which are necessary in practice. We characterize the class of queries that can be learned from a sample of pruned annotated trees, namely stable queries.We have implemented and tested our schema-guided query induction algorithms. The results of our experiments show that schema-guidance improves the learning process.

La théorie de l’attachement postule que la sécurité du lien à l’autre s’appuie sur des patrons de pensées (« Modèles opérants internes » ou MOIs) qui se développeraient à travers les expériences d’enfance avec un donneur de soin et seraient relativement stables dans le temps (Hesse, 2008). À l’âge adulte, il est possible de solliciter ces représentations à travers une entrevue semi-structurée, l’ « Entrevue d’attachement adulte » (EAA), qui s’analyse avec un système de cotation standardisé incluant plusieurs échelles de mesure. Des liens peuvent être faits entre la théorie de l’attachement, plus particulièrement les MOIs, et la théorie des schémas précoces inadaptés (SPI), postulant l’existence de schémas cognitifs dysfonctionnels se développant dans l’enfance (Young, Klosko & Weishaar (2003)). L’identification de schémas (18) et de « Modes » (10) élaborés dans la théorie peut se faire par questionnaire. Étant donné que les rêves sont constitués de représentations mentales, il est postulé que les représentations d’attachement et les SPI pourraient être repérés dans les récits oniriques, comme le suggèrent certaines études. La présente étude a pour premier objectif de valider deux grilles d’analyse onirique, développées à partir de théories conceptuelles ayant reçu de nombreux appuis empiriques : la théorie de l’attachement (GARO-MOI; (Bowlby, 1969; Ainsworth, Blehar, Waters & Wall, 1978) et la théorie des « Schémas précoces inadaptés » (GARO-SPI; Young et al. 2003)). Le second objectif consiste à explorer la relation entre les états mentaux (veille et sommeil), pour les représentations d’attachement et les schémas précoces inadaptés. Dans le cadre de cette étude, 16 participants (15 femmes, un homme) ont raconté leurs rêves sur un enregistreur numérique durant une période de 14 jours. Ils ont rempli un questionnaire sur les SPI en plus de répondre à l’EAA. Les résultats suggèrent un bon accord inter-juges (de « Modéré » à « Excellent » après révision) pour les sept schémas les plus fréquents dans les rêves pour le personnage principal (« Contrôle de soi et autodiscipline insuffisants », « Échec », « Peur du danger ou de la maladie », « Imperfection/Honte », « Dépendance /Incompétence », « Exigences élevées/Critique excessive » et « Exclusion/Isolement »). L’accord inter-juges pour l’intensité des schémas dans les rêves est « Bon ». Les « Modes » (personnage principal et autres personnages) ainsi que les schémas les plus fréquents pour les autres personnages et leur intensité dans les rêves ont un accord inter-juges variant de « Satisfaisant » à « Pauvre », suggérant une divergence entre les juges quant à leur cotation. La GARO-MOI a un bon accord inter-juges (de « Satisfaisant » à « Excellent ») pour les échelles « Dénigrement », « Manque de rappel », « Cohérence » et « Passivité ». Les échelles « Colère » et « Idéalisation » ont un accord inter-juges « Pauvre » et ont été exclues des analyses. Finalement, des corrélations significatives ainsi que des tendances entre des SPI et des MOIs qui ne sont pas analogues dans les rêves et à l’éveil ont été obtenues, suggérant une relation de compensation entre les états mentaux. Cette idée est discutée et étudiée selon les théories actuelles sur les rêves.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal. / Pour respecter les droits d'auteur, la version électronique de cette thèse ou ce mémoire a été dépouillée, le cas échéant, de ses documents visuels et audio-visuels. La version intégrale de la thèse ou du mémoire a été déposée au Service de la gestion des documents et des archives de l'Université de Montréal.

Le résumé en français n'a pas été communiqué par l'auteur. / Le résumé en anglais n'a pas été communiqué par l'auteur.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal / Pour respecter les droits d'auteur, la version électronique de cette thèse ou ce mémoire a été dépouillée, le cas échéant, de ses documents visuels et audio-visuels. La version intégrale de la thèse ou du mémoire a été déposée au Service de la gestion des documents et des archives de l'Université de Montréal.

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur. / Dans cette thèse nous abordons la conception de nouveaux schémas de type volumes finis pour la résolution de systèmes hyperboliques non-linéaires pour la prédiction des écoulements compressibles instationnaires. Les nouveaux schémas présentés s'appuient tous sur les schémas proposés par Arminjon-Viallon et Arminjon-Stanescu-Viallon en 2 dimensions spatiales qui, eux, furent dérivés du schéma de Nessyahu-Tadmor en une dimension d'espace construit à partir du schéma décalé bien connu de Lax-Friedrichs. Ces schémas peuvent être considérés comme étant tous du type de Godunov et ont pour caractéristique principale d'éviter la résolution des problèmes de Riemann aux interfaces en utilisant 2 maillages différents pour, respectivement, les pas de temps pairs et impairs. Pour éviter la trop grande diffusion amenée par le schéma de Lax-Friedrichs, on a eu recours à l'utilisation d'une technique nommée MUSCL, originalement proposée par van Leer, consistant à reconstruire la solution constante par cellule en une solution linéaire par cellule tout en limitant les oscillations grâce à l'utilisation de fonctions non-linéaires. On obtient tout d'abord une extension en 3 dimensions spatiales sur des maillages cartésiens structurés. Ensuite, nous abordons le cas de maillages non-structurés composés de tétraèdres, et la formulation mathématique du schéma associé à ces cellules. Pour réduire les temps de calcul, un nouveau, schéma de type centré fondé sur celui de Nessyahu-Tadmor mais évitant l'utilisation d'un pas intermédiaire, et composé d'un nouveau flux est proposé en une et 2 dimensions spatiales pour des maillages structurés, puis en 3 dimensions sur des maillages non structurés composés de tétraèdres. Les résultats obtenus démontrent que les nouvelles méthodes sont moins sensibles aux maillages déformés et qu'elles sont plus simples à mettre en œuvre du fait que le problème de Riemann est évité et qu'aucune information sur la décomposition de la discontinuité en les différents champs caractéristiques du système n'est nécessaire.

Les évolutions technologiques ont consacré l'émergence des services web et du stockage des données en ligne, en complément des bases de données traditionnelles. Ces évolutions facilitent l'accès aux données, mais en contrepartie soulèvent de nouvelles problématiques de sécurité. La mise en œuvre de politiques de contrôle d'accès appropriées est une des approches permettant de réduire ces risques. Nous étudions ici les politiques de contrôle d'accès au niveau d'un document XML, politiques que nous modélisons par des vues de sécurité XML (non matérialisées) à l'instar de Fan et al. Ces vues peuvent être représentées facilement par des alignements d'arbres grâce à l'absence d'opérateurs arithmétiques ou de restructuration. Notre objectif est par conséquent d'examiner comment manipuler efficacement ce type de vues, à l'aide des méthodes formelles, et plus particulièrement des techniques de réécriture de requêtes et la théorie des automates d'arbres. Trois directions principales ont orienté nos recherches: nous avons tout d'abord élaboré des algorithmes pour évaluer l'expressivité d'une vue, en fonction des requêtes qui peuvent être exprimées à travers cette vue. Il s'avère que l'on ne peut décider en général si une vue permet d'exprimer une requête particulière, mais cela devient possible lorsque la vue satisfait des hypothèses générales. En second lieu, nous avons considéré les problèmes soulevés par la mises à jour du document à travers une vue. Enfin, nous proposons des solutions pour construire automatiquement un schéma de la vue. En particulier, nous présentons différentes techniques pour représenter de façon approchée l'ensemble des documents au moyen d'une DTD. / The evolution of web technologies and social trends fostered a shift from traditional enterprise databases to web services and online data. While making data more readily available to users, this evolution also raises additional security concerns regarding the privacy of users and more generally the disclosure of sensitive information. The implementation of appropriate access control models is one of the approaches to mitigate the threat. We investigate an access control model based on (non-materialized) XML views, as presented among others by Fan et al. The simplicity of such views, and in particular the absence of arithmetic features and restructuring, facilitates their modelization with tree alignments. Our objective is therefore to investigate how to manipulate efficiently such views, using formal methods, and especially query rewriting and tree automata. Our research follows essentially three directions: we first develop new algorithms to assess the expressivity of views, in terms of determinacy, query rewriting and certain answers. We show that those problems, although undecidable in our most general setting, can be decided under reasonable restrictions. Then we address the problem of handling updates in the security view framework. And last, we investigate the classical issues raised by schemata, focusing on the specific "determinism'' requirements of DTDs and XML Schemata. In particular, we survey some techniques to approximate the set of all possible view documents with a DTD, and we provide new algorithms to check if the content models of a DTD are deterministic.

Dans cette thèse, nous nous intéressons à la discrétisation par des schémas aux différences finies de problèmes faiblement bien posés. Nous donnons de nouvelles définitions qui prennent en compte la perte de régularité apparaissant dans les problèmes faiblement bien posés et nous étendons la condition nécessaire et suffisante de convergence de Lax-Richtmyer. En utilisant la théorie des perturbations et le développement en série de Puiseux, nous calculons le taux de convergence des schémas faisant partie d'une certaine classe. Nous illustrons numériquement nos résultats. Dans un deuxième temps, nous nous intéressons à un cas particulier de problèmes faiblement bien posés: les couches parfaitement adaptées de Bérenger ou PML. Nous donnons des estimations d'énergie pour les équations de Maxwell que nous étendons au schéma de Yee. Enfin, nous étudions le comportement asymptotique en temps de la solution d'une équation PML en utilisant l'approximation de l'optique géométrique.