Web service composition approaches: From industrial standards to formal methods

M Ter Beek, A Bucchiarone… - … Conference on Internet …, 2007 - ieeexplore.ieee.org
Composition of Web services is much studied to support business-to-business and
enterprise application integration in e-commerce. Current Web service composition …

Product-line-based requirements customization for web service compositions

H Sun, RR Lutz, S Basu - Proceedings of the 13th International Software …, 2009 - dl.acm.org
Customizing web services according to users' individual functional and non-functional
requirements has become increasingly difficult as the number of users increases. This paper …

Decomposing the service composition problem

ZJ Oster, GR Santhanam, S Basu - 2010 Eighth IEEE European …, 2010 - ieeexplore.ieee.org
Many approaches to the Web service composition problem benefit from their use of formal
methods to guarantee the correctness of the composite services that they produce, but these …

Simplifying Web service discovery & validating service composition

S Mallick, R Pandey, S Neupane… - 2011 IEEE World …, 2011 - ieeexplore.ieee.org
Web services are software components developed to simplify machine-to-machine
interaction over the Web. Many researches are targeted towards Web service …

Introducing compositionality in web service descriptions

M Solanki, A Cau, H Zedan - Proceedings. 10th IEEE …, 2004 - ieeexplore.ieee.org
Web services are essentially black box components from a composer's or a mediator's
perspective. The behavioural description of any service can be asserted by the composer …

Semantic web service composition via logic-based program synthesis

J Rao - 2004 - ntnuopen.ntnu.no
The ability to efficient selection and integration of inter-organizational heterogeneous Web
services at runtime becomes an important requirement to the Web service provision. In an …

Automating web service composition for collaborative business processes

L Lei, Z Duan - … on Computer Supported Cooperative Work in …, 2007 - ieeexplore.ieee.org
An approach to automating Web service composition is proposed in this paper. Firstly, the
required service is regarded as a process-based workflow created according to the client …

Formalization and verification of automatic composition based on pi-calculus for semantic web service

YL Wang, XL Yu - 2009 Second International Symposium on …, 2009 - ieeexplore.ieee.org
In this paper, a method of automatic composition based on pi-calculus for semantic Web
service has been presented to improve the automation composition of semantic Web …

Veriws: a tool for verification of combined functional and non-functional requirements of web service composition

M Chen, TH Tan, J Sun, Y Liu, JS Dong - Companion Proceedings of the …, 2014 - dl.acm.org
Web service composition is an emerging technique to develop Web applications by
composing existing Web services. Web service composition is subject to two important …

QoS-aware Web service composition based on SLA

W Dong, L Jiao - 2008 Fourth International Conference on …, 2008 - ieeexplore.ieee.org
In service-oriented architecture, functionally equivalent Web services with different quality
can be selected to put together to accomplish a task dynamically. Web service should be …