La thèse est consacrée à des problématiques d’algorithmique et de complexité sur deux sujets. Le premier sujet s’intéresse à la composition comportementale des services web. Ce problème a été réduit à la simulation d’un automate par le produit fermé d’un ensemble d’automates. La thèse étudie dans sa première partie la complexité de ce problème en considérant deux paramètres : le nombre des instances considéré de chaque service et la présence des états hybrides : état à la fois intermédiaire et final dans un automate. Le second sujet porte sur les systèmes de fermeture et s’intéresse au calcul de l’extension maximale d’un système de fermeture ainsi qu’à l’énumération des clefs candidates d’une base implicative. On donne un algorithme incrémental polynomial qui génère l’extension maximale d’un treillis codé par une relation binaire. Puis, la notion de key-ideal est définie, en prouvant que leur énumération est équivalente à l’énumération des clefs candidates. Ensuite, on donne un algorithme qui permet de générer les key-ideal minimaux en temps incrémental polynomial et les key-ideal non minimaux en délai polynomial. / This thesis investigates complexity and computational issues in two parts. The first concerns an issue related to web services composition problem: Deciding whether the behaviour of a web service can be composed out of an existing repository of web services. This question has been reduced to simulating a finite automata to the product closure of an automata set. We study the complexity of this problem considering two parameters; the number of considered instances in the composition and the presence of the so-called hybrid states (states that are both intermediate and final). The second part concerns closure systems and two related issues; Maximal extension of a closure system : we give an incremental polynomial algorithm that computes a lattice's maximal extension when the input is a binary relation. Candidate keys enumeration : we introduce the notion of key-ideal sets and prove that their enumeration is equivalent to candidate keys enumeration. We then give an efficient algorithm that generates all non-minimal key-ideal sets in a polynomial delay and all minimal ones in incremental polynomial time.

Pour faire face aux enjeux d’une économie mondialisée et aux fluctuations du marché, les entreprises (et principalement les PMEs) doivent développer de nouvelles stratégies de collaboration et d’organisation en réseau permettant de s’intéresser effectivement au réseau de création de valeur (et non pas se limiter à une simple organisation de chaîne de valeur) plus en rapport avec le contexte économique « blue ocean » visant le développement de produits et services innovants. Actuellement, ces réseaux de collaborations sont basés sur des relations de confiance et des communautés bien identifiées. Pour passer à une collaboration à très grande échelle, il importe d’accroître l’agilité et l’interopérabilité des entreprises et de leurs systèmes d’information pour permettre leur interconnexion. Cette stratégie de collaboration pose le problème d’une gestion de la sécurité « de bout en bout » pendant tout le cycle de vie des informations et processus partagés. Or les approches traditionnelles de sécurité ne proposent qu’une protection « statique » et « instantanée » ce qui ne permet pas de répondre aux contraintes de gestion des usage et d’adaptation dynamique requises par les organisations collaboratives. Pour répondre à ces enjeux, nous proposons d’adapter les approches de gestion des droits numériques (DRM) aux systèmes d’information. Après avoir proposé une architecture semi-distribuée de gestion des droits d’usage, nous avons proposé un modèle de politique de sécurité intégrant les droits d’usage et les obligations associées. Ceci nous a conduits à définir une syntaxe et une sémantique adaptée pour enrichir les politiques traditionnelles. Nos travaux ont porté ensuite sur la prise en compte de la dimension collaborative. Dans ce cadre nous avons proposé une algèbre d’intégration permettant de gérer la composition des politiques en fonction de l’ajout ou du retrait de partenaires dans l’organisation en analysant les processus métiers mis en œuvre par la collaboration. Enfin, notre architecture a été validée par un prototype incluant un moteur de négociation (construit sur l’outil «SUN XACML implementation»), un moteur d'agrégation s'appuyant sur JAVA DOM et JDOM et une composante d'analyse de contexte. / To fit the globalised economical environment, enterprises, and mostly SMEs, have to develop new networked and collaborative strategies, focusing on networked value creation (instead of the classical value chain vision), fitting the blue ocean context for innovative products and service development. Such collaborative networks are by now often based on trusted and well known communities. Developing large scale networked and collaborative strategies involve increasing both enterprise and information system agility and interoperability in order to allow their interconnection. This requires paying attention on an end-to end security and on the way information and process are used during their full life-cycle. As traditional security approaches and methodologies provide only an “instant” and rather static protection, they do not fit the dynamicity nor the life-cycle long protection constraints involved by such collaborative organisation. To overcome this limit, we propose to adapt the Digital Right Management approach (first defined for multimedia contents) to collaborative information systems. After proposing a semi-distributed architecture used to manage usage rights, we propose a security policy model including both usage rights and related obligations. This leads us to extend the security policy descriptions, including a dedicated syntax and semantics to model both policy organisation, usage and obligations before paying attention on the “collaborative environment constraints”. Paying attention on the way collaborative organisations are set and evolve, we have proposed an integration algebra to manage the way security and usage policies are composed depending on the way partners join and quit the collaborative context. This composition process and integration algebra analyse the collaborative business processes to identify the way policies are composed and negotiated. Lastly, we implement parts of our architecture to validate our proposals, mostly regarding the negotiation engine (using «SUN XACML implementation»), the aggregation engine(built upon JAVA DOM et JDOM) and a context analysis component.

