Actuellement, la technologie des services Web évolue rapidement, en étant soutenue par les grands acteurs du domaine des systèmes d'information. Les applications basés sur services Web sont faiblement couplées et utilisables de façon automatique via l'utilisation d'un ensemble de normes basées sur XML. Hormis la description syntaxique des messages, il est nécessaire d'avoir une description sémantique du comportement des services. En effet, lors de la conception d'un service ou lors d'une composition de services, il est important de vérifier la conformité avec un cahier des charges. L'enrichissement des descriptions des services par l'inclusion de leurs comportements est de plus en plus important. Ce comportement peut être décrit par des protocoles métier représentant les séquences possibles d'échanges de messages. Les services Web utilisent des politiques de contrôle d'accès (ACP) pour restreindre l'accès à des consommateurs autorisés. Ces politiques doivent faire partie de la description du service. Dans cette thèse, l'analyse d'interopérabilité en termes de contrôle d'accès après la formalisation des services Web annotés avec les politiques de contrôle d'accès est réalisée. Nous présentons une approche pour intégrer les outils de vérification dans l'architecture de contrôle d'accès de façon à garantir une interaction sans erreurs. Les politiques et les crédits sont présentés comme une ontologie afin de bénéficier de la flexibilité offerte par subsomption sur des concepts. La chorégraphie des services Web est utilisée dans la phase de conception d'applications pair à pair complexes dans lesquelles chaque pair peut être implémenté par un service Web. Par conséquent, la sélection des services Web pour l'implémentation de chorégraphie en utilisant l'approche de vérification de compatibilité avec contrôle d'accès est l'un des objectifs de notre recherche. Dans ce travail, les modèles de protocole métier du service Web sont étendus en ajoutant des informations au message sur chaque transition du service dans lequel ce message sera envoyé ou reçu. Nous définissons et vérifions la compatibilité des services Web afin de voir si (et comment) plusieurs services peuvent avoir des interactions en fonction de leurs protocoles. Cette approche aidera les concepteurs à choisir des services Web de manière simple et à vérifier s'ils peuvent mettre en œuvre la chorégraphie nécessaire en vérifiant la compatibilité avec notre approche.

Mémoire court / Ce mémoire aborde le défi de l’altérité à l’époque de la technique moderne chez Alain Finkielkraut en trois chapitres. Le premier présente la conception de l’altérité chez Finkielkraut qui se définit par son indisponibilité. Dans La sagesse de l’amour (1984), Finkielkraut désire réhabiliter l’amour pour penser le rapport originel à autrui. Selon lui, ce concept aurait été déconsidéré depuis les Temps modernes, car identifié au besoin « impérialiste » d’agir sur l’Autre et de le posséder. Or, Finkielkraut le conçoit tout autrement. L’amour repose selon lui sur une présence qui ne se laisse pas enclore. Où il y a amour, l’altérité prend toute la place. Dans la relation amoureuse, l’Autre s’installe en nous et nous reste étranger, c’est-à-dire qu’il nous est indisponible. Pour le dire tautologiquement, l’Autre est autre. Finkielkraut pense donc le rapport originel à autrui par l’amour qui, lui, se caractérise plus fondamentalement par l’indisponibilité. Au second chapitre, on s’intéresse à la dialectique entre culture et technique dans Nous autres, modernes (2005). Anciennement, les arts voyaient dans les manifestations particulières de l’être l’opportunité de toucher l’universel alors que la technique tend à uniformiser le monde par son regard. La conclusion importante de ce chapitre est que ce regard technique s’est instauré partout, y compris dans les sciences sociales, ces sciences qui traiteraient des mêmes sujets que les humanités, mais avec la rigueur des sciences naturelles. Dans le dernier chapitre, on verra que les Temps modernes, avec l’instauration de la rigueur du calcul et de la technique, ont affecté la conception de l’altérité. Pour comprendre ce changement, Finkielkraut dans « Peut-on ne pas être heideggérien? » (2015), reprend les grands pans de l’analyse de Martin Heidegger dans ses textes sur la technique moderne. Finkielkraut estime que nous serions rendus à l’époque où l’homme verrait tout, y compris lui-même, comme un fonds disponible. Aux yeux de Finkielkraut, tout devient interchangeable (les lieux, le sexe, les cultures, les populations, etc.) parce que tout devient disponible à l’époque de la technique moderne. Finkielkraut écrira que « nulle altérité ne résiste à l’arraisonnement ». Notre mémoire s’intéressera aux nombreuses conséquences qui découlent de cette disponibilité de l’altérité, notamment la victoire sur la différence et un monde de plus en plus homogène. / To address the challenge of otherness in the age of modern technology in Alain Finkielkraut’s philosophy, three chapters are necessary. The first one presents the conception of otherness in Finkielkraut’s philosophy, which defines otherness by its unavailability. In the Wisdom of Love (1984), he wants to rehabilitate love to think the original relation to the other. For him, this concept would have been dismissed in Modern Times because it was identified with the « imperial » need to act on the Other and to possess him. Finkielkraut conceives love otherwise. Love is a presence that can not be enclosed. Where there is love, otherness takes the entire place. In the love relationship, the Other sets up in ourselves and is a foreigner, which means it is unavailable. To say it in a tautology, the Other is other. Finkielkraut thinks the original relation to the other with love that is defined fundamentally by its unavailability. In the second chapter, our interest will be on the dialectic between culture and technology in Nous autres, modernes (2005). It used to be the casethat the particular manifestations of being that the humanities studied was the opportunity to touch the universal while technology tended to standardize the world by its gaze. The important conclusion of this chapter is that the imprint of technology is now established everywhere, including in the social sciences, who understand themselves as the sciences that treat the same subjects as the humanities but with the same rigor as the natural sciences. In the last chapter, we will see that in Modern Times the urge of calculation and technology have affected the conception of the otherness. To understand this change, Finkielkraut in « Peut-on ne pas être heideggérien? » (2015) draws on large sections of the analysis of the question regarding technology by Martin Heidegger. Finkielkraut thinks that we are living at a time when the human being sees everything, including himself, as available funds (Bestand). In the eyes of Finkielkraut, everything is now interchangeable (places, sex and gender, cultures, populations, etc.) because everything is avaible at the time of modern technology. Finkielkraut writes that « no otherness will resist the arraignment (Gestell)». In this study, we will strive to sort out the consequences that follow from this availability of the other, especially the victory on the difference and a homogeneous world.

