Vers une plateforme dédiée à la composition automatique et l'exécution de services : Applications E-Tourisme

Recently, distributed computing systems based on context awareness have been proposing in several domains such as healthcare, logistics and tourism. The study described in this thesis is a part of a broader project of E-Tourism system that provides nomad user, context-aware personalized services. The work of this thesis focuses on the issues raised by web service composition and execution. Web service composition brings benefits of reusing existing services to synthesize the new resulting service that meets users needs. The way to create web service composition normally happens at design time, but this limits choices of services. This thesis presents a novel approach of automated web service composition and execution framework. Our approach aims to compose service operations that fulfill mobile users' requirements expressed in propositional logic and execute the resulting service based on aggregating multi service components. In the proposed framework, we have introduced our planning algorithm based on abstract goal states to search and connect to service operations, by mean of service operation annotations, for an abstract plan. The abstract plan is expected for workflow model of sequencing, paralleling and conditioning among service operations. However, the generated workflow is not in an executable form, this is why we perform the transformation of the workflow into an executable business process. To achieve the business process execution, we defined context based BPMN model for mapping the abstract plan to BPMN semantics. We also propose a new validation algorithm and exploited planning-as-model-checking approach to validate the semantic BPMN model whether it is Well-formed and Well-defined BPMN process. Finally, we implemented the automated service composition and execution framework system in Java platform as a proof of concept. We developed the logical composition and, transformation and validation BPMN algorithms written in Prolog. We have integrated these algorithms into the whole system. From the perspective, we plan to extend our current work and take into account more complex user's scenarios that explicitly and implicitly express other pattern controls and we will also consider the scenarios required for stateful web servicesLes systèmes de services contextualisés ont connu un grand essor ces dernières années dans des domaines variés tels que la santé, la logistique ou bien le tourisme. Cette thèse s'intègre dans un projet plus global, nommé E-Tourism, qui vise à réaliser une plateforme de fourniture de services sensibles au contexte à des utilisateurs en situation de mobilité. Le travail de cette thèse se focalise sur la problématique de composition de services web et de leur exécution. La composition de services web permet la réutilisation de services existants afin d'en faire une synthèse répondant au besoin de l'utilisateur. Cette composition se fait en général au niveau de la phase conceptuelle ce qui limite le choix de services potentiels. Cette thèse présente une nouvelle approche de la composition de services Web automatisé et une plateforme d'exécution. Notre approche vise à composer les opérations de services qui répondent aux besoins des utilisateurs mobiles exprimées dans une logique propositionnelle et exécuter le service composé en agrégeant plusieurs services composants. Nous avons proposé une plateforme d'exécution de services et nous avons introduit un nouvel algorithme de planification intégré à cette plateforme. Nous avons défini un contexte basé sur le modèle BPMN. Afin de valider notre modèle sémantique nous avons utilisé une approche de type « model-checking » . Enfin, nous avons réalisé un prototype sous forme d'une plateforme de composition de services et d'exécution automatique en Java. Nous avons implémenté les règles d'inférence et les modèles BPMN en prolog. Enfin, nous avons intégré ces algorithmes dans l'ensemble du système. En perspectives, nous prévoyons d'étendre notre travail actuel et prendre en compte des scénarios plus complexes nécessitant des services web dynamiques

MAPPING BPEL PROCESSES TO DIAGNOSTIC MODELS

Web services are loosely-coupled, self-contained, and self-describing software modules that perform a predetermined task. These services can be linked together to develop an appli­ cation that spans multiple organizations. This linking is referred to as a composition of web services. These compositions potentially can help businesses respond more quickly and more cost-effectively to changing market conditions. Compositions can be specified using a high- level workflow process language. A fault or problem is a defect in a software or software component. A system is said to have a failure if the service it delivers to the user deviates from compliance with the system specification for a specified period of time. A problem causes a failure. Failures are often referred to as symptoms of a problem. A problem can occur on one component but a failure is detected on another component. This suggests a need to be able to determine a problem based on failures. This is referred to as fault diagnosis. This thesis focuses on the design, implementation and evaluation of a diagnostic module that performs automated mapping of a high-level specification of a web services composition to a diagnostics model. A diagnosis model expresses the relationship between problems and potential symptoms. This mapping can be done by a third party service that is not part of the application resulting from the composition of the web services. Automation will allow a third party to do diagnosis for a large number of compositions and should be less error-prone