La réutilisation des services pour prendre en charge de nouveaux processus métier, en plus de l'alignement de l'informatique sur les fonctions métier, constitue une motivation clé pour l'utilisation de l'architecture orientée services (SOA) pour le développement de solutions métier. Dans une architecture orientée services, il est important de faciliter la sélection, la configuration et la composition des services existants pour faire face aux changements d’exécution ou à l’évolution des besoins des utilisateurs finaux. Contrairement aux autres systèmes logiciels traditionnels, le comportement dynamique des systèmes basés sur les services nécessite des informations de qualité de service (QoS) actualisées pour assurer une gestion appropriée dans les différentes étapes du cycle de vie. Les entreprises doivent connaître les performances des services Web et des processus métier pour préserver leur pérennité en matière de réutilisation des services. Les trois principaux avantages de la réutilisation des services sont l'amélioration de l'agilité des solutions en assemblant rapidement de nouveaux processus métier à partir des services existants pour répondre aux besoins changeants du marché, réduire les coûts en ne développant pas de nouveaux services pour activer des fonctions métier similaires dans plusieurs processus métier, mais également le déploiement et la gestion des services dans les environnements d'exécution tout au long du cycle de vie SOA. Cependant, il existe actuellement de nombreux défis liés à la durabilité et à la gouvernance du comportement des services pendant son cycle de vie. Parmi ces défis, on peut citer le niveau de performance, la persistance des exigences et l'adaptabilité du service. De plus, il existe certaines limites des outils de surveillance. Ils manquent d’anticipation dans la détection des problèmes et ils sont passifs et ne sont ni réactifs ni prédictifs. Cette thèse porte sur l’évaluation et les recommandations en matière de performance et de gouvernance des systèmes d’information pour suggérer la réutilisation des services au cours de son évolution. L'objectif est de maintenir la durabilité, la robustesse, l'adaptabilité, la réutilisabilité et l'évolutivité des systèmes d'information. À cette fin, nous évaluons les performances de l'architecture orientée service. Il existe plusieurs solutions de surveillance existantes conçues pour prendre en charge une couche spécifique de SOA. En particulier, BAM est un outil de surveillance des activités commerciales permettant de surveiller le flux de données pour les processus métier. Cependant, la surveillance BAM ne fournit pas l'évaluation des performances pour recommander des services et des processus à réutiliser. Il existe très peu d'approches prenant en charge la surveillance des couches SOA. De plus, les solutions sont partiellement dynamiques avec une aide à la décision limitée. Par conséquent, nous proposons une aide à la décision basée sur la performance pour une architecture orientée services. Il se compose de quatre couches en tant que couches de spécification, de gestion des données, d'exploration de données et de décision. La couche de spécification identifie les exigences de l'utilisateur final et les traite via l'ontologie proposée. La couche de données analyse les indicateurs techniques conformes aux normes de qualité les plus récentes, ISO 25010. Les caractéristiques de qualité sont liées à l'efficacité des performances, à la fiabilité et à la réutilisation. La couche d'exploration de données génère des décisions spécifiques basées sur des instances de service en appliquant les algorithmes d'apprentissage automatique. Il utilise les concepts ontologiques proposés et les règles d'inférence sémantique du service, des processus métier, des couches serveur et d'intégration. La couche d'exploration de données renvoie aux ontologies avec ces décisions spécifiques où des règles plus raffinées ont été générées.... / Reuse of services in supporting new business processes, in addition to alignment of IT with business functions, is a key motivation in using Service-Oriented Architecture (SOA) for developing business solutions. In a service-oriented architecture, it is important to smooth the selection, configuration and composition of existing services to deal with the runtime changes or the evolution of End User requirements. In contrast to other traditional software systems, the dynamic behavior of service based systems requires up-to-date quality of service (QoS) information for its proper management in the different stages of the lifecycle. Organizations need to know the performance of Web services and business processes to maintain their sustainability for reuse of services. The three key benefits of service reuse are improving agility of solutions by quickly assembling new business processes from existing services to meet changing marketplace needs, reducing cost by not developing new services for enabling similar business functions across multiple business processes, but also spanning service deployment and management in runtime environments throughout the SOA lifecycle. However currently, there are many challenges related to the sustainability and governance of service behavior during its lifecycle. Among those challenges, one can mention level of performance, persistence of the requirements and adaptability of the service. Moreover, there are some limitations of monitoring tools. They lack of anticipation in problem detection, and they are passive and neither reactive nor predictive. This thesis focuses on providing assessment and recommendations for performance and governance of information systems for suggesting service reuse during its evolution. The aim is to maintain sustainability, robustness, adaptability, reusability and evolvability of information systems For this purpose, we evaluate the performance of service oriented architecture. There are several existing monitoring solutions designed to support a specific layer of SOA. Particularly, BAM is a business activity monitoring tool for monitoring the flow of data for business processes. However, BAM monitoring do not provide the performance evaluation for recommending services and processes to reuse. There are very few approaches that support monitoring of SOA layers together. Furthermore, the solutions are partially dynamic with limited decision support. Therefore, we propose performance based decision support for service oriented architecture. It consists of four layers as specification, data management, data mining and decision layers. The specification layer identifies the requirements from the End User and process through the proposed ontology. The data layer analyzes technical indicators that are compliant to the latest quality standard, ISO 25010. Quality characteristics are related to performance efficiency, reliability and reusability. The data mining layer generates specific decisions based on service instances by applying the machine learning algorithms. It uses the proposed ontological concepts and semantic inference rules of service, business process, server and integration layers. The data mining layer returns back to ontologies with these specific decisions where more refined rules have been generated from new ontological concepts. The decision layer processes these results and generates a global decision in terms of recommendations. It provides multi-viewpoints decision to reuse existing services or suggesting their composition. To motivate the proposition of this approach, we illustrate the implementation of the proposed algorithms for all the four layers by a business process use case and data set of public repository of shared services. The output of our system is recommendation for reuse of atomic service, composite service and resource allocation provisioning. We ensure the sustainability, adaptability...

