摘要： 一. 张敬周，任洪敏，宗宇伟，钱乐秋，朱三元. 基于行为自动机的构件可替换性分析与验证. 软件学报，2010，21（11）：2768-2781. Time：1 hour 略读了同事的论文，本文关于构件的可替换性分析，结合有限状态自动机理论，用形式化方法给出了构件、构件行为、替换等一些列定义和定理，没有详细阅读。定义数学味很浓，用数学描述了相关问题，但定理没有给出证明过程，给出的行为可替... 阅读全文

摘要： 6. 提升研究结果的等级通常需要付出艰辛的劳动。有以下几个方面可以参考。 （1）推广和深化已有的研究结果。 对信息处理和自动控制专业的研究生，可能给你的工作带来改进的方法例子如： l 将一维问题推广到多维；将标量问题推广到向量和张量问题； l 将静态问题变成虚拟时间的动态演化结果； l 将常规的梯度寻优算法变成流型上的自然梯度算法； l 使用更高级的概率估计方法； l 从复杂现象中抽... 阅读全文

摘要： BPEL方向的相关论文 阅读全文

摘要： ICWS 2010 A BPEL observability enhancement method A Collectional Data Model for Scientific Workflow Composition A Feature-Oriented Approach for Web Service Customization A Framework for D... 阅读全文

摘要： 一．Lina Barakat, Simon Miles, Iman Poernomo, Michael Luck. Efficient Multi-Granularity Service Composition. 2011 IEEE International Conference on Web Services，2011，pp。227-234 Time：4 hours 本文研究了多粒... 阅读全文

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

摘要： 一. 陈振邦，王戟，董威，齐治昌. 面向服务软件体系结构的接口模型. 软件学报，2006，17（6）：1459−1469. Time：0.5 hour 本论文针对面向服务的软件体系结构，提出了支持事务信息描述的多层服务接口模型，在此基础上给出了接口的相容性和可替换性条件，并专门对会话接口和协议接口提出了接口规约及其验证方法。 论文内容没有仔细阅读，因为我只考虑服务定义和组合的问题，而对于深入服... 阅读全文

摘要： 2010年的《计算机研究与发展》（增刊2）刊出了3篇关于CPS的论文，随着国家863项目的立项，这个领域的研究会成为一个比较热的方向。纵观这三篇论文，都是关注体系结构方面，基于原有的理论，在CPS背景下进行了微创新，尝试性的提出了适合CPS系统的体系结构或框架，新瓶旧酒。这种科研模式值得借鉴，也降低了论文写作的难度，毕竟中国计算机顶级期刊也认可了这类文章。 论文对于回答什么是CPS服务很有帮助... 阅读全文

摘要： 刘华文，申春，杨冬，刘磊. 语义Web服务基础技术研究综述. 吉林大学学报(信息科学版)，2010，28（1）：47-54. Time：2 hours.     本论文为综述类文章，通过阅读，了解了Web服务、Web框架、语义Web服务的基本概念。SWS的描述语言了解一下即可，SWS的发布模型中的非集中式模型可以作为描述CPS服务的参考，因为CPS系统是分布式架构... 阅读全文

摘要： 邓水光，吴朝晖. Web服务组合方法综述. 中国科技论文在线，2008，3（2）:79-84. Time：2 hours     Web服务组合领域的研究内容包括：Web 服务组合建模语言、服务组合方法、服务组合执行、服务组合验证等方面。我的研究应结合CPS的概念，从服务组合方法和服务组合验证方面入手，结合原有的研究成果，提出一些考虑CPS系统时空特性的改进后的服... 阅读全文