De nos jours, les entreprises sont de plus en plus étendues et faisant collaborer plusieurs organisations pour la réalisation composée d'un objectif global. Des phénomènes tels que le commerce électronique et l'Internet stimulent en effet la coopération entre les organisations, donnant lieu a des processus métier inter-entreprises. Dans cette thèse de doctorat, nous proposons une approche ascendante pour vérifier l’interaction correcte entre des processus répartis sur un certain nombre d'organisations. Le modèle du système global étant indisponible, une approche d'analyse descendante est tout simplement impossible. Nous considérons deux critères de correction des processus métier inter-entreprises composés de deux (ou plusieurs) processus métier qui communiquent de manière synchrone et/ou asynchrone et/ou partageant des ressources. Le premier critère est générique et est exprimé par la propriété de soundness (robustesse), et certaines de ses variantes. Le deuxième critère est spécifique et peut être exprimé avec n'importe quelle formule de la logique temporelle linéaire. Chaque composante du processus global rend publique un modèle abstrait, représenté par un graphe appelé Graphe d'Observation Symbolique (GOS), permettant à la fois de préserver la confidentialité du processus local, la vérification de sa correction et de celle du processus global par composition de GOSs. Nous avons revisité et adapté le GOS afin de réduire la vérification du modèle composite à la vérification de la composition des abstractions des ses composants (leurs GOSs). Nous avons implémenté notre approche de vérification, basée sur le GOS, aussi bien pour les propriétés génériques que pour les propriétés spécifiques (LTL), et nous avons comparé les résultats obtenus avec ceux d'outils connus dans le domaine. Les résultats obtenus sont encourageants au vu du temps d’exécution et de l'espace mémoire consommés par notre technique. Ceci renforce notre conviction que le GOS est une structure appropriée pour l'abstraction et la vérification de processus métiers, en particulier lorsque ceux-ci sont faiblement couplés. / Today's corporations often must operate across organizational boundaries. Phenomena such as electronic commerce, extended enterprises, and the Internet stimulate cooperation between organizations. We propose a bottom-up approach to check the correct interaction between business processes distributed over a number of organizations. The whole system's model being unavailable, an up-down analysis approach is simply not feasible. We consider two correctness criteria of Inter-Enterprise Business Processes (IEBP) composed by two (or more) business processes communicating either synchronously or asynchronously and sharing resources : a generic one expressed with the well known soundness property (and some of its variants), and a specic one expressed with any linear time temporal logic formula. Each part of the whole organization exposes its abstract model, represented by a Symbolic Observation Graph (SOG), in order to allow the collaboration with possible partners. We revisited and adapted the SOG in order to reduce the verification of the entire composite model to the verification of the composition of the SOG-based abstractions. We implemented our verification algorithms, aiming at checking both specic and generic properties using SOGs, and compared our approach to some well known verification tools. The experimental results are encouraging in terms of both the construction time and the size of the abstraction's size. This strengthen our belief that the SOGs are suitable to abstract and to compose business processes especially when these are loosely coupled.

