Les travaux de recherche de cette thèse portent sur la modélisation et la gestion des procédés métiers orientés services. Le travail s’intéresse aux procédés d’un point de vue de gestion décentralisée où les services composés peuvent établir des interactions de pair à-pair. Dans un premier temps, nous présentons une méthode qui permet de dériver des procédés coopérants à partir d’une spécification centralisée. Il s’agit des algorithmes qui analysent un procédé centralisé pour le traduire en procédés coopérants, en transformant le flux de contrôle et le flux de données du procédé d’origine en interactions équivalentes de type pair-à-pair. Un des apports de la décentralisation, qui répond à une nouvelle exigence des procédés orientés vers les services, est l’établissement des interactions de pair-à-pair qui respectent le flux d’information des services composés. La deuxième partie du travail est la proposition d’un langage permettant d’exprimer des politiques de flux d’information. Par la suite, nous étudions l’intégration des politiques du flux d’information dans les procédés coopérants. Le choix d’un service entrant dans une composition peut être effectué dynamiquement, au moment de l’exécution du procédé, de sorte que l’ensemble des services composés n’est pas connu à priori. Une compréhension de la stratégie de choix dynamique des services et leur intégration dans le cadre des contributions proposées dans son ensemble est pour cela une étape centrale. Pour ce faire, une méthodologie qui automatise le processus de déploiement dynamique des procédés coopérants est proposée. Le travail présente une architecture logicielle qui valide les concepts proposés. / This thesis studies decentralized management of business processes in the context of service oriented architectures. We present a generic approach that enables decentralized executions with cooperating processes by implemeting the centralized semantic with P2P interactions. Precisely, we present our method that derives the latter. We focus on the sophisticated control/data flow and conversational aspects that run counter to naive intuition, most of which, we explain using deeper analysis of the algorithms and data structures that we employed. In the second part of the manuscrit, we focus on information flow control that consists of planning the interactions of composed services in order to satisfy different security restrictions concerning the propagation of information in a composition. We examine the questions of what the information flow is and how it can be modeled and computed in service-oriented business processes. We present the design and implementation of a decentralized workflow management solution for the control of information flow. The derived process fragments are deployed on composed services and they enable them to establish P2P interactions with each other with respect to information flow policies. The last contribution takes on the challenge of implementing dynamic and decentralized process deployment following the same approach. Our conceptual contributions are implemented with state-of-art technologies.

Les enfants se construisent des représentations de scientifiques dès les premières années de l'école primaire, elles auront du poids dans leur choix d’orientation à l’adolescence. Comment les facteurs sexe, scolarisation et milieu social y participent-ils ? Quels sont les effets d'un enseignement des sciences ? Des représentations ont été suscitées par association libre à partir d'une question posée aux enfants : Pour toi, qu'est-ce qu'un scientifique ? 1000 dessins légendés ont été analysés. Les représentations identifiées s’avèrent structurées autour d’un noyau central dont les éléments saillants sont plus négatifs que positifs. Le processus d'ancrage de figures masculines est très rapide chez les garçons, les femmes scientifiques étant hors du champ de leurs représentations. Il est plus conflictuel chez les filles dont le désir de savoir et d'expérimenter résiste à la pression des représentations sociales où l'homme domine. Des signes d’autocensure sont décelés chez quelques filles et enfants de milieux défavorisés.Une évolution des représentations, due à la pratique des sciences à l’école, apparait dans le nombre et la mixité des scientifiques dessinés, la diversité des activités et des thèmes évoqués. Quand ils ont expérimenté avec un jeune scientifique, les enfants se projettent davantage dans leur dessin. Le stéréotype de l’homme solitaire dans un laboratoire fermé est ébranlé, les sentiments d’inquiétude et d'inaccessibilité, réduits. Une réflexion sur le savoir, la création de savoir et sur le pouvoir que procure la science est amorcée. Cependant, 90% des enfants des écoles défavorisées de l’échantillon n’ont pas fait de science contre 45% pour ceux des écoles favorisées. / Early in the primary school, children build social representations of scientists which will influence teenagers for their choices. What is the weight of various factors as the sex of the children, the type of education or the social environment? And the effect of science teaching?In the present study, the following question was asked to children : “For you, who is a scientist ?” Thousand drawings with a legend were collected and analyzed. The representations exhibit a central nucleus whose characteristics seem more or less negative. The scientist is completely identified as a male by young boys, the female scientists being totally absent . For young girls, this identification in agreement with the social pressure of dominant males, is in conflict with their own appeal for experiment and knowledge. Some signs of self-censorship are indeed perceptible in the drawings by some girls and by children originating from disadvantaged environments. Science practice induces more positive and realistic social images. For instance when they have experienced Investigation based Science with a scientist accompanying their teacher, children identify more easily themselves with the drawn scientist. The stereotype of “a lonesome scientist in a closed lab” is then destabilized, while the feeling of fear and inaccessibility of science is reduced. One observes also expressions on the nature of knowledge, on the creation of knowledge, and on the power provided by science. However, 90% of the children belonging to schools in disadvantaged districts have not received any science lessons, to compare to 45% for the other children.

