Une Approche de Composition de Services Dynamiques : application aux Systèmes Collaboratifs

The composition of services is a process of grouping several services into a single service to perform important functions. In recent decades, many languages have been proposed for their modeling. Most of them are based on process-oriented approaches. The latter produce imperative languages, which are rigid to change because they focus on how processes should be constructed. Despite the fact that semantics are introduced in languages to increase their flexibility, dynamism is limited to finding services that have disappeared or have become defective. They do not offer the possibility of adapting the composite service to the execution. Although rule-based languages have been introduced, they describe constraints to guide the construction of composite services, they remain very dependent on BPML which is the underlying technology and are centralized. This thesis proposes the specification of a purely declarative language based on rules for the composition of services in a peer-to-peer environment. A declarative approach has properties of flexibility, adaptability, reusability and even formal semantics. First, we propose a declarative language named GSLang for the composition of services. We define a composite service as a rule of production of a grammar with a left-hand side (LHS) which is the service to define and a right-hand side (RHS) being the services required to realize the LHS service. The syntactic categories presenting the concepts of GSLang and a formal description of the operational semantics which highlights dynamism, flexibility and adaptability are defined. Next, a verification framework is designed. Using the Model Driven Engineer, we define a meta-model for the GSLang language. The verification framework translates the GSLang service specifications into the Promela language for the verification. The latter makes it possible to verify in particular that a service specification GSLang is resolved. Finally, a set of tools is proposed consisting of an editor for the GSLang specifications, a transformation engine and an execution engine. Finally, a case study of a simplified mission management system is presented in order to show how to specify a system completely using our approach and highlighting its properties.La composition des services est un processus qui consiste à assembler plusieurs services en un afin de remplir des fonctions plus importantes. Dans les dernières décennies, de nombreux langages ont été proposés pour leur modélisation. La plupart d'entre eux sont inspirés de la modélisation les Workflows. Ces approches produisent des langages impératifs, qui sont rigides au changement car ils se concentrent sur la façon dont les processus doivent être construits. Malgré le fait que la sémantique (via les annotations) soit introduite dans les langages pour augmenter leur flexibilité, le dynamisme se limite à trouver des services qui ont disparu ou qui sont devenus défectueux. Ces langages n'offrent pas la possibilité d'adapter le service composite à l'exécution. Pour pallier à ces manquements, des langages déclaratifs basés sur les règles ont été introduits. Ils décrivent des contraintes pour orienter la construction des services composites, ils sont centralisés et restent très dépendants de BPML qui est la technologie sous-jacente. Cette thèse propose la spécification d'un langage purement déclaratif basé sur des règles pour la composition des services dans un environnement pair-à-pair. Une approche déclarative a des propriétés de flexibilité, d'adaptabilité, de réutilisabilité et même de sémantique formelle. Tout d'abord, nous proposons un langage déclaratif nommé GSLang pour la composition des services. Nous définissons un service composite comme une règle de production d'une grammaire avec une partie gauche (LHS) qui est le service à définir et une partie droite (RHS) constituée de services requis pour réaliser le service LHS. Les catégories syntaxiques présentant les concepts de GSLang et une description formelle de la sémantique opérationnelle qui met en évidence le dynamisme, la flexibilité et l'adaptabilité sont également définis. Ensuite, un framework de vérification est conçu. En utilisant l'Ingénieure Dirigée par les Modèles, nous définissons un méta-modèle pour le langage GSLang. Le framework de vérification traduit les spécifications de services GSLang vers le langage Promela pour la vérification. Ce dernier permet particulièrement de vérifier qu'une spécification de services GSLang se termine. Enfin un ensemble d'outils est proposé constitué d'un éditeur des spécifications GSLang(DSL), d'un moteur de transformation et d'un moteur d'exécution. Finalement, une étude de cas portant sur un système simplifié de gestion des missions est présentée afin de montrer comment spécifier complètement un système en utilisant notre approche et la mise en évidence de ses propriétés