Cette thèse étudie un groupe professionnel méconnu et qui peine à se faire reconnaître : les accompagnateurs en moyenne montagne. L'analyse de la construction historique du champ des métiers de montagne dans une première partie permet de mieux saisir son fonctionnement, les luttes qui l'animent et les conséquences sur les agents qui le constituent. Positionné à l'ombre des guides de haute montagne, le métier d'accompagnateur se situe dans une position peu valorisée. Métier précaire et saisonnier, il se situe par ailleurs également " aux marges du travail ". À partir d'une enquête mobilisant conjointement un questionnaire (n=471) et des entretiens (n=32), la thèse s'intéresse aux caractéristiques sociales et aux trajectoires des individus qui investissent ce métier particulier, et analyse leurs rapports au travail et leur mode de vie. Une seconde partie porte sur les dispositions à l'engagement dans un métier marqué par la précarité, mais qui offre également une certaine qualité de vie. Elle compare les trajectoires des hommes et des femmes afin de mieux saisir pourquoi ce métier peu valorisé dans le champ des métiers de montagne reste largement masculinisé. Enfin, la troisième et dernière partie se centre sur les rapports au métier des enquêtés. Le métier se caractérise par une multitude de modalités d'exercice, différemment investies en fonction de l'appétence et des compétences des accompagnateurs pour la commercialisation de leur offre. Les accompagnateurs, qui s'inscrivent majoritairement dans un style de vie alternatif, emploient différentes stratégies afin de vivre d'une activité marquée par des difficultés économiques. Dans cette situation, si les modalités d'exercice du métier ne différencient pas fondamentalement les femmes des hommes, les modes d'articulation entre sphères professionnelle et domestique révèlent la permanence des rapports sociaux de sexe. / This thesis studies an underestimated professional group that finds it hard to be recognized, the mountain hiking guides. In the first part, the analysis of the historical construction of the mountain jobs field enables one to understand its functioning better, together with the inner conflicts that prompt it and the consequences on the agents that constitute it. In the shade of the mountain guides, the hiking guide job occupies a position of minor standing. Precariousand seasonal, the job is also held " in the margins of the work ". From a survey combining jointly a questionnaire (n=471) with a number of interviews (n=32), the thesis takes a keen interest in the social characteristics and in the trajectories of the persons who choose this particular job, thus analysing their relations to the work as well as their way of life. The second part deals with the dispositions to the commitment in a job largely acknowledged as precaious but that also offers a kind of quality of life. It compares the trajectories of men and women in order to get to know why this undervalued job in the mountain jobs field remains largely masculinized. Finally, the third and last part focuses on the interviewees' relations to the job. This job is characterized by a great number of modalities of exercise, but differently invested according to the hiking guides' taste and abilities concerning the marketing of their offers. A great majority of the hiking guides undertaking an alternate way of life, they use different strategies so as to be able to earn their living thanks to a professional activity marked by economical difficulties. In this situation, if the modalities of exercise of the job don't permit to differentiate women from men radically, the modes of articulation between the professional and the domestic spheres reveal the permanency of the social relationships of sexes.

Les Systèmes d'Information (SI) de même domaine d'activité gèrent de nombreux concepts similaires. Ces concepts peuvent être analysés et généralisés dans des abstractions informatiques qui seront réutilisées lors de nouveaux développements. De telles abstractions sont appelées Composants Métier (CM). Cependant, il est souvent difficile d'expliciter des critères clairs de réutilisation, en particulier la manière dont on peut identifier, spécifier, organiser et en grande partie automatiser la réutilisation de ces CM. Les contributions de cette thèse adressent cette problématique et s'articulent autour de trois principaux résultats. La première contribution concerne un modèle de CM de nature processus appelé « CMP ». Ce modèle est centré sur les propriétés fonctionnelles des composants. L'accent est mis sur la complétude et la variabilité de la solution exprimée sous la forme de quatre vues complémentaires intégrant des points de variation. Le travail réalisé sur les mécanismes de spécification de la variabilité a abouti à un profil UML pouvant être utilisé pour modéliser non seulement des processus réutilisables mais aussi des processus flexibles. Une deuxième contribution s'inscrit dans le cadre de la proposition d'un processus permettant la spécification d'un CMP selon le modèle proposé. Dans ce processus, nous définissons un ensemble de règles de construction, de traduction et de cohérence qui assurent la traçabilité des artefacts produits tout au long du cycle de développement. Une troisième contribution concerne la proposition de directives qui assistent l'ingénieur de SI lors de la réutilisation de CMP. L'accent est particulièrement mis sur la proposition d'un formalisme de documentation et de classification de CMP validé dans le cadre d'un environnement de stockage de composants. Nous proposons également un processus d'imitation intégré à la méthode de développement Symphony et permettant de tirer partie de la spécification d'un CMP lors de la conception d'un SI. L'ensemble des propositions est accompagné d'outils et d'expérimentations utilisateurs servant de supports de validation et de mise en œuvre des travaux réalisés.

