一. 陈振邦，王戟，董威，齐治昌. 面向服务软件体系结构的接口模型. 软件学报，2006，17（6）：1459−1469.
Time：0.5 hour
本论文针对面向服务的软件体系结构，提出了支持事务信息描述的多层服务接口模型，在此基础上给出了接口的相容性和可替换性条件，并专门对会话接口和协议接口提出了接口规约及其验证方法。
论文内容没有仔细阅读，因为我只考虑服务定义和组合的问题，而对于深入服务内部接口之间具体的通信方式、相容性和可替换性，暂不研究，或许以后会用到这块内容，到时再细看。另外，我对形式化方法的概念还不是特别了解，要查找一下相关文档，扫扫盲。
文中提到了一些有用的相关文献和内容，摘录如下：
- 面向构件，文献[3]提出了接口自动机描述接口之间的时序行为。
- 文献[4]提出了时间接口，对具备时间约束的接口时序行为进行描述。
- 以此为基础，文献[5，6]中提出了一种服务接口模型，在3个抽象层面描述接口信息，并在每个层面给出了接口的相容性和可替换性条件，提出了接口规范及其验证方法。
- 文献[8]使用有限状态进程(finite state process，简称FSP)对服务组合语言BPEL4WS(BPEL)[9]进行形式化，然后使用模型检验方法验证组合语言的正确性，以保证通过BPEL构建的系统的可靠性。
* 名词解释
形式化方法：
二. 胡建强，邹鹏，王怀民，周斌. Web 服务描述语言QWSDL 和服务匹配模型研究. 计算机学报，2005，28（4）：505-513.
Time：1 hour
本文主要关于Web服务匹配，先提出一种描述语言，然后提出利用该语言更利于服务匹配。本文提出一种全新的Web 服务描述语言，全方位支持Web 服务的功能和行为约束及服务质量描述，并将现有匹配算法归纳为“三层次，五类型”的服务匹配模型。针对现有服务匹配算法过多依赖于逻辑推理和缺乏匹配灵活性，构造了相似函数度量服务相似程度. 该方法将匹配问题转化为数值计算，在大大降低计算复杂性的同时提高匹配的灵活性和易用性，并具备很强的松弛匹配能力。
本文对Web服务描述模型的定义、Web服务组合不相容性、服务质量模型、Web服务匹配类型的概念上进行了专业的数学描述，要借鉴一下。
Web 服务是一种新型的Web 应用程序，具有自包含、自描述、模块化和松耦合等特点，可以通过Web 发布、查找和调用。简单地说，Web 服务是“一次发布，到处可用”的新型Internet 组件，支持服务复用和组合，对提高网络软件生产效率和产品质量具有重要意义。
Web 服务发现中的关键问题包括Web 服务描述语言和Web服务匹配算法。针对Web 服务描述信息的丰富程度的不同，目前Web 服务发现方法的主要研究可分为两类:
- 语法级
- 语义级：在描述语言上，采用本体论来解决传统语法级Web 服务描述的异构性，增强对Web服务的功能、行为的语义描述；在匹配算法上，依赖于逻辑演绎和推理，具有查准率高、匹配效率不佳、实用性差等特点。
语法级Web 服务描述语言普遍存在“两个异构性” ，即结构异构(structural heterogeneity)和语义异构(semantic heterogeneity) 。结构异构是指用不同的数据结构和类层次来定义接口参数；语义异构是指使用不同术语(terminology) 来表达同一接口参数。缺少同样的语义解释(interpretation)会引发语义冲突。
论文阅读暂告一段落，接下来要完成开题报告中第一部分的写作。