Les travaux sur la gestion des services web utilisent généralement des techniques du domaine de la recherche d'information, de l'extraction de données et de l'analyse linguistique. Alternativement, nous assistons à l'émergence de la modélisation thématique probabiliste utilisée initialement pour l'extraction de thèmes d'un corpus de documents. La contribution de cette thèse se situe à la frontière de la modélisation thématique et des services web. L'objectif principal de cette thèse est d'étudier et de proposer des algorithmes probabilistes pour modéliser la structure thématique des services web. Dans un premier temps, nous considérons une approche non supervisée pour répondre à différentes tâches telles que la découverte et le regroupement de services web. Ensuite, nous combinons la modélisation thématique avec l'analyse de concepts formels pour proposer une méthode de regroupement hiérarchique de services web. Cette méthode permet une nouvelle démarche de découverte interactive basée sur des opérateurs de généralisation et spécialisation des résultats obtenus. Enfin, nous proposons une méthode semi-supervisée pour l'annotation automatique de services web. Nous avons concrétisé nos propositions par un moteur de recherche en ligne appelé WS-Portal. Nous offrons alors différentes fonctions facilitant la gestion de services web, par exemple, la découverte et le regroupement de services web, la recommandation des tags, la surveillance des services, etc. Nous intégrons aussi différents paramètres tels que la disponibilité et la réputation de services web et plus généralement la qualité de service pour améliorer leur classement (la pertinence du résultat de recherche). / The works on web services management use generally the techniques of information retrieval, data mining and the linguistic analysis. Alternately, we attend the emergence of the probabilistic topic models originally developed and utilized for topics extraction and documents modeling. The contribution of this thesis meets the topics modeling and the web services management. The principal objective of this thesis is to study and propose probabilistic algorithms to model the thematic structure of web services. First, we consider an unsupervised approach to meet different tasks such as web services clustering and discovery. Then we combine the topics modeling with the formal concept analysis to propose a novel method for web services hierarchical clustering. This method allows a novel interactive discovery approach based on the specialization and generalization operators of retrieved results. Finally, we propose a semi-supervised method for automatic web service annotation (automatic tagging). We concretized our proposals by developing an on-line web services search engine called WS-Portal where we incorporate our research works to facilitate web service discovery task. Our WS-Portal contains 7063 providers, 115 sub-classes of category and 22236 web services crawled from the Internet. In WS- Portal, several technologies, i.e., web services clustering, tags recommendation, services rating and monitoring are employed to improve the effectiveness of web services discovery. We also integrate various parameters such as availability and reputation of web services and more generally the quality of service to improve their ranking and therefore the relevance of the search result.