Le croisement de concepts issus de la gestion des processus métier, des normes et standards qualité et de l'interopérabilité nous a permis de nous intéresser à l'organisation et l'intégration des processus métier d'entreprise, pour proposer une démarche de mise en place d'un référentiel qualité multi-vues.<br />Le but de notre travail est de montrer comment intégrer les processus métier d'une entreprise à l'aide d'un référentiel commun offrant différents points de vue. Cette démarche généralisable est appliquée à l'intégration de deux standards de qualité, ISO 9001v2000 et Capability Maturity Model Integration (CMMI), afin de générer un référentiel qualité multi\--vues permettant une certification relative aux deux normes. Ce référentiel prend en compte les chapitres imposés par ISO et les recommandations de CMMI. Dans le cadre de l'implémentation du référentiel, nous nous sommes intéressés à la définition d'une méthodologie d'estimation des délais et charges des projets informatiques afin de rationaliser ce processus critique pour l'entreprise. La mise en place de ce référentiel qualité s'accompagne de la définition d'une démarche assurant l'interopérabilité des processus définis avec ceux des clients et/ou partenaires.<br />Une méthodologie d'audit projet, un référentiel documentaire et un référentiel des compétences viennent compléter le travail déjà réalisé afin d'assurer l'implémentation et le respect du référentiel qualité.

Cette thèse a été réalisée dans le cadre du projet " Gestion et Optimisation de la Chaîne Documentaire ", projet labellisé par le Pôle de compétitivité des Industries du Commerce. Le projet a pour but de concevoir et de développer un nouveau workflow et un outil d'aide à la décision. Ce système doit être capable de gérer et d'optimiser le flux complet dématérialisé de contrats reçus à COFIDIS.Nous présentons d'abord le framework retenu dans le cadre du projet pour modéliser et implémenter le workflow. En phase de conception BPMN a été choisi. Pour la partie développement, l'utilisation de BPEL a été préconisée pour implémenter et exécuter l'application finale (services web).Cependant la flexibilité offerte par BPMN peut conduire à des propriétés indésirables du processus telles que blocage et inaccessibilité. De plus, BPMN a été conçu pour fournir des modèles Orientés Process. Les données ou les ressources y sont donc peu représentées. En conséquence, l'analyse de performance sur un modèle BPMN est quasi inexistante.Afin de surmonter ces problèmes nous proposons d'insérer dans le framework deux nouvelles phases. Ces deux phases sont appliquées au modèle BPMN. La première est une phase de vérification et de validation et la deuxième une phase d'optimisation. Ces deux phases sont réalisées en transformant le modèle BPMN vers un langage formel. Notre choix dans ce travail a été d'utiliser les réseaux de Petri. Ce qui nous a permis de vérifier et de valider de bonnes propriétés du process. Quant à l'optimisation, nous avons défini une nouvelle variante du problème d'affectation (bin packing problem) et proposé une résolution à intégrer dans le processus d'aide à la décision

L'étude de l'exercice professionnel en urbanisme recouvre plusieurs perspectives. L'enjeu est en effet d'identifier les acteurs et de décrire leurs pratiques au sein d'un espace professionnel, en analysant leur spécificité et les vecteurs de leur légitimité. Cela implique à la fois de caractériser le champ des urbanistes, et de rendre compte des processus de structuration professionnelle de ses acteurs. L'objectif est alors de montrer que l'urbanisme constitue un courant méthodologique, dont l'approche des interactions territoire/société marque un renouvellement théorique et méthodologique et contribue à redéfinir l'objet de l'étude. L'hypothèse est faite que l'organisation des territoires se noue depuis le XIX° siècle autour de problématiques complexes, nécessitant des médiations et des compétences nouvelles. En cela, l'émergence d'un profil professionnel est à étudier, dans la dynamique des pratiques, articulées à celle des autres acteurs de l'espace professionnel, et du courant méthodologique qui en est le produit, où, d'une problématique, l'urbanisme devient une discipline et acquiert un statut scientifique. Au cœur d'une concurrence pour la maîtrise de décisions ou d'outils, les urbanistes sont analysés au regard des logiques et des stratégies mises en place dans leur exercice pour légitimer leur activité et reposant sur l'identité du champ. En parallèle des discussions à mener sur l'opportunité des méthodes employées pour caractériser ce terrain, de l'adéquation des outils théoriques pour rendre compte du jeu d'acteurs dans toutes ses dimensions, il s'agit donc de montrer comment se construit l'urbaniste, professionnel dans un champ aux ouvertures multiples.

