Web Services Composition Methods and Techniques: A Review <s> .B: Summary <s> The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of information. Many organizations are putting their core business competencies on the Internet as a collection of Web services. An important challenge is to integrate them to create new value-added Web services in ways that could never be foreseen forming what is known as Business-to-Business (B2B) services. Therefore, there is a need for modeling techniques and tools for reliable Web service composition. In this paper, we propose a Petri net-based algebra, used to model control flows, as a necessary constituent of reliable Web service composition process. This algebra is expressive enough to capture the semantics of complex Web service combinations. <s> BIB001 </s> Web Services Composition Methods and Techniques: A Review <s> .B: Summary <s> This paper proposes a technique for analysis and testing BPEL-based web service composition using High-level Petri Nets. To illustrate how these compositions are verified, the relationships between BPEL-based web service composition and High-level Petri Nets is constructed. By analyzing the structure of web service composition based on BPEL, the corresponding HPN is constructed. The dynamism and occurrence are presented in HPN with guard expression with coloured token. After translation, the equivalent HPN of the web service composition based on BPEL can be verified on existing mature tool, and the related researches on HPN, e.g. testing coverage and reduction techniques that have been studied deeply, can be employed in testing of web service composition based on BPEL, optimized test case can be generated based on the HPN translated. An example is provided to illustrate the translation ruled and the automatic verify progress. <s> BIB002 </s> Web Services Composition Methods and Techniques: A Review <s> .B: Summary <s> The automatic discovery and composition of Web services rely on the facilities offered by the providers of services in describing the functionalities of their services semantically and on the description of the client's requests and their needs, without being ambiguous. In this paper, we present a model of Semantic Annotations for Web Services Discovery and its Composition. The proposed approach uses an inter-connected network of semantic Web services describing in OWL-S, using the similarity measure (outputs-inputs similarity) between concepts based on ontology, built before any submitted request. In only one exploration, the composition algorithm can find several composition plans. But the selected composition plan must be ''the best one'' according to the quality criteria (similarity, time and memory space). This technique takes advantages from a graph structure, chaining algorithm of expert system and semantic annotations. <s> BIB003 </s> Web Services Composition Methods and Techniques: A Review <s> .B: Summary <s> Automatic composition of semantic Web services by requests is one of difficult problems in the field of Web services. In this paper we investigate Web services ontology and ant colony (AC) algorithm and propose a method of composition of semantic Web services (ACAC) that is based on ant colony algorithm. We generate a graph of input and output of semantic Web services, using this method, and then the composition of Web services is transformed into finding a satisfying path in the graph. So AC algorithm is used for efficient composition of Web services. Finally, we have tested ACAC with a test set and the results show that the algorithm can successfully compose the semantic Web services and is also able to ensure the quality and efficiency of composition. <s> BIB004 </s> Web Services Composition Methods and Techniques: A Review <s> .B: Summary <s> With the development of Internet and information sharing, semantic web attracts many re-searchers' attention in computer field. Web service composition is an important technology in domain of Web service. As integrated solution for realizing the vision of the next generation of the web, semantic web services combine the semantic web technology with web service technology, and thus enable automated discovery, selection, composition and execution of web services. Ontology is the theoretical foundation of semantic web services. Qos ontology of web services description is introduced. In this paper, a new composition algorithm of semantic Web service based on QoS ontology is proposed. Experiments are carried out to compare the new algorithm with some other web service composition algorithms. <s> BIB005 </s> Web Services Composition Methods and Techniques: A Review <s> .B: Summary <s> By using semantic web service composition, individual web services can be combined to create complex, but easily reconfigurable systems. Such systems can play a vital role in today's changing economic conditions, as they allow business to quickly adapt to market changes. Taking into consideration that manual web service composition is both time-consuming and error prone, the proposed framework uses a semi-automatic approach. The composition is done in a fractal manner as existing web service chains can easily be incorporated in new web service chains. <s> BIB006 </s> Web Services Composition Methods and Techniques: A Review <s> .B: Summary <s> Agent-oriented analysis and design is a prosperous approach to model and build software systems. On the other hand, semantic web services are software components that have been emerging to enable dynamic service discovery, composition, invocation, and provide services, which can be considered as the main function of an agent. Semantic web service composition is a feature that improves the flexibility of the system. In this paper we propose a multi-agent system for web service composition. We modeled it by MaSE (Multi-agent System Engineering) methodology, which is a top-down approach. Also an implementation of our system is illustrated for semantic search engines. The case study shows that our system is feasible and effective for composition of semantic web services in a distributed network. <s> BIB007 </s> Web Services Composition Methods and Techniques: A Review <s> .B: Summary <s> This paper presents a semi-automatic Web service composition approach. This approach ranks all available candidate Web service operations based on semantic annotations and suggests service operations to a human designer during the process of Web service composition. The ranking scores are based on data mediation, functionality and formal service specifications. A formal graph model, an IODAG, is defined to formalize an input/output schema of a Web service operation. Three data mediation algorithms are developed to handle the data heterogeneities arising during Web service composition. The data mediation algorithms analyze the schemas of the inputs and outputs of service operations and consider the structures of the schemas. A typed representation for our data mediation approach, which formalizes the data mediation problem as a subtype-checking problem, is presented. An evaluation is performed to study the effectiveness of different data mediation and service suggestion algorithms used to assist designers composing Web services. <s> BIB008 </s> Web Services Composition Methods and Techniques: A Review <s> .B: Summary <s> With the increasing number of web services available on the internet, the need for automated web services composition is becoming more and more important. A number of approaches have been proposed to tackle this problem. In this paper, we firstly summarize existing web service composition approaches, and then we present a service classification management mechanism to organize web services more efficiently and accurately. Finally, we design an automated web services composition system, which consists of two main parts: service management subsystem and service provision subsystem. The service management part is based on the service classification management mechanism, and service provision part is to meet the need of users' request by AI Planning. <s> BIB009
According to studied papers, various parameters are effective in the field of web service composition. We classify papers by using these parameters that have been shown in Table 1 . One of the most effective parameters in composition of web services is composition type. The composition types are syntactic and semantic that is discussed in section III. In BIB002 , BIB001 is used from syntactic composition type; in this way the composition is performed manually. But, manual composition is time-consuming and hard task. Therefore in BIB003 , BIB007 , BIB009 , BIB005 , BIB004 are used from semantic to resolve disadvantages of manual composition that its composition manner is automatic and is not required to user intervention for performing composition. Static and Dynamic composition are two type of strategy that be discussed in section III. In static composition, composition of web services is performed in design time that is required to user intervention, whereas dynamic composition is performed in run time and is not required to user intervention. Other type of composition manner is semi-automatic. In this case, the composition strategy is either static or dynamic. In BIB008 , BIB006 , have been presented a semi-automatic/static composition and in  is presented the semi-automatic/dynamic composition. In each of papers is used from tools for composition of web service and standard languages such as wsdl, owl-s and etc for description of web services. The overall, we summarize overall framework in 