Dans une usine de production de textile, il y a des métiers à tisser. Ces métiers à tisser peuvent être configurés de différentes façons. Des tâches doivent être exécutées sur ces métiers à tisser et le temps d’exécution d’une tâche est fonction du métier sur lequel elle est effectuée. De plus, chaque tâche est seulement compatible avec les métiers à tisser étant configurés de certaines façons. Un temps de mise en course peut permettre de configurer ou préparer un métier à tisser pour l’exécution d’une tâche. Le temps de mise en course est dépendant de la tâche qui précède et de celle qui suit. Nous souhaitons alors créer un horaire pour minimiser les temps de fabrication et les retards. Toutefois, certaines contraintes doivent être respectées. Lorsque des préparations surviennent sur des métiers différents en même temps, le nombre d’employés doit être suffisant. Un métier ne peut faire qu’une seule action à la fois. L’ordonnancement d’une seule machine est un problème NP-Difficile. Dans ce projet, il faut ordonnancer environ 800 tâches sur 90 machines dans un horizon de deux semaines, tout en respectant les contraintes de personnel. Des évènements stochastiques doivent être pris en compte pour obtenir un meilleur horaire. Le bris d’un fil n’étant pas un évènement rare, l’occurrence des bris est donnée sous la forme d’une loi de Poisson. Nous proposons alors une approche de résolution utilisant une heuristique de branchement basée sur le problème du commis voyageur. Cette approche permet d’obtenir de bonnes solutions pour le problème d’ordonnancement exploré. Les solutions trouvées sont 5 à 30% meilleures en termes de fonction objectif qu’une heuristique semblable à celle utilisée par l’équipe de planification de notre partenaire industriel. Nous présentons aussi un algorithme pour garantir la robustesse d’un horaire. Notre algorithme permet de générer des horaires plus réalistes et qui résistent bien aux évènements imprévus. La combinaison de ces deux pratiques mène à l’intégration et l’utilisation du produit final par notre partenaire industriel. / In a textile factory, there are looms. Workers can configure the looms to weave different pieces of textiles. A loom can only weave a piece of textiles if the piece of textiles is compatible with its loom configuration. To change its configuration, a loom requires a setup. The setups are performed manually by workers. There are also sequence-dependent setups to prepare a loom for the upcoming piece of textiles. We wish to minimize the setups duration and the lateness. A solution must satisfy some constraints. The problem is subject to cumulative resources. The quantity of workers simultaneously configuring machines can’t exceed the total number of employees. A loom can only weave a piece of textiles at a time. Scheduling tasks on a single loom is an NP-Hard problem. In this project, we must schedule tasks an average of 800 tasks on 90 looms with a two-week horizon. Stochastic events might occur and must be accounted for. We must design an algorithm to create robust schedules under uncertainty. As a thread breaking during the weaving process isn’t a rare occurrence, a better schedule could greatly impact the performances of a company when applying the schedule to a real situation. We formulate that the number of breaks per task follows a Poisson distribution. First, we propose a branching heuristic based on the traveling salesperson problem in order to leverage computation times. The solutions found are 5 to 30% better according to their objective function than the ones of a greedy heuristic similar to what our industrial partner uses. We also present a filtering algorithm to guarantee robustness of solutions in respect to a confidence level. This algorithm improves robustness and creates more realist schedules. The algorithm is also efficient in computation time by achieving bound consistency in linear time. Combining both these techniques leads to the integration of our research in the decision system of our industrial partner.