Cette thèse se place dans le cadre de services web en dépassant leur description pour considérer leur structuration en réseaux (réseaux d'interaction et réseaux de similitude). Nous proposons des méthodes basées sur les motifs, la modélisation probabiliste et l'analyse des concepts formels, pour améliorer la qualité des services découverts. Trois contributions sont alors proposées: découverte de services diversifiés, recommandation de services et cohérence des communautés de services détectées. Nous structurons d'abord les services sous forme de réseaux. Afin de diversifier les résultats de la découverte, nous proposons une méthode probabiliste qui se base à la fois sur la pertinence, la diversité et la densité des services. Dans le cas de requêtes complexes, nous exploitons le réseau d'interaction de services construit et la notion de diversité dans les graphes pour identifier les services web qui sont susceptibles d'être composables. Nous proposons également un système de recommandation hybride basé sur le contenu et le filtrage collaboratif. L'originalité de la méthode proposée vient de la combinaison des modèles thématiques et les motifs fréquents pour capturer la sémantique commune maximale d'un ensemble de services. Enfin, au lieu de ne traiter que des services individuels, nous considérons aussi un ensemble de services regroupés sous forme de communautés de services pour la recommandation. Nous proposons dans ce contexte, une méthode qui combine la sémantique et la topologie dans les réseaux afin d'évaluer la qualité et la cohérence sémantique des communautés détectées, et classer également les algorithmes de détection de communautés. / As a part of this thesis, we exceed the description of web services to consider their structure as networks (i.e. similarity and interaction web service networks). We propose methods based on patterns, topic models and formal concept analysis, to improve the quality of discovered services. Three contributions are then proposed: (1) diversified services discovery, (2) services recommendation and (3) consistency of detected communities. Firstly, we propose modeling the space of web services through networks. To discover the diversified services corresponding to a given query, we propose a probabilistic method to diversify the discovery results based on relevancy, diversity and service density. In case of complex requests, it is necessary to combine multiple web services to fulfill this kind of requests. In this regard, we use the interaction web service network and the diversity notion in graphs to identify all possible services compositions. We also propose a new hybrid recommendation system based on both content and collaborative filtering. Its originality comes from the combination of probabilistic topic models and pattern mining to capture the maximal common semantic of a set of services. Finally, instead of processing individual services, we consider a set of services grouped into service communities for the recommendation. We propose in this context, a new method combining both topology and semantics to evaluate the quality and the semantic consistency of detected communities, and also rank the detection communities algorithms.

La composition automatisée de services Web ou le processus de formation de nouveaux services Web à plus forte valeure ajoutée est l'un des plus grand défis auxquels le Web sémantique est face aujourd'hui. La sémantique permet d'un côte de décrire les capacités des services Web mais aussi leurs processus d'exécution, d'où un élément clé pour la composition automatique de services Web. Dans cette étude de doctorat, nous nous concentrons sur la description fonctionnelle des services Web c'est-à-dire, les services sont vus comme une fonction ayant des paramètres i) d'entrée, de sortie sémantiquement annotés par des concepts d'une ontologie de domaine et ii) des conditions préalables et effets conditionnels sur le monde. La composition de services Web est alors considérée comme une composition des liens sémantiques où les lois de cause à effets ont aussi un rôle prépondérant. L'idée maîtresse est que les liens sémantiques et les lois causales permettent, au moment de l'exécution, de trouver des compatibilités sémantiques, indépendamment des descriptions des services Web. En considérant un tel niveau de composition, nous étudions tout d'abord les liens sémantiques, et plus particulièrement leurs propriétés liées à la validité et la robustesse. A partir de là et dépendant de l'expressivité des services Web, nous nous concentrons sur deux approches différentes pour effectuer la composition de services Web. Lors de la première approche, un modèle formel pour effectuer la composition automatique de services Web par le biais de liens sémantiques i.e., Matrice de liens sémantiques est introduite. Cette matrice est nécessaire comme point de départ pour appliquer des approches de recherche basées sur la régression (ou progression). Le modèle prend en charge un contexte sémantique et met l'accent sur les liens sémantiques afin de trouver des plans corrects, complets, cohérents et robustes comme solutions au problème de composition de services Web. Dans cette partie un modèle formel pour la planification et composition de services Web est présenté. Dans la seconde approche, en plus de liens sémantiques, nous considérons les lois de causalité entre effets et pré-conditions de services Web pour obtenir les compositions valides de services Web. Pour ceci, une version étendue et adaptée du langage de programmation logique Golog (ici sslGolog) est présentée comme un formalisme naturel non seulement pour le raisonnement sur les liens sémantiques et les lois causales, mais aussi pour composer automatiquement les services Web. sslGolog fonctionne comme un interprète qui prend en charge les paramètres de sortie de services pour calculer les compositions conditionnelles de services. Cette approche (beaucoup plus restrictive) suppose plus d'expressivité sur la description de service Web. Enfin, nous considérons la qualité des liens sémantiques impliqués dans la composition comme critère novateur et distinctif pour estimer la qualité sémantique des compositions calculées. Ainsi les critères non fonctionnels tels que la qualité de service(QoS) ne sont plus considérés comme les seuls critères permettant de classer les compositions satisfaisant le même objectif. Dans cette partie, nous nous concentrons sur la qualité des liens sémantiques appartenant à la composition de service Web. Pour ceci, nous présentons un modèle extensible permettant d'évaluer la qualité des liens sémantiques ainsi que leur composition. De ce fait, nous introduisons une approche fondée sur la sélection de liens sémantiques afin de calculer la composition optimale. Ce problème est formulé comme un problème d'optimisation qui est résolu à l'aide de la méthode par programmation linéaire entière. Notre système est mis en œuvre et interagit avec des services Web portant sur de scénarios de télécommunications. Les résultats de l'évaluation a montré une grande efficacité des différentes approches proposées.

