Many-Objective Evolutionary Algorithms in the Composition of Web Services

Managing Service Level Agreement (SLA) for composite semantic web services is a very complex process, as it involves many complex tasks such as components discovery, provisioning, monitoring, recovery, and coordination. Indeed, managing all these tasks manually is a very cumbersome operation, nevertheless it is time consuming and prone to errors. To overcome such problems, automated SLA management for composite semantic web services is needed. This requires the SLA of the composite service to be described in a machine-understandable format such that it can be understood and processed by the automated SLA management tool. Currently, there is no SLA description language for composite semantic web services, but there exists an SLA description language for atomic web services, known as the Web Service Level Agreement (WSLA). Hence, in this paper, we aim to extend the WSLA language to describe composite semantic web services' SLAs, then we show how we can automatically generate the components' SLAs from the composite semantic web services' SLAs; adopting the CRECENT framework that we previously proposed for managing composite web services.

Aiming at the hot and difficult issues in Web services and service composition, this paper analyzes and studies the selection of Web services and service composition from the functional and non functional attributes of Web services, and mainly makes the following work and innovation. First of all, the functional attributes of Web services are studied, Web services on various service provision platforms are collected, and Web services are classified. Secondly, aiming at the shortcomings of existing Web service QoS attribute evaluation models, an improved method is proposed, which introduces a comprehensive evaluation mechanism of variable weight vector. Based on the constant weight comprehensive evaluation method, the state variable weight vector is established to dynamically adjust the attribute weights of various service QoS indicators, so as to improve the accuracy and objectivity of the Web service QoS attribute evaluation. Finally, in view of the defects and deficiencies of traditional algorithms in the selection of Web service composition, the particle swarm optimization algorithm with linearly decreasing inertia weight and learning factor is introduced, which better balances the self cognition and social learning ability of particles, and improves the search speed and global search ability of particles. And a large number of experiments are carried out to compare it with the traditional algorithm, which verifies the effectiveness and superiority of the improved particle swarm optimization algorithm.

We propose an efficient method to detect conflicts, which may occur during the execution time of composite web services, based on model checking. The proposed method does not only check whether a composite service satisfies the correctness claims specified by a service developer, but it also detects any possible conflicts from the control and data flow of a composite service at the time of service development. The proposed method divides correctness claims into four types depending on their application time: pre/post-condition, policy, and assumption. Specifically, composite services and correctness claims are modelled by OWL-S and SWRL, respectively. The proposed method automatically converts the control and data flow of an OWLS composite service and the correctness claims into Promela code and LTL formulas, which are given as the input of a SPIN model checker. Experimental results under real-world scenarios show that the proposed method detects conflicts in composite web services effectively.

As Web services become widespread, many complex applications require service composition to cope with high scalability and heterogeneity. Centralized Web service composition approaches are not sufficient as they always limit the scalability and stability of the systems. How to efficiently compose and adapt Web services under decentralized environments has become a critical issue, and important research question in Web service composition. In this paper, a stigmergic-based approach is proposed to model dynamic interactions among Web services, and handle some issues in service composition and adaptation. In the proposed approach, Web services and resources are considered as multiple agents. Stigmergic-based self-organization among agents are adopted to evolve and adapt Web service compositions. Experimental results indicate that by using this approach, service composition can be efficiently achieved, despite dealing with incomplete information and dynamic factors in decentralized environments.

: Web Services is an emerging paradigm in which very loosely coupled software components are published, located, and invoked on the Web as parts of distributed applications. Web Services provide a new way of distributed computing where the interoperability between diverse applications is achieved through platform and language independent interfaces. The main focus of Web Services is the ability to easily combine existing components to create compositions that provide novel functionality that was not directly available from the existing services. Web Services composition is useful for a wide range of audience: ordinary users doing everyday tasks on the Web, commercial organizations involved in e-business applications, and researchers doing intense scientific computation over distributed networks. Automated composition of Web Services requires fairly rich machine-understandable descriptions of services that can be shared between heterogeneous agents. Given appropriate descriptions, AI planning techniques can be employed to automate the composition of Web Services described this way. The purpose of this research is to show that AI planning techniques can be extended to automatically generate useful and purposeful compositions of Web Services under incomplete information. We have worked on how Web Ontology Language (WOL) can be used to describe Web Services. We have also studied how planning techniques can be used for automated composition of Web Services. In both systems, reasoning with Web Ontologies has been used to facilitate the composition task. Our goal is to investigate how these approaches can be combined with each other and can be extended to efficiently address the issues related to the nature of the Web.

The article describes a method for developing and modelling composite web-services. Web-service composition is used to derive new functionality from the interaction of existing web-services. Composite web-services are built in several stages: specifications (determining the type of service); development of the structure of the service based on the algebra of services; service composition modelling; selecting a service variant and generating a service. The main elements of the proposed approach are the algebra of services and web-services interaction models (basic and composite). The above approach formally presents the consideration of the main aspects in solving problems related to the construction of effective composite web-services and the selection of mathematical models, namely: description of web-services, determining the structure of web-services, taking into account the dynamics of information changes, taking into account the main uncertainties in building the structure web-services. Based on the approach, a method for constructing composite web-services has been developed. The method is based on an algebraic description of a web-service based on a specialized algebra of services. The method consists of the following steps: description of the task of developing a web-service; development of the structure of a web service based on the algebra of services; formal description of the structure and clarification of service operations; building models of functioning and interaction of service components; building simulation models of the composite service; defining the final structure of the composite service; web-service implementation. The main tool for describing composite services is the algebra of services, and the model building tool is colouredPetri nets implemented using СPN Tools. As an example of the application of the developed method, the construction of a pharmaceutical service is described, in which the modellingof the interaction of web-services based on Petri nets is used. The process of building a composite model of a web-service is considered. The process begins with building a pharmaceutical web-service model structure based on the service algebra. Based on the service algebra, operators were developed to implement composite services. The structure of the model is developed, which is presented in the form of a formal description. The process of building pharmaceutical service models in the СPN Tools environment is described in detail.

