J. Boye, J. Paakki and J. Mduszyfy, “Synthesis of Directionality Information for Functional Logic Programs [C],” In Third International Workshop WSA '93, Proceeding Static Analysis, Padova, Italy, Vol. 724, 1993, pp. 165-177.

has been cited by the following article:

• TITLE: Web Service Generation through Program Slicing

  AUTHORS: Yingzhou Zhang, Wei Fu, Geng Yang, Lei Chen, Weifeng Zhang

  KEYWORDS: Web Service, Arogram Slicing, WS Generation, Function Dependence Graph, Haskell

  JOURNAL NAME: International Journal of Communications, Network and System Sciences, Vol.3 No.11, November 23, 2010

  ABSTRACT: As the development of web service (WS), applications based on web services (WS), which are convent and platform-independent, have become increasingly popular in recent years. However, how to identify, generate and compose services has become an open issue recently. This paper proposes a method based on program slicing to realize the generation and composition of web services. This paper introduces the method about how to generate a WSDL file and a SOAP message from source codes as well as the theory of function dependence graph (FDG). In addition, this paper gives the way to generate a proxy service for each service, which allows users to easily call a service. The results of experiments show that our generation and composition methods of WS are feasible and flexible.