This thesis presents an approach to design, specify, validate, verify, implement, and evaluate composed web/grid services. Web and grid services can be composed to create new services with complex behaviours. The BPEL (Business Process Execution Language) standard was created to enable the orchestration of web services, but there have also been investigation of its use for grid services. BPEL specifies the implementation of service composition but has no formal semantics; implementations are in practice checked by testing. Formal methods are used in general to define an abstract model of system behaviour that allows simulation and reasoning about properties. The approach can detect and reduce potentially costly errors at design time. CRESS (Communication Representation Employing Systematic Specification) is a domainindependent, graphical, abstract notation, and integrated toolset for developing composite web service. The original version of CRESS had automated support for formal specification in LOTOS (Language Of Temporal Ordering Specification), executing formal validation with MUSTARD (Multiple-Use Scenario Testing and Refusal Description), and implementing in BPEL4WS as the early version of BPEL standard. This thesis work has extended CRESS and its integrated tools to design, specify, validate, verify, implement, and evaluate composed web/grid services. The work has extended the CRESS notation to support a wider range of service compositions, and has applied it to grid services as a new domain. The thesis presents two new tools, CLOVE (CRESS Language-Oriented Verification Environment) and MINT (MUSTARD Interpreter), to respectively support formal verification and implementation testing. New work has also extended CRESS to automate implementation of composed services using the more recent BPEL standard WS-BPEL 2.0.