Une recherche exploratoire menée auprès de sept élèves féminines, quatre travailleuses (ex-élèves en emploi) et neuf intervenantes et intervenants de cinq centres de formation professionnelle examine ce que vivent les femmes dans les parcours d'emploi traditionnellement masculins, en milieu scolaire et surtout en milieu de stage. Les modes d'accompagnement, les types de stage et les rôles et responsabilités des personnes accompagnant les élèves font l'objet des entretiens. Les résultats montrent que le moment du stage est une période ardue pour les élèves féminines, le milieu de la mécanique automobile s'avérant particulièrement hostile à leur présence. La responsabilité de"prendre sa place" incombe à l'élève selon la majorité des intervenants et intervenantes et l'accompagnement est pratiquement inexistant dans certains milieux. Les difficultés rencontrées (discrimination, sexisme, harcèlement et aménagements physiques) confirment les recherches de Messing et al. (1994, 2006), Bumonville et Fournier (1998), Couture et al. (2005), Dugas (2004) et Dugré (2006).

L'évolution de l'Internet comme support de communication entre les applications et les organisations a révolutionné les méthodes de coopération classiques. Les technologies réseaux actuelles, notamment les services Web, permettent le développement de nouveaux paradigmes de coopération. En effet, les entreprises peuvent dans un premier temps externaliser leurs procédés métiers comme des services Web pour former dans un deuxième temps ce qu'on appelle une entreprise virtuelle par compositions de services externalisés. Mais, comme souvent en informatique, ce qui est supposé apporter de la facilité apporte aussi son lot de complexité et de questions. Cela va de la pertinence des langages utilisés pour décrire les compositions de services, leur formalisation, leur vérification formelle avant et après l'exécution, au problème de maintenir une qualité de services constante. L'objectif de cette thèse est de proposer une approche rigoureuse pour la spécification, la modélisation, la vérification et la validation des compositions de services Web. Le travail effectué a permis la mise en place de techniques de preuves pour les services Web pour répondre à de nouveaux challenges liés essentiellement à la composition et la vérification. L'approche développée consiste en : (i)la définition d'un langage de spécification de la composition pour assurer sa vérification formelle, (ii) l'extension du langage de composition transformé pour prendre en compte les aspects de communication entre des compositions différentes, (iii) l'extraction et la spécification des propriétés à vérifier avant et après l'exécution de la composition, (iv) la vérification de la composition (vérification a priori et vérification a posteriori), et (v) l'utilisation des spécifications des déviations détectées pour découvrir des services qui peuvent tomber en panne ou devenir indisponibles en cours d'exécution. / The proliferation of the Internet as a communication medium between applications and organizations has revolutionized the classic methods of cooperation. The current network technologies, including Web services, allow the development of new paradigms of cooperation. Indeed, enterprises can outsource their business processes as Web services to form what is called a virtual enterprise by compositions of outsourced services. However, as so often in computer science applications, which is supposed to bring the facility provides also its set of complexity and questions. This covers the relevance of the language used to describe the compositions of services, their formalizations, their formal verification before and after running the composition process, and the need of maintaining a constant quality of services. The aim of this dissertation is to develop a rigorous approach to specifying, modelling, verifying and validating the behaviour of Web service compositions with the goal of simplifying the task of designing coordinated distributed services and their interaction requirements. More precisely, we have proposed a semantic framework that provides a foundation for addressing the existing limitations in the context of Web services compositions by supporting the following functionalities: (i) to formally specify requirements for BPEL processes. The requirements specify behavioural properties of the composition process, or assumptions about the behaviour of the composition as a whole and its constituent services, (ii) to extend the approach to include models of service choreography with multiple interacting Web services compositions, from the perspective of a collaborative distributed composition development environment, (iii) to verify these requirements against process executions. The requirements verification can be done either a-priori, i.e., at design time, or a-posteriori, i.e., after runtime, (iv) to use the specifications of the violated requirements to generate queries for discovering services that could substitute for malfunctioning services or services that may become unavailable or fail to meet certain requirements.

