Les spécificités du secteur de la construction engendrent un contexte de travail coopératif que nous pouvons qualifier d'incertain par nature. L'activité de chantier se caractérise par un mode de production in situ. Dès lors, nombreux sont les dysfonctionnements qui peuvent apparaître. Nous citerons, par exemple, les problèmes liés à la nature du sol, aux intempéries ou encore ceux qui sont propres aux interactions entre les intervenants (ex. fourniture en matériaux, interfaces entre les corps de métier...). Aussi, la coordination repose sur un mélange subtil entre interactions implicites et explicites, où l'organisation prend de multiples configurations (hiérarchique, adhocratique ou transversale), et où la qualité du processus collectif repose sur l'autonomie et le sens des responsabilités de chacun des intervenants. Nous faisons l'hypothèse qu'un tel contexte est largement fondé sur la notion de confiance, car celle-ci a la capacité de réduire la perception du risque et de permettre l'action dans un environnement marqué par de nombreuses incertitudes. En conséquence, nous suggérons un rapprochement entre les outils d'assistance à la coordination et la notion de confiance, et nous proposons une nouvelle approche du pilotage de l'activité collective à partir de la représentation de la confiance. Ce travail de doctorat se structure autour de la notion de «confiance dans le bon déroulement de l'activité». Nous suggérons que celle-ci est dépendante de chacune des dimensions de l'activité collective : sa progression, les acteurs chargés de son exécution, les ouvrages en résultant (et leur difficulté de mise en œuvre), ainsi que les documents nécessaires à sa réalisation. Aussi, notre méthode consiste d'abord en l'identification des divers critères de confiance, consolidés par une étude de terrain. Puis, nous établissons un modèle mathématique destiné à évaluer cette confiance à partir des informations issues d'un contexte de coopération. Sur base de ces éléments, s'en suit la proposition d'un prototype dénommé Bat'iTrust, reposant sur une architecture logicielle multi-vues et orientée services. Pour l'utilisateur, la navigation au sein de ce prototype est guidée par un tableau de bord centré sur le concept de confiance. Enfin, la validation de cette proposition repose sur des enquêtes et une phase d'expérimentation qui nous ont permis de confronter nos résultats à des sujets expérimentaux représentatifs du domaine.