La gestion des processus-métiers, des architectures orientées-services et leur rétro-ingénierie s'appuie fortement sur l'extraction des protocoles-métier des services Web et des modèles des processus-métiers à partir de fichiers de journaux. La fouille et l'extraction de ces modèles visent la (re)découverte du comportement d'un modèle mis en œuvre lors de son exécution en utilisant uniquement les traces d'activité, ne faisant usage d'aucune information a priori sur le modèle cible. Notre étude préliminaire montre que : (i) une minorité de données sur l'interaction sont enregistrées par le processus et les architectures de services, (ii) un nombre limité de méthodes d'extraction découvrent ce modèle sans connaître ni les instances positives du protocole, ni l'information pour les déduire, et (iii) les approches actuelles se basent sur des hypothèses restrictives que seule une fraction des services Web issus du monde réel satisfont. Rendre possible l'extraction de ces modèles d'interaction des journaux d'activité, en se basant sur des hypothèses réalistes nécessite: (i) des approches qui font abstraction du contexte de l'entreprise afin de permettre une utilisation élargie et générique, et (ii) des outils pour évaluer le résultat de la fouille à travers la mise en œuvre du cycle de vie des modèles découverts de services. En outre, puisque les journaux d'interaction sont souvent incomplets, comportent des erreurs et de l'information incertaine, alors les approches d'extraction proposées dans cette thèse doivent être capables de traiter ces imperfections correctement. Nous proposons un ensemble de modèles mathématiques qui englobent les différents aspects de la fouille des protocoles-métiers. Les approches d'extraction que nous présentons, issues de l'algèbre linéaire, nous permettent d'extraire le protocole-métier tout en fusionnant les étapes classiques de la fouille des processus-métiers. D'autre part, notre représentation du protocole basée sur des séries temporelles des variations de densité de flux permet de récupérer l'ordre temporel de l'exécution des événements et des messages dans un processus. En outre, nous proposons la définition des expirations propres pour identifier les transitions temporisées, et fournissons une méthode pour les extraire en dépit de leur propriété d'être invisible dans les journaux. Finalement, nous présentons un cadre multitâche visant à soutenir toutes les étapes du cycle de vie des workflow de processus et des protocoles, allant de la conception à l'optimisation. Les approches présentées dans ce manuscrit ont été implantées dans des outils de prototypage, et validées expérimentalement sur des ensembles de données et des modèles de processus et de services Web. Le protocole-métier découvert, peut ensuite être utilisé pour effectuer une multitude de tâches dans une organisation ou une entreprise.