Nous défendons la thèse selon laquelle la modélisation des Algorithmes Génétiques Coévolutionnaires (AGCs) sous forme de systèmes multi-agent organisationnels répond au manque d'expressivité en termes de structure, d'interactions et d'adaptation de ces algorithmes dans les modèles et plateformes existants. Dans cette optique nous introduisons MAS4EVO, Multi-Agent Systems for EVolutionary Optimization, un nouveau modèle agent (re-)organisationnel basé sur Moise+. MAS4EVO est implémenté dans DAFO (Distributed Agent Framework for Optimization), un framework multi-agent organisationnel permettant l'utilisation, la manipulation et la distribution d'AGCs existants et nouvellement créés (hybride et dynamique) pour l'optimisation de problèmes difficiles. Les expérimentations de ces AGCs ont été conduites sur deux problèmes d'optimisation métier, le premier étant un problème de gestion de stock et le second étant un problème de contrôle de topologie dans les réseaux ad hoc sans fil.

Les travailleurs de moins de 24 ans sont plus à risque de se blesser au travail que ceux plus âgés. Bien que le taux de lésions professionnelles chez les jeunes diminue depuis 2000, certains demeurent susceptibles de se blesser au travail, tels les plus jeunes qui ne sont plus aux études et qui occupent un emploi à temps plein (15-19 ans), ainsi que ceux qui éprouvent des difficultés d'apprentissage objectivées. En marge de ces constats, le ministère de l'Éducation, du Loisir et du Sport (MELS) québécois a mis en œuvre, en 2007-2008, la Formation menant à l'exercice d'un métier semi-spécialisé (FMS). Dans ce programme travail-études s'adressant aux jeunes de 15 à 18 ans, les élèves sont appelés à apprendre des métiers pouvant comporter des facteurs de risque de lésions professionnelles. Ce doctorat a été réalisé dans le cadre d'une recherche-action visant l'expérimentation d'interventions novatrices en adaptation scolaire financée par le MELS visant à produire des connaissances sur l'accueil et l'intégration sécuritaire et compétente en milieu de travail des élèves inscrits à la FMS et de faire des propositions pour intégrer la prévention en santé et sécurité du travail (SST) au programme. Cette thèse vise à développer des connaissances scientifiques sur les démarches d'accueil et d'intégration sécuritaire et compétente d'élèves inscrits à la FMS lors de leur stage en entreprise. L'analyse ergonomique de l'activité de travail est l'approche méthodologique préconisée. Cette méthodologie comporte plusieurs caractéristiques similaires à l'analyse de cas multiples et utilise la triangulation des données. Afin de mieux comprendre les liens entre des contextes de travail variés, l'activité effective de travail et des conséquences diverses sur la santé ou la productivité (Guérin et al., 2006), le cadre théorique utilisé est le modèle de la situation de travail centré sur la personne en activité (St-Vincent et al., 2011). Le premier article présente le cadre prescrit d'apprentissage des métiers semi-spécialisés. Les résultats sont tirés d'une analyse de contenu du répertoire des métiers semi-spécialisés offerts à la FMS. Les exigences associées à chaque métier (tâches, compétences et critères de performance attendues) ont été dénombrées et classifiées. Ces métiers exigent des tâches et compétences variées, sans doute plus complexes que ce que l'on pourrait imaginer. Plusieurs risques liés à la SST peuvent être anticipés à la lecture des exigences (manutention, contact avec des produits toxiques, risques liés au contact avec de la clientèle, etc.). Le second article présente l'écart entre les prescriptions liées à la supervision des stages et différentes expériences réelles de supervision vécues par les élèves en stage. Ainsi, alors que le programme demande aux milieux de stage de désigner un seul superviseur qui s'occupera de tous les aspects de l'intégration du jeune, la réalité vécue en stage est beaucoup plus éclatée. Les élèves bénéficient d'une supervision et d'un parrainage pour apprendre le métier de la part de nombreux acteurs informellement affectés à ce rôle. La formation sur le tas demeure de loin le mode de formation le plus répandu pour les élèves de la FMS. Le troisième article vise à décrire les interactions entre neuf élèves stagiaires et les différentes personnes qu'ils côtoient dans leur milieu de stage respectif. Cet article a révélé que les interactions portant sur le travail et impliquant les élèves stagiaires de la FMS peuvent porter sur la supervision, l'entraide ou la collaboration ainsi que sur la transmission de divers types de savoirs utiles pour faire l'apprentissage du métier. Une définition de « l'accueil et l'intégration sécuritaire et compétente » est proposée. De même, une adaptation du modèle de la situation de travail centré sur la personne en activité est développée ; cette adaptation propose de favoriser un cadre de travail qui permet un équilibre entre les sources de contraintes et les ressources pour favoriser l'apprentissage et la formation. Enfin, une réflexion sur le collectif de travail comme ressource à l'accueil et l'intégration sécuritaire et compétente est proposée. En conclusion de la thèse, le lecteur trouvera une description des apports du projet, soit ses retombées sociales et scientifiques, les limites et les portées ainsi que les perspectives de développement futur pour les groupes concernés et pour la recherche scientifique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : jeunes travailleurs, santé-sécurité du travail, ergonomie, intégration professionnelle, conditions d'apprentissage

