Nous nous intéressons par le problème de la sémantique des mises à jour et de la cohérence des bases de données dans différents contextes comme les documents XML et les services web. En effet, des difficultés particulières sont à prévoir lors de la mise à jour d'une base ayant des contraintes à respecter, car, des données originalement cohérentes par rapport aux contraintes peuvent devenir incohérentes suite aux mises à jour. Dans une première partie de notre travail, nous considérons la mise à jour et le maintien de la cohérence d'une base de données XML par rapport au type (ou schéma) ainsi que par rapport aux contraintes d'intégrité. Nous abordons ce problème de différentes manières. Tout d'abord, nous proposons une procédure de validation incrémentale par rapport aux contraintes, évitant de revalider les parties du document qui n'ont pas été touchées par les mises à jour. Cette approche traite aussi bien le cas des contraintes de schéma que le cas des contraintes d'intégrité. Dans ce cadre, les listes de mises à jour qui violent la validité sont rejetées. Quand la validation incrémentale échoue, c'est-à-dire, quand une mise à jour viole le type, deux propositions de traitement sont faites\,: (A) Une routine de correction est activée pour adapter le document XML au type tout en prenant en compte la mise à jour. La mise à jour a donc une priorité par rapport aux données déjà stockées. (B) Une routine propose une adaptation du type du document, de façon à accepter le document mis à jour en préservant la validité des autres documents originalement valides et non soumis à la mise à jour. Dans ce cas, la mise à jour est prioritaire et les contraintes peuvent être modifiées. Une deuxième partie du travail considère la construction d'une plate-forme d'aide à la spécification, à l'implémentation et à la manipulation de services. L'idée de pouvoir spécifier et modifier des compositions de services nous a amené à la définition du langage PEWS (\textit{Path Expressions for Web Services}), ayant une sémantique formelle bien définie et permettant la spécification du comportement des interfaces des services web simples ou composés. Pour pouvoir tester statiquement des propriétés liées à la composition des services, nous proposons l'utilisation de la théorie des traces et les graphes de dépendances.

Cette thèse se place dans le cadre de la modélisation et de l'analyse de systèmes parallèles et répartis. Plus précisément, nous nous intéressons à la modélisation, la vérification et la supervision de systèmes, composés d'entités indépendantes interagissant localement par mémoire partagée et globalement par échange asynchrone de messages.<br /><br />Dans ce contexte, plutôt que de modéliser séparément chaque entité, puis d'analyser les comportements qui peuvent se produire lorsque ces entités interagissent, nous fournissons une théorie permettant de modéliser globalement le système considéré tout en conservant des propriétés de vérification et de supervision décidables. Cette théorie se base sur le formalisme des ordres partiels étiquetés (appelés "pomsets").<br /><br />Dans ce but, nous définissons le modèle des HMSC causaux qui étend le formalisme des HMSC en autorisant, comme pour les traces de Mazurkiewicz, certains événements à commuter sur chaque processus. Nous montrons, tout d'abord, qu'une restriction syntaxique des HMSC causaux a le même pouvoir d'expression que les réseaux bornés d'automates mixtes, un modèle qui étend les réseaux d'automates asynchrones de Zielonka et les réseaux d'automates communicants. De plus, nous montrons que les méthodes classiques de model-checking de systèmes séquentiels peuvent s'appliquer aux modèles plus concis basés sur les pomsets, comme les HMSC causaux, sans perte d'efficacité. Enfin, nous proposons des méthodes de traitement efficace d'observations volumineuses d'exécutions réparties, ainsi que des techniques de supervision, telles que le diagnostic ou la corrélation d'événements, qui utilisent des modèles basés sur les pomsets.

Le témoignage oculaire est un élément fondamental de la résolution des enquêtes criminelles. Pour la bonne conduite des enquêtes judiciaires, il apparait primordial d’obtenir des témoignages exhaustifs et exacts. C'est ainsi qu’une équipe de recherche a conçu une méthode basée sur les principes du fonctionnement de la mémoire ayant pour but l’optimisation du recueil des propos du témoin : l’entretien cognitif (Geiselman et al. 1984). Si cette méthode permet d’obtenir des descriptions détaillées sans diminution de la qualité du témoignage, elle est néanmoins marginalement utilisée par les professionnels de la justice. L’objectif de cette thèse est double : il s’agit de proposer une consigne d’entretien qui prend en compte les processus psychologiques en œuvre dans le rappel d’un évènement en mémoire épisodique, et qui soit acceptable du point de vue des pratiques professionnelles. Une première étape a consisté en l’analyse des pratiques professionnelles. L’évaluation d’une formation à l’entretien cognitif auprès d’enquêteurs de police a montré que la méthode est facilement assimilable par les enquêteurs, suggérant que sa non-application sur le terrain ne résiderait pas dans sa difficulté d’utilisation, mais relèverait plutôt de problèmes d’acceptabilité de la part des professionnels. Pour comprendre les objectifs professionnels de l’audition, nous avons ensuite procédé à une analyse des pratiques en termes d’audition. Cette analyse a révélé que les enquêteurs recherchaient de façon prépondérante des informations sur les actions d’une scène criminelle. Sur la base de ces constats, nous avons conçu une consigne dite de reconstitution, qui fait appel aux traces verbatim en mémoire, et vise à apporter des actions générales et spécifiques d’une scène. La consigne a été testée dans un protocole d’entretien et a démontré son efficacité aussi bien quantitative que qualitative, en apportant davantage d’informations correctes sur une scène comparée à d’autres consignes, sans augmentation concomitante du nombre d’erreurs. Il apparait que la consigne de reconstitution répond de façon pertinente au principal objectif d’une enquête de police. / Eyewitness testimony is a fundamental determinant to the resolution of criminal investigations. To conduct criminal investigations effectively, it appears essential to obtain complete and accurate testimony. For this purpose, a research team has developed a method based on the features of human memory, aiming to enhance the eliciting of eyewitness accounts: the cognitive interview (Geiselman et al., 1984). Although this method enables investigators to obtain detailed descriptions without reducing the quality of the testimony, it is still only marginally used by legal professionals. The objective of this thesis is twofold: it aims to provide interviewing instructions which take into account the psychological processes at work in the recalling of events in episodic memory, while simultaneously being acceptable from the standpoint of professional practice. The first step involved conducting an analysis of professional practices. An evaluation of training in cognitive interviewing by police investigators showed that the method is easily learnt and suggests that the lack of implementation in practice does not stem from the difficulties linked to its implementation, but rather arises as a result of a lack of acceptance among professionals. In order to further our understanding of the professional objectives of the hearing, we then conducted an analysis of practices in terms of hearing. This analysis revealed that investigators were essentially seeking out information about the actions which took place during the crime scene. Based on these findings, we designed a re-enactment-alike interviewing instruction, which activates the verbatim traces in memory and is intended to elicit the general and specific actions of a scene. This instruction was tested in an interviewing protocol and demonstrated its quantitative and qualitative effectiveness in providing a greater quantity of correct information compared with other instructions, whilst withstanding a concomitant increase in the number of errors. Re-enactment-alike instruction thus appears highly relevant for reaching the main objective of a police investigation.