With the increasing presence of web services on the Internet, Quality of Service (QoS) is becoming important for describing non-functional characteristics of web services, and is often employed in web service composition. As QoS is an aggregated concept consisting of several attributes, service composition on enormous candidate sets is a challenging multi-objective optimization problem. In this paper, we study the problem from a general Pareto-optimal angle, seeking to reduce the search space in service composition. QoS attributes are systematically studied according to their different types of aggregation pattern in service composition, and QoS-based dominance relationships between candidates and between workflows are defined. Taking advantage of pruning candidates by dominance relationships and constraint validations at candidate level, a service composition algorithm using partial selection technique is proposed, which is able to significantly reduce the search space and achieve great performance gains. A careful analysis of the optimality of our approach is provided, and its efficacy is further validated by empirical evaluation.

A High-level Petri Net Based Approach for Modeling and Composition of Web Services

The Business Process Execution Language (BPEL) has become the standard in Web service composition, so that been adopted by industries to create mission critical services. The business process reliability especially business process consistency when some services failed is critical to composite services especially involving various organizations. However, it is difficult to conduct business process reliability testing for composite services due to complex business process in service composition, remote deployed services and long time testing duration. Little research is done to test fault tolerance capabilities of composite services only from low level. This paper proposes a technique on how to test the reliability of composite service defined in BPEL from the view of business semantics with little cost using fault injection. We present an approach for reliability testing of web services by using service stubs with semantic faults instead of real services which can be placed at service provider side or service consumer side. Dislike existing studies, we focus on how to find the reliability problems associating with business process - called semantics as the problems are not pure coding error but faults related to business process. In addition, the behavior of composite services in BPEL is analyzed when there are faults in orchestrated services invoked. Finally, a case study is given to show the whole process of reliability testing for composite web service.

As the capability of an individual Web service is limited, it's necessary to create new functionalities with existing Web services. Web services composition is the ability to create a new value-added service by incorporating some existing Web services together. An important challenge for Web services composition is how to ensure the correctness and reliability of the WS-BPEL (Web services business process execution language) process and the composition. A graphical and formal modeling tool suitable for solving this problem is CPN (Colored Petri net), which provides formal semantics and a number of analysis techniques for modeling and verifying web services composition. This paper proposes a CPN-based model for web services composition, describes how to translate WS-BPEL to CPN model, and discusses the analysis and verification of services composition. The model enables efficient composition of Web services and validates the correctness of composition by formal verification.

An efficient composition of Web services with active network support

With the development of Internet and Web service technology, Web service composition has been an effective way to construct software applications; service selection is the crucial element in the composition process. However, the existing selection methods mostly generate static plans since they neglect the inherent stochastic and dynamic nature of Web services. As a result, Web service composition often inevitably terminates with failure. An indeterminacy-aware service selection algorithmbased on an improved Markov decision process (IMDP) has been designed for reliable service composition, but it suffers from higher computation complexity. Therefore, an efficient method is proposed, which can reduce the computation cost by converting the service selection problem based on IMDP into solving a nonhomogeneous linear equation set. Experimental results demonstrate the success rate of service composition has been improved greatly, whilst also reducing computation cost.

Service-Oriented Computing (SOC) is a new computing paradigm that utilizes service to support the development of rapid, low-cost and easy composition. SOC promotes creation of new services by composition. In the composition process, requirements are described by requestor and Web service offered by the provider, a provider is the owner of service his role is to create service and publish it to make it available to customers and partners. A number of Web services compositions approaches have been presented to satisfy the end user's requirements. Interactive Web services compositions (IWSC) creates new value by adapting the end-user's requirements, the end-user corresponds to the person requesting the service and who will search and invoke the service. With the emergence of collective intelligence (CI), IWSC allows a better end-user's satisfaction. In this paper, we propose a new approach that supports Collective intelligence for satisfying the actor's requirements that suggests a model to help the web services composition. Our approach uses the beneficial roles of collaboration as a key for future services composition. It uses also the interactivity between the actors, user interaction during a service composition will contribute in the satisfaction degree of the actors.

With the emergence of service-oriented architecture web service and service composition technology have become gradually the important means of improving the agility, flexibility and availability of enterprise information system integration and implementation collaborative commerce among enterprises. Combining web service with workflow, the paper analyses workflow-oriented, cross-organization and distributed dynamic service composition mechanism, then explores the general model of implementing hierarchy composition planning of dynamic web services based on workflow model. Also, considering multi-layers and multi-available services a novel search algorithm of optimized service composition path based on path cost and service preference is designed and illustrated by an example.

The support for non-functional concerns (NFC) is essential for the success and adoption of web services. However, state of the art works offer only a limited support for these concerns especially when it comes to the composition of multiple non-functional concerns with composite web services. In this paper, we focus on the composition of non-functional actions (NFA) with composite web services whose composition logic is made explicit using languages such as BPMN2 or WS-BPEL (gray box view). In contrast to the black box view where only the interface of the service is visible the gray box view reveals additional information on control flow, data flow, composed services, etc. NFAs can also be composite and constitute complex processes such as secure conversations or transactions which have to be integrated with composite web services. Additionally, the execution order of multiple superimposing NFA has to be declared. In our approach we introduce a model-driven approach for the integrated specification and realization of the different types of NFC composition (NFAs with composite services, execution order of superimposing NFAs and composite NFAs) as well as a set of editors and code generators supporting this approach.