Actuellement, la technologie des services Web évolue rapidement, en étant soutenue par les grands acteurs du domaine des systèmes d'information. Les applications basés sur services Web sont faiblement couplées et utilisables de façon automatique via l'utilisation d'un ensemble de normes basées sur XML. Hormis la description syntaxique des messages, il est nécessaire d’avoir une description sémantique du comportement des services. En effet, lors de la conception d'un service ou lors d'une composition de services, il est important de vérifier la conformité avec un cahier des charges. L’enrichissement des descriptions des services par l’inclusion de leurs comportements est de plus en plus important. Ce comportement peut être décrit par des protocoles métier représentant les séquences possibles d'échanges de messages. Les services Web utilisent des politiques de contrôle d'accès (ACP) pour restreindre l'accès à des consommateurs autorisés. Ces politiques doivent faire partie de la description du service. Dans cette thèse, l'analyse d'interopérabilité en termes de contrôle d’accès après la formalisation des services Web annotés avec les politiques de contrôle d’accès est réalisée. Nous présentons une approche pour intégrer les outils de vérification dans l'architecture de contrôle d’accès de façon à garantir une interaction sans erreurs. Les politiques et les crédits sont présentés comme une ontologie afin de bénéficier de la flexibilité offerte par subsomption sur des concepts. La chorégraphie des services Web est utilisée dans la phase de conception d’applications pair à pair complexes dans lesquelles chaque pair peut être implémenté par un service Web. Par conséquent, la sélection des services Web pour l’implémentation de chorégraphie en utilisant l’approche de vérification de compatibilité avec contrôle d'accès est l'un des objectifs de notre recherche. Dans ce travail, les modèles de protocole métier du service Web sont étendus en ajoutant des informations au message sur chaque transition du service dans lequel ce message sera envoyé ou reçu. Nous définissons et vérifions la compatibilité des services Web afin de voir si (et comment) plusieurs services peuvent avoir des interactions en fonction de leurs protocoles. Cette approche aidera les concepteurs à choisir des services Web de manière simple et à vérifier s’ils peuvent mettre en œuvre la chorégraphie nécessaire en vérifiant la compatibilité avec notre approche / Currently, Web services technology is rapidly move forward supported by major players in the field of information systems. Web services applications are loosely coupled and usable in an automatic way via the use of a set of standards based on XML. Beside the syntactic description of messages, there is a need for the semantic description of the behavior of services. Indeed, whether in the design of a service or composition of services, it is important to check compliance with a set of specifications. Enriching services descriptions by including their behaviors is becoming more and more important. This behavior can be described by business protocols representing the possible sequences of message exchanges. Web services use access control policies (ACP) to restrict the access to authorized consumer. These policies should be a part of the service description. In this thesis, the interoperability analysis in terms of AC after the formalization of the Web services annotated with the access control (AC) is performed. In addition, we present an approach for embedding the checking tools in the AC enforcement architecture to guarantee the errors free interaction. The ACP and the credentials are presented as ontology in order to benefit from the flexibility offered by subsumption on concepts. Web services choreography is used in the design phase of complex peer-to-peer applications in which each peer can be implemented by a Web service. Therefore, selecting Web services for choreography implementation using the compatibility checking approach with access control is one of the objectives of our research. In this work, the business protocol models of the Web service are extended by adding information to the message on each transition about the service in which this message will sent to or received from. We define and verify Web service compatibility in order to see if (and how) several services can have interactions based on their protocols. This approach will help the designers to select Web services in an easy way and verify if they can implement the required choreography or not by checking the compatibly using our approach