[1]
|
M. Weiser, “Program Slicing [C],” IEEE Transactions on Software Engineering, Vol. 16, No. 5, 1984, pp. 498-509.
|
[2]
|
F. Tip, “A Survey of Program Slicing Techniques [J],” Journal of Programming Languages, Vol. 3, No. 3, 1995, pp. 121-189.
|
[3]
|
D. Binkley and K. B. Gallagher, “Program Slicing [J],” Advances in Computers, Vol. 43, 1996, pp. 1-50.
|
[4]
|
Y. Zhang and B. Xu, “A Novel Formal Approach to Program Slicing [J],” Science in China: Information Sciences, Vol. 50, No. 5, 2007, pp. 657-670.
|
[5]
|
B. Jon and E. David, “Program and Interface Slicing for Reverse Engineering [C],” Proceedings of the 15th International Conference on Software Engineering, 1993.
|
[6]
|
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.
|
[7]
|
Web-Service website, 2009. http://en.wikipedia.org/wiki/ Web_service
|
[8]
|
F. Curbera, M. Duftler, R. Khalaf, W. Nagy, N. Mukhi and S. Weerawarana, “Unraveling the Web Services Web: An Introduction to SOAP, WSDL and UDDI [C],” IEEE Internet Computing, Vol. 6, No. 2, April 2002, pp. 86-93.
|
[9]
|
WSDL website: http://en.wikipedia.org/wiki/Web_Services_Description_Language
|
[10]
|
K. Yue, X. Wang and A. Zhou, “Underlying Techniques for Web Services: A Survey [J],” Journal of Software, Vol. 15, No. 3, 2004, pp. 428-441.
|
[11]
|
H. Daume III, “Yet Another Haskell Tutorial [R],” Technical Reports, University of Utah, 2003. http://www.cs.utah.edu /~hal/htut/tutorial.pdf.
|
[12]
|
G. Hutton, “Programming in Haskell [M],” Cambridge University Press, New York, 2006.
|
[13]
|
Y. Zhang and B. Xu, “A Novel Formal Approach to Program Slicing [J],” Science in China Series F: Information Sciences, Vol. 50, No. 5, 2007, pp. 657-670.
|
[14]
|
J. Backus, “A Functional Style and Its Algebra of Programs [J],” Communications of the ACM, Vol. 21, No. 8, 1978, pp. 613-641.
|
[15]
|
J. Peterson, K. Hammond and L. Augustsson, “A Non-Strict Purely Functional Language [R],” Yale University Technical Report, YALEU/DCS /RR, pp 1106- 1997.
|
[16]
|
M. Feng, “Review of Web Services Composition [J],” Computer Applications and Software, Vol. 124, No. 2, February 2007, pp. 23-27.
|
[17]
|
W. Ou, K. Wang, C. Zeng, D. Li and Z. Peng, “Framework of Multi-Source Web Service Discovery [J],” Journal of PLA University of Science and Technology, Vol. 9, No. 5, October 2008, pp. 431-435.
|
[18]
|
L. Ye and B. Zhang, “A Method of Web Service Based on Functional Semantics [J],” Journal of Computer Research and Development, Vol. 44, No. 8, 2007, pp. 1357- 1364.
|
[19]
|
Z. Zhang, C. Zuo and Y. Wang, “Web Service Discovery Method Based on Semantic Expansion [J],” Journal on Communications, Vol. 28, No.1, January 2007, pp. 57-63.
|
[20]
|
J. Wu, Z. Wu, Y. Li and S. Deng, “Web Service Discovery Based on Ontology and Similarity of Words [J],” Chinese Journal of Computers, Vol. 28, No. 4, April 2005, pp. 694-702.
|
[21]
|
Graph Type website: http://hackage.haskell.org/package/ graphtype
|
[22]
|
F. Liu, Q. Tan and Y. Yang, “Graph-Based Algorithm of Web Services Composition [J],” Journal of Huazhong University of Science and Technology (Nature Science), Vol. 33, 2005, pp. 202-204.
|
[23]
|
L. Cao, J. Liu and H. Miao, “Study on Optimization of Web Services Composition Based on Graph [J],” Chinese Journal of Computers, Vol. 34, No. 2, 2007, pp. 95-99.
|
[24]
|
S. Deng, J. Yin, Y. Li, J. Wu and Z. Wu, “A Method of Semantic Web Service Discovery Based on Bipartite Graph Matching [J],” Chinese Journal of Computers, Vol. 31, No. 8, 2009, pp. 1364-1374.
|
[25]
|
O. Claudio and G. Josep Silva, “A Slicing Tool for Lazy Functional Logic Programs [R],” Technical Report, University of Madrid, 2006.
|
[26]
|
F. Rodrigues and S. Barbosa, “Component Identification Through Program Slicing [R],” Proceeding of Formal Aspects of Component Software (FACS 2005), pp. 231-245.
|
[27]
|
D. Weaire and D. Rivier, “Soap, Cells and Statistics- Random Patterns in Two Dimensions [J],” Contemporary Physics, Vol. 50, No. 1, 2009, pp. 199-239.
|
[28]
|
J. Peter and M. Albert, “The Soap Chamber Test: A New Method for Assessing the Irritancy of Soaps [J],” Journal of the American Academy of Dermatology, Vol. 1, No. 1, July 1979, pp. 35-41.
|
[29]
|
SOAP website, 2009. http://en.wikipedia.org/wiki/SOAP
|
[30]
|
S. Simon, D. Edd and J. Joe, “Programming Web Services with XML-RPC [M],” O’Reilly and Associates, 2001.
|
[31]
|
BPEL website , 2009. http://en.wikipedia.org/wiki/Business_ Process_Execution_Language
|