Reproduction de : Thèse doctorat : Informatique : Reims : 2006. / Titre provenant de l'écran titre. Bibliogr. f. 153-158.

Le développement et l'adoption des technologies associées aux services web permettent aux entreprises d'implanter de nouvelles applications en composant des services existants. Cependant, la mise en oeuvre de processus métiers interagissant sur le web reste une tâche complexe. Le concept de service web, basé sur les standards de l'internet, vise à faciliter le développement de ce type de processus et les interactions entre plusieurs partenaires dans le but de produire un service à valeur ajoutée. Mais, paradoxalement, le développement de services créés par chaque entreprise de manière autonome a donné lieu à une hétérogénéité qui pose divers problèmes au moment de l'exécution de la composition obtenue, surtout lorsque celle-ci est munie de propriétés transactionnelles.<br />L'étude présentée dans ce document nous a permis d'identifier les problèmes liés d'une part, à la composition de services web, et d'autre part à l'association de propriétés transactionnelles à cette composition. Nous nous sommes intéressés à ces deux problématiques qui nous ont conduits à la conception du canevas TCOWS - Transactional Composition Of Web Services - pour la composition de services web en tenant compte des propriétés transactionnelles des services composants. Le modèle permet aux concepteurs de composer des services et de prendre en compte des contraintes liées à la portée de la transaction et, par le biais de restrictions et de préférences, de fixer la qualité de service requise par les composants. Au moment de l'exécution, s'appuyant sur le concept de communautés de services, le canevas choisit, parmi les services accessibles via une communauté, ceux qui répondent le mieux aux besoins de la composition, tout en respectant ces caractéristiques transactionnelles.

La thèse rapportée dans ce manuscrit étudie l'impact de ces propriétés dans la composition de services Web. La considération de telles propriétés soulève plusieurs problèmes auxquels on a essayé d'apporter une solution. Le premier aspect consiste à définir un modèle qui tienne compte des abstractions nécessaires afin de pouvoir analyser et synthétiser une composition, à savoir les messages, les données, les contraintes de données, les propriétés temporelles et l'aspect asynchrone des communications des services. En se basant sur ce modèle, le deuxième problème consiste à proposer une approche d'analyse de compatibilité. Cette analyse vise à caractériser la compatibilité ou la non-compatibilité des services Web et ce en prenant en considération les abstractions précédemment citées. Nous étudions particulièrement l'impact des propriétés temporelles dans une chorégraphie dans laquelle les services Web supportent des communications asynchrones. Nous proposons une démarche basée sur le model checking qui permet de détecter les éventuels conflits temporisés qui peuvent surgir dans une chorégraphie. Finalement, le dernier problème auquel nous nous intéressons est celui de la construction d'une composition qui essaie de répondre au besoin du client et ce en prenant en compte les aspects temporels. L'approche que l'on propose est basée sur la génération d'un médiateur pour essayer, quand c'est possible, de contourner les incompatibilités temporisées et non-temporisées qui peuvent surgir lors d'une collaboration. Des mécanismes et des algorithmes ont été développés afin de mettre en oeuvre ces objectifs / Web services are based on standrards and Web technologies to interact by exchanging messages. Apart from the sequences of messages, other factors affect the interoperability of Web services, such as temporal constraints that specify the required delay to exchange messages. This thesis studies the impact of these properties in the composition of Web services. The consideration of such properties raises several problems that need several investigations. The first aspect is to define a formal model that takes into account the necessary abstractions in order to analyze and synthesize a composition. The abstractions we have considered are: messages, data, data constraints, temporal properties and the asynchronous nature of services communications. Based on this model, the second problem we handled is the compatibility analysis. This later aims at characterizing the compatibility or incompatibility of Web services by taking into account the abstractions mentioned above. We propose an approach based on model checking to detect the conflicts that may arise in timed choreography. Finally, the last problem we dealt with is the construction of a composition which attempts to satisfy the client need. The approach that we propose is based on the generation of a mediator to try, whenever possible, to resolve the incompatibilities that may arise during a collaboration. Mechanisms and algorithms have been developed to implement these primitives

