Dans une composition de services Web basée protocole, un ensemble de services composants se collaborent pour donner lieu à un service Composite. Chaque service est représenté par un automate à états finis (AEF). Au sein d’un AEF, chaque transition exprime l’exécution d’une opération qui fait avancer le service vers un état suivant. Une exécution du composite correspond à une séquence de transitions où chacune est déléguée à un des composants. Lors de l’exécution du composite, un ou plusieurs composants peuvent devenir indisponibles. Ceci peut produire une exécution incomplète du composite, et de ce fait un recouvrement est nécessaire. Le recouvrement consiste à transformer l’exécution incomplète en une exécution alternative ayant encore la capacité d’aller vers un état final. La transformation s'effectue en compensant certaines transitions et exécutant d’autres. Cette thèse présente une étude formelle du problème de recouvrement dans une composition de service Web basée protocole. Le problème de recouvrement consiste à trouver une meilleure exécution alternative parmi celles disponibles. Une meilleure alternative doit être atteignable à partir de l’exécution incomplète avec un nombre minimal de compensations visibles (vis-à-vis le client). Pour une exécution alternative donnée, nous prouvons que le problème de décision associé au calcul du nombre de transitions invisiblement compensées est NP-Complet. De ce fait, nous concluons que le problème de décision associé au recouvrement appartient à la classe ΣP2. / In a protocol-based Web service composition, a set of available component services collaborate together in order to provide a new composite service. Services export their protocols as finite state machines (FSMs). A transition in the FSM represents a task execution that makes the service moving to a next state. An execution of the composite corresponds to a sequence of transitions where each task is delegated to a component service. During composite run, one or more delegated components may become unavailable due to hard or soft problems on the Network. This unavailability may result in a failed execution of the composite. We provide in this thesis a formal study of the automatic recovery problem in the protocol-based Web service composition. Recovery consists in transforming the failed execution into a recovery execution. Such a transformation is performed by compensating some transitions and executing some others. The recovery execution is an alternative execution of the composite that still has the ability to reach a final state. The recovery problem consists then in finding the best recovery execution(s) among those available. The best recovery execution is attainable from the failed execution with a minimal number of visible compensations with respect to the client. For a given recovery execution, we prove that the decision problem associated with computing the number of invisibly-compensated transitions is NP-complete. Thus, we conclude that deciding of the best recovery execution is in ΣP2.

L’objectif de ce mémoire est d’analyser le rôle de la composition culturelle et économique des écoles secondaires fréquentées à 15 ans sur l’échec scolaire à 25 ans. À partir des données de Statistique Canada (Enquête sur les jeunes en Transition), nous proposons une analyse originale portant sur l’inégalité des chances en matière de réussite scolaire ou plutôt de l’échec scolaire au secondaire à 25 ans. Théoriquement, nous mobilisons le cadre d’analyse théorique de la reproduction sociale de Pierre Bourdieu. L’originalité de notre approche est double. Nous prenons d’abord en compte à la fois des caractéristiques individuelles des élèves, mais aussi de la composition sociale des établissements qu’ils fréquentent. Nous intégrons par ailleurs à ces deux niveaux d’analyse une multiplicité d’indicateurs identifiés comme importants dans la réussite scolaire : multiplicité pouvant être culturelle, économique, sociale, ethnique et de genre. Nos résultats nous conduisent à constater l’existence d’un double primat du capital culturel en éducation dans la mesure où le niveau d’éducation des parents et le pourcentage de parents sans diplômes dans l’école sont de loin les deux facteurs explicatifs les plus déterminants de l’absence de diplomation du secondaire à 25 ans. Cela nous conduit à critiquer la production d’indices synthétiques de défavorisation par les acteurs scolaires : la proportion de familles monoparentales, divorcées ou vivant seuls, la proportion de chômeurs, le revenu moyen du quartier ou encore la proportion de gens sans diplômes dans l’agglomération d’une école. En plus de ne pas contribuer à prédire l’échec scolaire, ces indices pourraient contribuer à renforcer la stigmatisation des écoles. Enfin, nous montrons que le statut de l’école (public régulier, public enrichi et privé), le genre, l’origine ethnique et le revenu des parents conservent un impact significatif après contrôle du capital culturel au niveau individuel et de l’école. / The objective of this thesis is to study the role of the cultural and economic composition of elementary schools attended at age 15, on non-graduation at age 25. Using data from Statistics Canada (Youth in Transition Survey), we proposed an original analysis of the inequality of opportunities in terms of academic success or rather non-success in high school at age 25. Theoretically, we use Pierre Bourdieu's theoretical framework for social reproduction. The originality of our approach is twofold. We first take into account both the individual characteristics of the students, but also the social composition of schools they attend. We also integrate at these two levels a multiplicity of indicators identified as important in educational success: cultural, economic, social, ethnic and gender. Our results lead us to note the existence of a double primacy of cultural capital in education insofar as the level of parents' education and the percentage of parents without a diploma in school are by far the two most important explanatory factors of non-graduation from high school at age 25. The study allowed us to criticize the production of synthetic indices of deprivation by educational actors: the proportion of single-parent families, divorced or living alone, the proportion of unemployed, the average income of the district or the proportion of people without qualifications in the agglomeration. of a school, in addition to not helping to predict academic non-success in high school, could contribute to reinforcing the stigmatization of schools. Finally, we show that the status of the school (regular public, enriched public and private), gender, ethnicity and parental income retain a significant impact after controlling cultural capital at the individual and school level.

No description available.