Au cours des dernières décennies, Internet a connu une révolution et une croissance exponentielle.A la suite de cette croissance, un grand nombre de services web et d’applications ont émergé pour répondre aux différents besoins des consommateurs. En même temps, l’industrie du réseau mobile est devenue omniprésente, ce qui rend la plupart des utilisateurs inséparables de leurs terminaux mobiles. La combinaison de la technologie mobile et des services web fournit un nouveau paradigme appelé services web mobiles. Ainsi, la consommation des services web a` partir des appareils mobiles émerge en proposant plusieurs facilites´ aux utilisateurs et en imposant plus de manipulations de ces services.En effet, afin que les utilisateurs trouvent des services répondant a` leurs besoins, un mécanisme de découverte est nécessaire, par ailleurs, les demandes sont devenues non seulement plus complexes mais aussi plus dynamiques, un service unique qui offre une fonctionnalité simple et primitive est devenu insuffisant pour satisfaire les besoins et les exigences complexes. Par conséquent, la combinaison de multiples services pour fournir un service composite est de plus en plus utilisée demandée. Nous parlons ainsi des mécanismes de découverte et de composition des services web mobiles. Ces deux paradigmes sont mutuellement liés et complémentaires.La découverte et la composition des services web dans un environnement mobile soulèvent plusieurs défis qui n’existent pas dans un environnement classique (non mobile). Parmi ces défis se trouve les contraintes limitées de l’appareil mobile, appelé dans ce travail contexte statique, ainsi que le changement de contexte qui est duˆ principalement a` la mobilité du dispositif, appelé contexte dynamique.Ainsi, l’objet de la présente thèse est de proposer un Framework de composition de services web mobile englobant deux approches complémentaires. Une première approche proposée est consacrée a` la découverte des services web mobiles appelée MobiDisc et une deuxième qui propose une solution a` la problématique de composition dans un contexte dynamique. Notre première approche exploite le contexte statique avec les propriétés de QoS et les préférences´ utilisateurs dans les descriptions sémantiques des services et de la requête utilisateur afin d’augmenter l’exactitude du processus de découverte. Quand a` l’approche de composition, elle met l’accent sur le contexte dynamique qui peut modifier le résultat de la composition. L’objectif est de déterminer la sensibilité des services au contexte dynamique et de générer des plans de composition pour l’utilisateur tries´ selon leurs valeurs de sensibilité globale lui permettant de choisir la meilleure composition. / Over the last two decades, Internet has grown exponentially. causing the emergence of web ser-vices and applications that meet the different needs of the consumers. During the same period, the mobile network industry has become ubiquitous, making most users inseparable from their mobile devices. So the combination of mobile technology and web services provides a new paradigm named mobile web services. Thus, the consumption of web services from mobile devices emerges by offering several facilities to users and requiring greater manipulation of these services such as discovery, composition and execution.Indeed, in order for users to find services that meet their requirements, a discovery mechanism is needed. Since requests have become not only more complex, but also more dynamic, a single service that offers simple and primitive functionality has become insufficient to satisfy the complex requirements. Therefore, the combination of multiple services to provide a composite service is more and more requested. We talk about mobile web service discovery and composition. These two paradigms are mutually linked and complementary.The discovery and composition of web services in a mobile environment raise several challenges that do not exist in a traditional (non-mobile) environment. Among these challenges are the limited constraints of the mobile device, called in this work static context, as well as the change of context which is due mainly to the mobility of the device which called dynamic context.In this thesis we propose a framework for the composition of mobile web services encompassing two complementary approaches. A first proposed approach called MobiDisc, speaking about the discovery of mobile web services and a second that proposes a solution to the problem of composition in a dynamic context. Our first approach uses the static context with QoS properties and user preferences in the semantic descriptions of services and the user query to increase the accuracy of the discovery process. As for the second compositional approach, it focuses on the dynamic context that can modify the composition result. The objective is to determine the sensitivity of the services to the dynamic context and to generate composition plans to the user ordered according to a sensitivity value.