La mondialisation, un paysage international mouvant, l'accélération des échanges, l'apparition de nouveaux marchés, un nouvel environnement sociétal, ... toutes ces tendances induisent une forte interdépendance entre les fonctions (internes et externes à l'entreprise) et conduisent à une approche globale de l'entreprise et de sa chaîne logistique en générant un besoin croissant de réactivité, de flexibilité, d'interconnexion, de communication et de partage d'information. Il s'agit d'intégration fonctionnelle intra et interentreprises, de ré-ingénierie et de pilotage des processus de gestion, de management de la performance globale, etc.<br />Ce besoin d'intégration se fait sentir au niveau de l'entreprise, d'un groupe ou d'une chaîne logistique globale, au travers de projets ERP (Enterprise Resource Planning, Progiciel de Gestion Intégrée) et de projets SCM (Supply Chain Management, Gestion de la Chaîne Logistique Globale, Intégrée ou Etendue). Il se décline en plusieurs problématiques de recherche ou « verrous » tant du point de vue de l'intégration, des systèmes intégrés, des méthodes de modélisation et d'optimisation des systèmes de production que de leurs conditions de pertinence et d'efficacité, de leur mise en œuvre et de leurs usages.<br />Dans contexte, je me suis particulièrement intéressée à rechercher et concevoir des méthodes et outils pour aider et accompagner les entreprises dans leurs démarches d'intégration et d'optimisation de leur pilotage. D'où le titre de ce mémoire : Principes et méthodes pour l'intégration et l'optimisation du pilotage des systèmes de production et des chaînes logistiques. <br />Je développe mes contributions dans les domaines de la gestion et du pilotage des chaînes logistiques et de la conduite de projets d'intégration intra ou interentreprises selon l'articulation suivante :<br />- Analyse des systèmes de production et des chaînes logistiques et optimisation de leur pilotage : approche intégrée d'aide à la décision en ordonnancement et planification, modélisation et optimisation de la traçabilité dans les chaînes logistiques, modélisation et optimisation des processus de pilotage des chaînes logistiques. <br />- Evaluation des projets d'intégration : méthodologies ou référentiels de gestion de projet d'intégration, modélisation d'entreprise pour l'implantation d'ERP, impact des typologies d'entreprise (production de biens – production de services) sur les projets d'intégration, mesure de performance de projets d'intégration, évaluation de l'intégration (mesures, indicateurs...).<br />- Impact de l'intégration et (ou) des systèmes intégrés de gestion sur (ou en interaction avec) le pilotage des chaînes logistiques : contribution des progiciels intégrés (ERP, APS...) à la planification des chaînes logistiques, contribution du partage d'information à la performance des chaînes logistiques et mesure de la collaboration dans les chaînes logistiques.<br />Ces contributions sont positionnées vis-à-vis de l'état d'avancement des travaux dans ces domaines, et des prospectives de recherche sont proposées.

Notre travail s'insère dans la problématique de l'accès à l'information spatiale présente dans des corpus textuels territoriaux. Nous proposons d'aller au-delà des systèmes de recherche d'information classiques basés sur l'analyse statistique des documents, peu adaptés pour ce cas particulier, via un traitement linguistique ciblé interprétant l'information spatiale. Notre hypothèse est que des traitements relativement peu coûteux suffisent à dégager l'essentiel de l'information. Ils sont un bon point de départ pour une interprétation plus poussée par la suite, utilisant les propriétés géographiques de l'information extraite afin de développer un système d'indexation à plusieurs niveaux d'abstraction.<br />Nous proposons en effet une méthode de recherche d'information spatiale multi-niveaux indexant un corpus textuel brut. Cette méthode qui extrait l'information d'un corpus et l'interprète, permet d'améliorer l'efficacité de systèmes de recherche d'information à chaque fois que l'interrogation comporte une connotation spatiale. L'interprétation permet en outre de retrouver le contexte dans lequel l'information spatiale a été utilisée. En particulier, elle permet d'indexer des unités de texte en leur associant des contextes de type itinéraire, description locale ou comparaison de lieux.

La mise en place de systèmes d’information hospitaliers centrés sur les processus de soins est porteuse de qualité des soins, de gestion éclairée des ressources et de productivité. C’est une nécessité qui s’impose à tous les pays quelque soit leur niveau de développement. Une question se pose toutefois : Étant données les différences de contextes financiers, technologiques et humains, faut-il, en Afrique, conduire une stratégie différenciée pour atteindre cet objectif partagé? Le but de notre travail était de mettre en place un modèle adapté au contexte culturel et économique des pays en développement. Notre méthodologie a été basée sur l’adaptation et l’implémentation d’un Open Source. Ces travaux ont permis la réalisation et la validation d’un modèle au Mali que nous avons baptisé Cinz@n. Il a été implémenté et testé à l’hôpital mère enfant de Bamako. Au delà de l’implémentation logicielle, l’accompagnement du changement et la formation, des personnes a été l’objet d’une attention particulière. Les résultats de l’évaluation de la couverture fonctionnelle, de l’ergonomique du système et de satisfaction des utilisateurs sont satisfaisants. 84% des utilisateurs pensent que le système a permis d’améliorer la qualité du travail, 100% des utilisateurs se sont dit prêts à continuer l’expérience. Cette même proportion a recommandé l’extension du système à tous les services de l’hôpital. L’analyse qualitative de la base des données a démontré un suivi rigoureux des consignes d’identification. Nous pouvons conclure que Cinz@n, ayant coûté que près de dix milles euros d’investissement et largement accepté par les utilisateurs peut servir de modèle pour l’Afrique Francophone. / The implementation of hospital information systems focused on care processes has been shown to improve the quality of care, the management of resources, and the productivity. These benefits are necessary in all countries, regardless of their level of development. However, a question does arise: “Given the differences in financial, technological and human contexts, should we, in Africa, undertake a differentiated strategy to achieve these shared goals?”. The aim of our study was to develop a model adapted to the cultural and economical contexts of developing countries. Our methodology was based on the adaptation and implementation of an Open Source software. This work led to the development and validation of a model in Mali named Cinz@n. It has been implemented and tested at the Mother-Child hospital in Bamako. Beyond the software implementation, change management and the training of stakeholders have been the subject of special attention. The results of the evaluation of the functional coverage, the ergonomics of the system and user satisfaction are satisfactory. 84% of users consider that the system has improved the quality of their work, and 100% of users are willing to continue the experiment, also recommending the extension of the system to all hospital departments. The qualitative analysis of the database showed strict usage of the patient identification procedures. We conclude that Cinz@n, with an investment cost of about ten thousand euros, and a wide acceptance by users can be a model for other implementations in French Speaking Africa.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

La sécurité est un élément crucial dans le développement d'un système d'information. On ne peut pas concevoir un système bancaire sans préoccupation sécuritaire. La sensibilité des données d'un système hospitalier nécessite que la sécurité soit la composante majeure d'un tel logiciel. Le contrôle d'accès est un des nombreux aspects de la sécurité. Il permet de définir les conditions de l'exécution d'actions dans un système par un utilisateur. Entre les différentes phases de conception d'une politique de contrôle d'accès et son application effective sur un système déployé, de nombreuses étapes peuvent introduire des erreurs ou des failles non souhaitables. L'utilisation de méthodes formelles est une réponse à ces préoccupations dans le cadre de la modélisation de politiques de contrôle d'accès. L'algèbre de processus EB3 permet une modélisation formelle de systèmes d'information. Son extension EB3SEC a été conçue pour la spécification de politiques de contrôle d'accès. Le langage ASTD, combinaison des statecharts de Harel et des opérateurs de EB3, permet de modéliser graphiquement et formellement un système d'information. Cependant, ces deux méthodes manquent d'outils de vérification et de validation qui permettent de prouver ou de vérifier des propriétés de sécurité indispensables à la validation de politiques de contrôle d'accès. De plus, il est important de pouvoir prouver que l'implémentation d'une politique correspond bien à sa spécification abstraite. Cette thèse définit des règles de traduction de EB3 vers ASTD, d'ASTD vers event-B et vers B. Elle décrit également une architecture formelle exprimée en B d'un filtre de contrôle d'accès pour les systèmes d'information. Cette modélisation en B permet de prouver des propriétés à l'aide du prouveur B ou de vérifier des propriétés avec ProB, un vérificateur de modèles. Enfin, une stratégie de raffinement B pour obtenir une implémentation de ce filtre de contrôle d'accès est présentée. Les raffinements B étant prouvés, l'implémentation correspond donc au modèle initial de la politique de contrôle d'accès / Security is a key aspect in information systems (IS) development. One cannot build a bank IS without security in mind. In medical IS, security is one of the most important features of the software. Access control is one of many security aspects of an IS. It defines permitted or forbidden execution of system's actions by a user. Between the conception of an access control policy and its effective deployment on an IS, several steps can introduce unacceptable errors. Using formal methods may be an answer to reduce errors during the modeling of access control policies. Using the process algebra EB3, one can formally model IS. Its extension, EB3SEC, was created in order to model access control policies. The ASTD notation combines Harel's Statecharts and EB3 operators into a graphical and formal notation that can be used in order to model IS. However, both methods lack tools allowing a designer to prove or verify security properties in order to validate an access control policy. Furthermore, the implementation of an access control policy must correspond to its abstract specification. This thesis defines translation rules from EB3 to ASTD, from ASTD to event-B and from ASTD to B. It also introduces a formal architecture expressed using the B notation in order to enforce a policy over an IS. This modeling of access control policies in B can be used in order to prove properties, thanks to the B prover, but also to verify properties using ProB, a model checker for B. Finally, a refinement strategy for the access control policy into an implementation is proposed. B refinements are proved, this ensures that the implementation corresponds to the initial model of the access control policy

Tous les pays à ex-orientation socialiste, au Sud, à l'Est comme en Asie, qui se sont engagés dans un processus de transition à une économie de marché ont inscrit dans leur programme de transformation, soit spontanément par stratégie délibérée, soit sous l'effet de facteurs exogènes en particulier les exigences des investisseurs étrangers et les conditionnalités des institutions internationales de financement, la réforme du système comptable national.La transition à un système comptable adapté aux exigences de la globalisation, de l'ouverture économique et des transformations structurelles qui en découlent est souvent problématique dans ces pays au sens où ce type de changement induit souvent une démarche politico-législative complexe et de lourdes mesures connexes de mise en place d'un organisme de normalisation comptable, de création des professions de comptable et d'audit, de choix de l'approche de normalisation, de positionnement par rapport aux modèles dominants et de mobilisation de fonds souvent importants.Cette thèse s'intéresse particulièrement à un facteur qui fut souvent négligé mais qui se révèle être d'une importance capitale: la culture. ce travail a pour objectif d'étudier la pertinence de l'harmonisation comptable en Algérie avec le référentiel comptable international. / All countries with a socialist orientation, in the South, in the East and in Asia, which have embarked on a process of transition to a market economy have included in their transformation program, either spontaneously by deliberate strategy, or under the effect of exogenous factors especially the requirements of foreign investors and the conditionalities of international financial institutions, the reform of the national accounting system.The transition to an accounting system adapted to the requirements of globalization, economic openness and the resulting structural transformations is often problematic in these countries in the sense that this type of change often leads to a complex politico-legislative approach and heavy measures. related to the establishment of an accounting standard-setting body, the creation of accounting and auditing professions, the choice of the standardization approach, the positioning of dominant models and the mobilization of often significant funds.This thesis is particularly interested in a factor that has often been neglected but which turns out to be of paramount importance: culture. this work aims to study the relevance of accounting harmonization in Algeria with the international accounting standards.

Le développement d'applications pour l'informatique pervasive présente un certain nombre de défis pour l'ingénierie des logiciels. En particulier, l'adaptation des applications sensibles au contexte : adaptation à l’environnement (localisation, temps, condition, …), à la connectivité (débit, protocole, …), aux limitations de l'appareil (écran, format de média, …) et même à l’utilisateur (handicap physique, capacité, …). Dans ce contexte où le multimédia, la mobilité des utilisateurs et l'ubiquité des applications se généralisent, les fournisseurs de logiciel souhaitent offrir des applications adaptables (sensibles au contexte). Beaucoup d’efforts ont été consacrés à l’assemblage et au réassemblage de composants, ainsi qu’à l’adaptation fonctionnelle par remplacement ou reconfiguration des composants afin de satisfaire le nouveau besoin ou le nouveau contexte. La problématique que nous abordons dans cette thèse est celle de l’hétérogénéité comportementale ou sémantique des composants. L’objectif est de fournir des mécanismes permettant l’adaptation des flux de données multimédia dans des applications basées composants. Pour cela, l’architecture doit être capable de vérifier la possibilité d’assemblage des composants à partir de leurs manifestes (un manifeste doit contenir les informations techniques d’un composant). L’assemblage peut ne pas se faire pour deux raisons : incompatibilité fonctionnelle et/ou comportementale. Notre travail porte sur la deuxième raison, dans le cas où les interfaces d’un composant ne seront pas compatibles avec celles des composants voisins. Par exemple un composant fournit des images de type PNG, alors que l’autre n’accepte que des images JPEG. La mise en évidence de l’interopérabilité des composants dans un assemblage est une nécessité dans de telles approches. En effet, les architectures logicielles valident les aspects fonctionnels, ce qui n’est pas suffisant pour garantir un assemblage réaliste et remédier aux problèmes d’hétérogénéité des flux de données échangés. Nous proposons, pour mettre en évidence l’interopérabilité et permettre de trouver des solutions aux problèmes d’hétérogénéité, une approche basée modèle appelée MMSA (Meta-model for MultiMedia Software Architecture). Elle permet la description d’architectures logicielles exprimant un système logiciel comme une collection de composants qui manipulent différents types et formats de données et qui interagissent par l’intermédiaire de connecteurs d’adaptation. Nous définissons aussi un profil UML 2.0 pour exprimer et modéliser les nouveaux concepts et contraintes du méta modèle MMSA. La transition vers un profil UML est assurée par les mécanismes d'extension fournis par UML 2.0 afin d'améliorer la vérification et la cohérence des architectures décrites en MMSA. Nous proposons pour assurer la cohérence des applications vis à vis des changements du contexte, une plate-forme d’adaptation dynamique. Cette plate-forme surveille et contrôle l’exécution des applications multimédia afin de détecter les changements éventuels du contexte. En cas d’un changement, la plate-forme cherche les solutions possibles et prend la décision adéquate pour l’adaptation de l’application au nouveau contexte. Ensuite, la plate-forme cherche et choisit les services d’adaptation nécessaires afin de les intégrer dans des connecteurs d’adaptation et les réassembler avec les composants métiers de l’application. Afin d’examiner la projection de MMSA en UML 2.0, les contraintes OCL ont été évaluées dynamiquement sur un modèle de système de surveillance. Nous proposons aux architectes logiciels, un outil qui donne la possibilité de vérifier le modèle d’architecture à chaque modification afin d’assurer sa cohérence structurelle et sémantique. Les différents tests et validations effectués sur les modèles d’architecture garantissent parfaitement notre projection. / The development of applications for pervasive computing presents a number of challenges for software engineering. In particular, the adaptation of context-aware applications: adapting to the environment (location, time, condition, etc.), connectivity (bit-rate, protocol, etc.), the limitations of the device (screen size media ...) and even the user (physical handicaps, ability, etc.). The programmer is always faced with a complex combination of factors that occur throughout the application. In this context where the multimedia, the mobility of user and the ubiquitous application generalizes, providers want to offer adaptable software applications (context sensitive). Much effort has been devoted to assembly and reassembly of components, thus to the functional adaptation by replacement or reconfiguration of the components in order to satisfy the new need or the new context. The problem we tackle in this thesis is that of semantic and behavioral heterogeneity of components. The objective is to provide mechanisms for adapting multimedia data flows in applications based components, i.e. ensuring the assembly of heterogeneous components. For this, the architecture must be able to check the possibility of assembling components from the manifest (a manifest must contain the technical information of component). The assembly may not accept for two reasons: functional and/or behavioral incompatibility. Our work focuses on the second reason, in case the interfaces of component will not be compatible with the interfaces of adjacent components. For example, it provides images of PNG type, while the other accepts only JPEG images. The taken into account of components interoperability in an assembly is a necessity in such approaches. Indeed, software architectures validate the functional aspects, which is not sufficient to ensure a realistic assembly and to remedy the problems of heterogeneous of data flow exchanged. We propose to take into account the interoperability and to find solutions to problems of heterogeneity, an approach called model MMSA (Meta-Model for Multimedia Software Architecture). It allows the description of software architectures expressing a software system as a collection of components that handle various data types and formats and which interact through connectors to adaptation. We also define a UML 2.0 profile to express and model the new concepts and constraints of MMSA meta-model. The transition to a UML profile is provided by the extension mechanisms provided by UML 2.0 in order to improve the verification and consistency of architectures described in MMSA. We propose for ensure the coherence of applications aim at screw of changing context, a platform of dynamic adaptations. The dynamic adaptation is the process by which a software application is modified in order to take into account a change, be it level of the environment or the application itself, the platform monitors and controls the execution of multimedia applications to detect any change of context. In the event of a change, the platform seeks the possible solutions and takes the appropriate decision to adapt the application to the new context. Then, the platform seeks and selected the services of adaptation necessary in order to integrate them in connectors of adaptation and reassembled with the business components of application. In order to examine the projection of MMSA in UML 2.0, the OCL constraints were dynamically evaluated on a model of monitoring system. We have proposed to the software architects, a tool which gives the possibility of checking the model of architecture to each modification in order to ensure its structural and semantic coherence. The various tests and validations carried out on the models of architecture guarantee our projection perfectly. This visual model supports the creation and the management of models MMSA for software applications.

Partant du constat que les cartes de bruit actuelles (quantitatives) doivent nécessairement inclure des données qualitatives pour être plus opérantes, ce travail propose d'explorer quelques pistes pour montrer comment on peut représenter les qualités d'une situation sonore urbaine sur une carte. S'appuyant sur les trois caractères fondamentaux de l'espace sonore humain {temporalité, discrétion, métabole), ainsi que sur les principales approches théoriques de la qualité sonore développées à ce jour (les objets sonores, les effets sonores, les notions d'environnement, de milieu et de paysage sonores, les ambiances sonores), il cherche à voir comment une carte des qualités sonores peut être possible. Pour ce faire, il propose de multiples cartes, destinées chacune à aborder certains des problèmes cités précédemment, et réalisées lors de deux étapes de recherche successives (l'une sur support papier et l'autre sur support informatique, SIG). Par un bref retour analytique, il cherche ensuite à voir ce qui a pu être réalisé (introduction du temps sur la carte, multiples aspects qualitatifs traités, etc.), ce qui s'est avéré irréalisable (représentation exhaustive des effets ou des ambiances sonores), ainsi que les limites des systèmes proposés (en particulier en ce qui concerne la répartition spatiale des phénomènes et l'approche sensible des individus). Sur la base de ces expériences, il esquisse alors une première ébauche de ce que pourrait être un cadre théorique et méthodologique global de la représentation des qualités de l'espace sonore humain. Et enfin, il propose quelques nouvelles pistes de recherche susceptibles de faire avancer l'étude de la cartographie sonore qualitative.

Depuis quelques années, l'interopérabilité des applications est devenue le leitmotiv des développeurs et concepteurs en ingénierie système. Cette importance a donné lieu à d'innombrables travaux de recherche avec chacun une définition particulière plus au moins formelle de l'interopérabilité entre applications. La plupart des approches pour l'interopérabilité existant dans l'entreprise ont pour objectif principal l'ajustement et l'adaptation des types et structures de données nécessaire à la mise en œuvre de collaboration entre entreprises. Dans le domaine des entreprises manufacturières, le produit est une composante centrale. Des travaux scientifiques proposent des solutions pour la prise en compte des systèmes d'information issus des produits, tout au long de leur cycle de vie. Mais ces informations sont souvent non corrélées. La gestion des données de produit (PDM) est couramment mise en œuvre pour gérer toute l'information relative aux produits durant tout leur cycle de vie. La modélisation des processus de fabrication et de gestion est largement répandue et appliquée tant aux produits physiques qu'aux services. Cependant, ces modèles sont généralement des "îlots" indépendants ne tenant pas compte de la problématique d'interopérabilité des applications supportant ces modèles. L'objectif de cette thèse est d'étudier cette problématique d'interopérabilité appliquée aux applications utilisées dans l'entreprise manufacturière et de définir un modèle ontologique de la connaissance des entreprises relatives aux produits qu'elles fabriquent, sur la base des données techniques de produits, pour assurer l'interopérabilité des systèmes d'entreprise supports, basés sur un échange d'information centrée sur le produit. Le résultat attendu de ce travail de recherche concerne la formalisation d'une méthodologie d'identification des informations de gestion techniques des produits, sous la forme d'une ontologie, pour l'interopérabilité des applications d'entreprises manufacturières, sur la base des standards existants tels que l'ISO 10303 et l'IEC 62264.