L’optimisation de formes de structures mécaniques est de nos jours incontournable dans l’industrie mécanique (automobile, aéronautique etc.). Pour rester dans la compétition mondiale, les entreprises se doivent de concevoir des structures qui, en plus de respecter des performances mécaniques précises, doivent être moins couteuses avec des délais de plus en plus courts. Les ingénieurs doivent alors réaliser des formes pour leurs structures qui soient un meilleur compromis entre les performances mécaniques et fonctionnelles, le poids, le coût de fabrication etc. Dans ce manuscrit, nous proposons une démarche d’intégration de l’optimisation de formes de structures dans un processus de conception fonctionnelle d'un point de vue méthodologique. Elle a pour avantages de prendre en compte l’intégration des connaissances métiers nécessaires à la conception de la structure dans le processus d’optimisation. Ce processus ne peut être appliqué de manière efficace que si l’on maitrise les fondamentaux de l’optimisation, ce qui nous a conduit dans un premier temps à faire un point sur l’état de l’art en optimisation de formes en général, en présentant les algorithmes mis en jeux dans les différentes disciplines à disposition des ingénieurs. Notre proposition de processus d’optimisation a été complétée par des arbres de décision, permettant à l’ingénieur de faire des choix en fonction des problèmes d’optimisation dans les métiers de la fonderie, de la plasturgie et de l’emboutissage. Ce processus d’optimisation intégré à une démarche de conception fonctionnelle sera illustré par des exemples industriels nous permettant de valider notre proposition et de montrer l’efficacité des choix issus des arbres de décision. / Engineering design optimization of mechanical structures is nowadays essential in the mechanical industry (automotive, aeronautics etc.). To remain competitive in the globalized world, companies need to create and design structures that in addition to complying specific mechanical performance should be less expensive with short production time. Engineers must then realize forms and shapes that are a better compromise, between mechanical and functional performance, weight, manufacturing costs etc. In this manuscript, we propose an integration of optimization process in a functional process design of a methodological point of view. It has the advantage of taking into account the integration of business knowledge needed to design the structures in the optimization process. The process can’t be properly applied only if we master the fundamentals of the optimization. This led us in a first time, to talk about the engineering design optimization of mechanical structures in general, and the algorithms used in the different disciplines available to engineers. Our proposed optimization process was completed by decision trees that allowed the engineers to make choices based on their optimization problems in foundry, plastics and stamping companies. This optimization process integrated with a functional design approach will be illustrated with industrial examples that allow us to validate our proposal and demonstrate the effectiveness of the choices from decision trees.

L'évolution technologique et scientifique à l'heure actuelle se répercute, en tout ou en partie, sur le domaine de la CAO. On assiste à une universalisation des techniques de conception, qui se basent souvent sur les mêmes algorithmes, que ce soit pour l'industrie aéronautique, pour la médecine ou pour d'autres domaines. Cette pluridisciplinarité naît des différentes vues de la conception, qui ne se fait plus seulement par des ingénieurs, mais par un public très varié, et qui entraîne, à son tour, des différentes techniques d'interaction. Pour répondre à cette diversité, les systèmes de CAO devraient assister l'utilisateur par des outils de modélisation adaptés. Une approche dans ce sens serait d'intégrer les déformations avec des contraintes métier. Ainsi, le concepteur pourrait se concentrer sur son métier plutôt que sur le modèle géométrique, laissant au système la tache du passage des paramètres métier aux paramètres géométriques, applicables au modèle. L'étude présente se place dans le contexte du projet DIJA, avec le but de créer un modeleur de déformation de surfaces avec un comportement métier bien précis, non pas en utilisant le modèle géométrique sous-jacent, tel que réalisé jusqu'à présent, mais en prenant en compte une triangulation de la surface aussi fine que nécessaire. L'étude permet de démontrer également le passage des paramètres métier aux paramètres géométriques et l'interaction avec l'utilisateur des différents niveaux de l'architecture du système, selon ses compétences.

