[1] Beyer D, Chakrabarti A, Henzinger T A, et al. Web Service Interfaces[C]//Proc. of the 14th International Conference on World Wide Web. Chiba, Japan: ACM Press, 2005. [2] Bravetti M, Zavattaro G. Towards a Unifying Theory for Chore- ography Conformance and Contract Compliance[C]//Proc. of the 6th International Conference on Software Composition. Berlin, Germany: Springer, 2007. [3] 刘方方, 史玉良, 张 亮, 等. 基于进程代数的Web服务合成的替换分析[J]. 计算机学报, 2007, 30(11): 2033-2039. [4] Canal C, Pimentel E, Troya J M. Compatibility and Inheritance in Software Architectures[J]. Science of Computer Programming, 2001, 41(2): 105-138. [5] Castagna G, Gesbert N, Padovani L, et al. A Theory of Contracts for Web Services[J]. ACM Trans. on Programming Languages and Systems, 2009, 31(5): 1-61. [6] Pathak J, Basu S, Honavar V. On Context-specific Substitutability of Web Service[C]//Proc. of 2007 IEEE Int’l Conf. on Web Services. Salt Lake City, USA: IEEE Computer Society, 2007. [7] 史玉良, 王海洋, 张 亮, 等. Web服务合成的相容性与替换性分析[J]. 计算机研究与发展, 2007, 44(11): 1955-1961. [8] Dumas M, Yang Yong, Zhang Liang. Towards a Formalization of Contracts for Service Substitution[C]//Proc. of the 6th World Congress on Services. Miami, USA: IEEE Press, 2010. [9] Liu Wei, Yang Yong, Zhang Liang. Testing Substitutability Based on WSDL[C]//Proc. of 2011 IEEE International Conference on Intelligent Computing and Integrated Systems. [S. l.]: IEEE Computer Society, 2011. [10] W3C. Web Services Description Language[EB/OL]. [2012-03-20]. http://www.w3.org/TR/wsdl20-extensions. [11] Carpineti S, Castagna G, Laneve C, et al. A Formal Account of Contracts for Web Services[C]//Proc. of the 3rd International Conference on Web Services and Formal Methods. Berlin, Germany: Springer, 2006. [12] Apache Software Foundation. Woden[EB/OL]. [2012-03-20]. http://ws.apache.org/woden/.
|