Les services Web offrent un certain nombre de propriétés intéressantes pour le développement des systèmes distribués ouverts, construits par la composition de services autonomes. Cependant, les systèmes résultants doivent offrir des propriétés non-fonctionnelles et en particulier des propriétés de sûreté de fonctionnement pour êttre adopté par les utilisateurs, et notamment pour leur utilisation effective dans le domaine de l'e-business. Cette thèse propose une méthode et des intergiciels associés pour la composition sûre de fonctionnement de services autonomes. Notre contribution porte sur une extension des interfaces des systèmes composés par leur propriétés de sûreté de fonctionnement, une définition d'un langage de composition spécifique pour assurer la sûreté de fonctionnement du service composite et sur un support d'exécution pour la mise en oeuvre des mécanismes de tolérance aux fautes. L'extension proposée aux interfaces des services Web est spécifié par un langage de conversation qui permet de définir les règles pour appeler les opérations offertes par les services Web individuelles. Les propriétés relatives au recouvrement sont associées `a ces conversations, permettant de raisonner sur la stratégie de recouvrement qui peut êttre mise en oeuvre dans la composition de service. En effet, les comportement de recouvrement des services composites dépendent des propriétés de recouvrement des services composés, ces derniers devant effectuer les actions de recouvrement en présence de fautes. Cette thèse propose ensuite un langage de composition déclaratif qui permet de développer des services composites en termes d'actions atomiques. Nous permettons la spécification du traitement d'exceptions impliquant plusieurs services Web au niveau de la composition, permettant en particulier d'intégrer des services non-sûres dans la composition tout en garantissant la sûreté de fonctionnement du service composite. Nous montrons que la tolérance aux fautes peut êttre obtenue comme une propriété émergente de l'agrégation de plusieurs services, potentiellement non-sûres.

Reproduction de : Thèse de doctorat : Sûreté de logiciel et calcul à haute performance : Toulouse, INPT : 2007. / Titre provenant de l'écran-titre. Bibliogr. 88 réf.

Thèse de doctorat : Informatique : Université Paris-Dauphine : 2009. / bibliogr.67 ref. Index.

Thesis (M. Phil.)--Hong Kong University of Science and Technology, 2004. / Includes bibliographical references (leaves 68-70). Also available in electronic version. Access restricted to campus users.

Thesis (M.S.)--Brigham Young University. Dept of Computer Science, 2006. / Includes bibliographical references (p. 89-91).

Thesis (Ph.D.)--University of Nebraska-Lincoln, 2008. / Title from title screen (site viewed Jan. 13, 2009). PDF text: 121 p. : ill. (some col.) ; 2 Mb. UMI publication number: AAT 3315322. Includes bibliographical references. Also available in microfilm and microfiche formats.

L'orchestration des services Web décrite par le Web Service-Business Process Execution Language (WS-BPEL), fait désormais partie intégrante du Web moderne, comme le cloud computing, le Big Data, l'Internet des objets (IoT) et les réseaux sociaux. En effet, elle est au centre de nombreux systèmes d'information liés à une variété de domaines tels que le commerce électronique, les institutions financières et les systèmes de santé, etc. où des données sensibles sont partagées, ce qui pose d'importants problèmes de sécurité. WS- BPEL appelé aussi BPEL, est le langage standard pour construire des services Web complexes d'une manière pratique. Cependant, BPEL n'est pas rigoureusement défini comme un langage formel entrainant ainsi des problèmes d'ambiguïté et de confusion lors de sa compréhension. Par ailleurs, sans fondement formel, il ne serait pas possible de fournir des preuves garantissant le bon fonctionnement de services. Cette thèse adresse la formalisation de BPEL et présente une approche formelle basée sur la réécriture de programmes permettant d'appliquer des politiques de sécurité au niveau de ce langage. Plus précisément, étant donné une composition de services Web spécifiée en BPEL et une politique de sécurité décrite dans une logique temporelle comme LTL, notre approche vise à générer une nouvelle version de service Web qui respecte cette politique de sécurité. La nouvelle version du service se comporte exactement comme l'originale excepté quand la politique est sur le point d'être violée. Dans ce cas le processus pourrait accomplir d'autres actions ou tout simplement être arrêté. La formalisation de BPEL a été aussi traduite dans l'environnement K-Framework, ce qui ouvre la porte à l'utilisation de ses nombreux outils formels incluant un évaluateur de modèles pour l'analyse de services Web. / The Web services orchestration approach described by the Web Service-Business Process Execution Language (WS-BPEL), is now an integral part of the modern Web, such as cloud computing, Big Data, the Internet of Things (IoT) and social networks. Indeed, it is at the center of many information systems related to a variety of domains such as e-commerce, financial institutions and healthcare systems, etc. where sensitive data is shared, which creates significant security issues. WS-BPEL, also called BPEL, is the standard language for building complex Web services in a practical way. However, BPEL is not rigorously defined as a formal language thus leading to problems of ambiguity and confusion when understanding it. Moreover, without a formal basis, it would not be possible to provide any proof guaranteeing the proper functioning of services. This thesis addresses the formalization of BPEL and presents a formal approach based on the rewriting of programs allowing the enforcement of security policies on this language. More precisely, given a composition of Web services specified in BPEL and a security policy described in a temporal logic like LTL, our approach aims to generate a new version of the Web service which respects the given security policy. The new version of the service behaves exactly like the original one except when the policy is about to be violated. In this case the process could take other actions or simply be stopped. The formalization of BPEL has also been translated into the K-Framework environment, which opens the door to the use of its many formal tools including a model checker for the analysis of Web services.