Les projets comportent de nombreuses sources de risques qui tiennent tant du management et de la gestion de projet que de l'organisation de l'équipe projet, de la technique et de l'environnement du projet. Ce contexte est imposé à l'équipe projet qui le subit et ne peut pas le modifier. Elle peut seulement connaître sa position par rapport à lui, plus ou moins favorable à la réussite du projet, indépendamment de la façon dont il sera géré par la suite. Le chef de projet est responsable de la réussite du projet. Son but est d'atteindre les objectifs fixés par l'entreprise pour le projet, à partir des ressources qui lui sont attribuées, dans les meilleures conditions. Pour ce faire, il dispose d'une certaine marge de manoeuvre dans un contexte qui s'impose à lui. L'objectif de nos travaux de recherche est de guider les chefs de projet afin d'optimiser l'utilisation de cette marge de manoeuvre, plus précisément en fiabilisant la prise en compte des risques pour concevoir plus vite, mieux et moins cher. Des méthodes de management des risques projet ont été développées pour répondre à ce besoin. Le succès de ces démarches reste encore très modeste et leur pérennité est fragile. Pour répondre à ce problème, nous présentons dans ce mémoire un modèle d'implémentation d'une méthode de management des risques projet composé de trois paramètres: la création d'un nouveau métier support aux équipes projets: le Riskmanager projet, la maîtrise de la cohérence des méthodes d'analyse des risques dans le processus global du management des risques projets, et la capitalisation des expériences à travers un support logiciel. Ce modèle a été élaboré et validé par plusieurs expérimentations sur deux projets de conception de produits nouveaux au sein de l'entreprise Saint-Gobain.

Cette recherche sur les transitions professionnelles dans le cadre de reconversions part du constat empirique suivant : l'analyse de l'activité professionnelle réalisée avec la méthode des instructions au sosie provoque, dans cette période particulière de transition, des manifestations émotionnelles fortes et l'expression de sentiments intenses et contradictoires. Ce fait nous a conduit à soutenir la thèse suivante : l'usage de cette méthode d'analyse clinique du travail, dans ce cadre spécifique où l'activité analysée se déploie dans un métier que l'on souhaite quitter, provoque, organise et supporte un conflit de sentiments qui, poussé jusqu'à un point culminant, peut s'avérer résolutoire et permettre de dégager pour le sujet des voies de développement. Ce travail propose de repérer et étudier ce point cathartique lié à la méthode afin d'analyser l'activité transitionnelle qui s'y déploie et sa fonction dans le processus de développement en cours de reconversion professionnelle.