A survey of QoS-aware web service composition techniques

Web service composition can be briefly described as the process of aggregating services with disparate functionalities into a new composite service in order to meet increasingly complex needs of users. Service composition process has been accurate on dealing with services having disparate functionalities, however, over the years the number of web services in particular that exhibit similar functionalities and varying Quality of Service (QoS) has significantly increased. As such, the problem becomes how to select appropriate web services such that the QoS of the resulting composite service is maximized or, in some cases, minimized. This constitutes an NP-hard problem as it is complicated and difficult to solve. In this paper, a discussion of concepts of web service composition and a holistic review of current service composition techniques proposed in literature is presented. Our review spans several publications in the field that can serve as a road map for future research

A Taxonomy of Workflow Management Systems for Grid Computing

With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute scientific experiments on distributed resources. Such application scenarios require means for composing and executing complex workflows. Therefore, many efforts have been made towards the development of workflow management systems for Grid computing. In this paper, we propose a taxonomy that characterizes and classifies various approaches for building and executing workflows on Grids. We also survey several representative Grid workflow systems developed by various projects world-wide to demonstrate the comprehensiveness of the taxonomy. The taxonomy not only highlights the design and engineering similarities and differences of state-of-the-art in Grid workflow systems, but also identifies the areas that need further research.Comment: 29 pages, 15 figure

Enforcing reputation constraints on business process workflows

The problem of trust in determining the flow of execution of business processes has been in the centre of research interst in the last decade as business processes become a de facto model of Internet-based commerce, particularly with the increasing popularity in Cloud computing. One of the main mea-sures of trust is reputation, where the quality of services as provided to their clients can be used as the main factor in calculating service and service provider reputation values. The work presented here contributes to the solving of this problem by defining a model for the calculation of service reputa-tion levels in a BPEL-based business workflow. These levels of reputation are then used to control the execution of the workflow based on service-level agreement constraints provided by the users of the workflow. The main contribution of the paper is to first present a formal meaning for BPEL processes, which is constrained by reputation requirements from the users, and then we demonstrate that these requirements can be enforced using a reference architecture with a case scenario from the domain of distributed map processing. Finally, the paper discusses the possible threats that can be launched on such an architecture

A Constrained Object Model for Configuration Based Workflow Composition

Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving techniques. Recent research observed that building a composite workflow bears strong relationships with finite model search, and that some workflow languages can be defined as constrained object metamodels . This lead to consider the viability of applying configuration techniques to this problem, which was proven feasible. Constrained based configuration expects a constrained object model as input. The purpose of this document is to formally specify the constrained object model involved in ongoing experiments and research using the Z specification language.Comment: This is an extended version of the article published at BPM'05, Third International Conference on Business Process Management, Nancy Franc

Semantically Resolving Type Mismatches in Scientific Workflows

Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeling and enacting scientific experiments. Windows Workflow Foundation (WF) is a major component of Microsoft’s .NET technology which offers lightweight support for long-running workflows. It provides a comfortable graphical and programmatic environment for the development of extended BPEL-style workflows. WF’s visual features ease the syntactic composition of Web services into scientific workflows but do nothing to assure that information passed between services has consistent semantic types or representations or that deviant flows, errors and compensations are handled meaningfully. In this paper we introduce SAWSDL-compliant annotations for WF and use them with a semantic reasoner to guarantee semantic type correctness in scientific workflows. Examples from bioinformatics are presented