摘要： 论文阅读和写作暂停了半年时间，新房装修、结婚、搬家…一系列事情总算忙完了。重新开工。 一．史玉良，王海洋，张亮，施伯乐. web服务合成的相容性与替换性分析. 计算机研究与发展，2007，44(11)：1955～1961． 本文用自动机进行形式化描述和建模，对相容性和替换性做了定义和分析。 二．刘方方，史玉良，张亮，施伯乐．基于进程代数的web服务合成的替换分析. 计算机学报... 阅读全文