TY - GEN
T1 - Dynamic Web service composition
T2 - 22nd International Conference on Advanced Information Networking and Applications, AINA 2008
AU - Chan, Pat P.W.
AU - Lyu, Michael R.
PY - 2008
Y1 - 2008
N2 - The use of services, especially Web services, became a common practice. In Web services, standard communication protocols and simple broker-request architectures are needed to facilitate exchange of services, and this standardization simplifies interoperability. In the coming few years, services are expected to dominate software industry. There are increasing amount of Web services being made available in the Internet, and an efficient Web services composition algorithm would help to integrate different algorithm together to provide a variety of services. In this paper, we provide a dynamic Web service composition algorithm with verification of Petri-Nets. Each Web service is described by Web Service Definition Language (WSDL) and their interactions with other services are described by Web Service Choreography Interface (WSCI). Our algorithm compose the Web services with the information provided by these two descriptions. After the composition, we verify the Web service to be deadlock free with modeling the Web service as a Petri-Net. We conduct a series of experiments to evaluate the correctness and performance of the composed Web service.
AB - The use of services, especially Web services, became a common practice. In Web services, standard communication protocols and simple broker-request architectures are needed to facilitate exchange of services, and this standardization simplifies interoperability. In the coming few years, services are expected to dominate software industry. There are increasing amount of Web services being made available in the Internet, and an efficient Web services composition algorithm would help to integrate different algorithm together to provide a variety of services. In this paper, we provide a dynamic Web service composition algorithm with verification of Petri-Nets. Each Web service is described by Web Service Definition Language (WSDL) and their interactions with other services are described by Web Service Choreography Interface (WSCI). Our algorithm compose the Web services with the information provided by these two descriptions. After the composition, we verify the Web service to be deadlock free with modeling the Web service as a Petri-Net. We conduct a series of experiments to evaluate the correctness and performance of the composed Web service.
UR - https://www.scopus.com/pages/publications/50249188955
U2 - 10.1109/AINA.2008.133
DO - 10.1109/AINA.2008.133
M3 - Conference contribution
AN - SCOPUS:50249188955
SN - 0769530958
SN - 9780769530956
T3 - Proceedings - International Conference on Advanced Information Networking and Applications, AINA
SP - 20
EP - 25
BT - Proceedings - 22nd International Conference on Advanced Information Networking and Applications, AINA 2008
Y2 - 25 March 2008 through 28 March 2008
ER -