Les services Web ont émergé comme un support de développement et d’intégration d’applications ou de systèmes d’information. Dans ce cadre, les interactions entre deux applications consommateur et fournisseur, encapsulées par des services Web se font par échanges de messages. Ces échanges s’appuient sur la notion d’interfaces, qui décrivent les interactions dans lesquelles un service peut s’engager et les dépendances entre ces interactions. Dans le Web actuel, il arrive très fréquemment que de nombreux services répondent à un même ensemble de besoins fonctionnels. Ces services sont souvent offerts par le biais d’interfaces différentes. Des nombreuses raisons, telles que la panne du service fournisseur, peuvent amener un consommateur à substituer son fournisseur habituel par un autre fournisseur qui offre la même fonctionnalité. Cette substitution provoque des incompatibilités entre l’interface du service consommateur et celle du service fournisseur substitut. Cela est dû au fait que le service consommateur n’a pas été fait en fonction de ce nouveau service fournisseur. Les recherches que nous menons dans cette thèse visent à résoudre le problème des incompatibilités dans des interactions entre deux services consommateur et fournisseur substitut. En particulier, notre contribution s’étend, tant sur le plan théorique que sur le plan pratique. Il s’agit d’une part d’un canevas pour la génération automatique des adaptateurs des interactions entre deux services. D’autre part, nous proposons une architecture logicielle multicouche fournissant un cadre permettant une substitution transparente et flexible d’un service fournisseur par un autre service vis-à-vis du consommateur du premier. Dans notre canevas pour la génération automatique des adaptateurs, une modélisation des interfaces de services en des automates a été adoptée. Puis, une étape de détection des incompatibilités entre ceux-ci est réalisée. Ensuite, un adaptateur des interactions entre les deux services est généré automatiquement sur la base d’incompatibilités détectées. La génération de l’adaptateur est guidée par le modèle d’automates. Cela permet de modéliser l’adaptateur indépendamment de son implémentation cible, permettant ainsi une bonne réutilisation des modèles. Une fois généré, l’automate de l’adaptateur suffisamment détaillé est projeté sur la technologie CEP (Complexe Event Processing). Cette projection est réalisée à l’aide des composants cartouches (en anglais : Templates) que nous avons mis en oeuvre. Chaque cartouche étant conçue pour générer du code exécutable (en termes de requêtes continues) pour la technologie CEP / Web services have emerged as a support for development and integration of applications and information systems. In this context, the interactions between two consumer and supplier applications, encapsulated by Web services are done by exchanging messages. These exchanges are based on the concept of interfaces, which describe the interactions in which a service can handle and dependencies between these interactions. In the current Web, it is very often that many services meet the same set of functional requirements. These services are often delivered through different interfaces. For many reasons, such as failure of the service provider, the consumer has to replace his usual supplier with another supplier that offers the same functionality. This substitution leads to incompatibilities between the interfaces of the service consumer and new service provider. This is because the customer service was not been developed according to the new service provider. The research we conduct in this thesis aims to solve the problem of incompatibility in the interaction between two services; consumer and new provider. In particular, our contribution extends both in theory and in practice. It is a part of a framework for the automatic generation of adapters for interactions between two services. On the other hand, we propose a multi-layer software architecture providing a framework for transparent and flexible substitution of a service provider by another with respect to an existed consumer. In our framework for automatic generation of adapters, services interfaces modeling using automata has been adopted. Then, a step of detecting incompatibilities between them is achieved. After that, an adapter of the interactions between the two services is generated automatically based on the detected incompatibilities. The generation of the adapter is based on the automata model. The generated adapter automaton contains a sufficient detail for the projected technology CEP (Complex Event Processing). This projection is performed using components templates that are implemented by us. Each template is designed to generate executable code (in terms of continuous requests) for the CEP technology