Il y a dans le « monde du travail » des professions valorisées, associées au prestige, et d'autres, comme celles d'éboueur et de balayeur qui sont dépréciées, frappées de discrédit, si bien que ces représentations compliquent inexorablement la construction et la stabilisation d'une identité professionnelle, sociale et personnelle positive. Et pour cause, les agents de propreté urbaine exercent un métier méprisé, notamment en raison du contact avec la souillure. L'hypothèse centrale de notre travail suppose que l'image construite par les éboueurs et les balayeurs de leur fonction et donc d?eux-mêmes est sans cesse bricolée, arrangée dans le but d'être supportable. Bien que situés tout en bas de l'échelle de prestige social, ces agents supportent leur quotidien parce qu'ils développent un arsenal stratégique efficace - tantôt de l'ordre du discours, tantôt de l'ordre de l'action - contre toutes les attaques. Ainsi, même la souillure, la puanteur et les pénibilités physiques parviennent à être supportés parce qu'accommodés. Les éboueurs et les balayeurs ont su déceler dans leur travail les ressources nécessaires afin de se « désidentifier » d'une identité trop lourde à (sup)porter. C'est ainsi que les calendriers et le « fini-quitte » apparaissent pour les éboueurs comme des éléments fondateurs d'une identité positive ou du moins plus facile à soutenir. Quant aux balayeurs, l'utilisation des machines et leur appartenance à la fonction publique sont ce qui fait durer dans le métier. Aussi dévalorisés soient les métiers d'éboueur et de balayeur, aussi pénible soit la situation, aussi méprisant soit le regard des autres, ces agents sont capables d'un travail mental, cognitif, permettant de répliquer - par des mots et/ou par des actes - de négocier le stigmate, de « sauver la face » et in fine de se construire une image de soi assez supportable. / There are, in the "business world", some high-valued jobs, linked with prestige, and some, like waste management people and city streets sweepers jobs, that are depreciated, labelled with discredit, so those representations make it highly difficult to create and keep a positive professional, social and personal self-image. And with good reason, urban cleaning services agents do a disdained job, especially by reason of the closeness with filth, the lack of college degrees and diplomas, the low perspective of getting a higher work status and also the nature of the job, exposing the workers to several laborious tasks. The central and main hypothesis of our work is that the image built by the waste management people and city streets sweepers of their job and therefore of themselves is always rearranged, tinkered about, fixed, made up in order to be bearable. Quite clearly, our primary hypothesis is widely supported by the fact that urban cleaning services agents, even if they are at the bottom of the social prestige ladder, assume their everyday life. Those agents are able to develop a large series of strategies - by words or by acts - to block the attacks. Thus, even filth, foul smell and laborious tasks become bearable because they have been adapted, adjusted, fitted. Garbage men and sweepers have found in their jobs the resources they needed to "disidentify" themselves from an identity too heavy to assume. This is how the calendars and the « fini-quitte » ("done-go") seem to be some valuable basis for a positive self-image or, at least, an easier one to assume for the waste management agents. For the sweepers, the use of machines and the fact they are part of the public service are elements making them keep the job. As depreciated as the job of garbage man and sweeper is, as laborious as the situation is, as despicable as the way people look at them is, urban cleaning services agents are able to do an intellectual work allowing them to fight back - with words and/or actions - to negociate/deal with the stigmata, to "save face" and to build a quite bearable self-image.

La thèse compare la documentation épigraphique relative aux métiers portuaires de six cités de la Méditerranée antique (Aquilée, Ostia-Portus, Arles, Lyon, Narbonne, Hispalis). La première partie étudie les termes latins relatifs aux métiers portuaires pour déterminer le rôle des professionnels. Cette première partie doit être envisagée en complément du corpus documentaire. La seconde partie étudie la hiérarchie sociale à l'intérieur des métiers portuaires et vise à identifier les éléments d'identité et de cohésion au sein du port. Enfin, la dernière partie évalue la place des professionnels portuaires dans l'économie locale et au sein des élites. Le lien avec d'autres cités est également envisagé. / The thesis compares the epigraphical documentation of port occupations of six Mediterranean cities (Aquileia, Ostia-Portus, Arles, Lyon, Narbonne, Hispalis). The first part studies the latin words concerning port occupations to determine the role of the professionals. This first part must be viewed in addition to the documentary corpus. The second part studies the social hierarchy inside port occupations and aims to identify elements of identity and social cohesion inside the port. Finally, the last part estimates the place of port professionals in local economy and inside the elites. The link with other cities is also considered.

Mes années de pratique enseignante en formation à l'exercice d'un métier semi-spécialisé (FMSS) m'ont amenée à découvrir que les élèves ont de la difficulté à donner du sens aux apprentissages qui leur sont proposés. La formation qualifiante qui leur est offerte autorise pourtant un contexte d'apprentissage plus concret afin de favoriser l'accès à une première qualification et ainsi faciliter leur insertion professionnelle. L'étude entreprise avec un groupe d'enseignants de ma propre commission scolaire a porté sur leur vision de l'enseignement en FMSS et sur leurs pratiques pédagogiques afin de vérifier jusqu'à quel point elles sont susceptibles de couvrir les dimensions de la signifiance. Cette recherche a donc cherché à répondre à la question : jusqu'à quel point les enseignants en FMSS enseignent-ils de façon à développer chez leurs élèves des savoirs signifiants? Les résultats de cette étude descriptive exploratoire donnent un premier portrait des pratiques pédagogiques en FMSS quant à leur capacité de favoriser le développement de savoirs signifiants chez leurs élèves. Ils ouvrent la voie à de nouvelles pistes de recherche.