中文摘要：

通过运营方式支撑基于开放服务构造的"聚合应用"是当前互联网应用领域的一个热点，该模式下特别强调在线管控能力，而其中关注的一个重点就是可用性问题，即服务个体可用性不确定的情况下如何确保聚合应用整体可用性。本课题首先结合在线管控需求建立全面的服务可用性指标体系及可形式化分析的度量模型，并研究具有学习修正能力的服务度量空间两级约减算法以建立计算可行的服务可用性度量方法；进一步研究服务可用性和聚合应用可用性量化关系，给出基于模型融合及元模型等方法建立的聚合应用可用性评估模型。在此基础上，参考负反馈的演化机理，探索运营模式特殊要求下可用性度量及保障的典型实现机制，给出面向中介、无服务方约束的可用性指标监测机制以及直接控制方式和间接引导方式相结合的聚合应用可用性保障手段。最后，结合互联网开放API运营实际应用研发原型系统并建立实验平台，用于验证本课题所给出的理论和方法的正确性与可行性，并给出验证结果。

结论摘要：

本课题结合新一代互联网环境下具有第三方运营特征的软件服务模式及物联网数据服务等的发展，从服务可用性建模、服务可用性在线监测以及基于服务的应用可用性保障三个角度，对基于网络服务构造的“聚合应用”可用性问题的本质规律、运行机理和关键技术进行了研究，提出了一种基于业务服务的服务可用性模型及提升方法，并在此基础上针对SaaS模式下基于服务的聚合应用，从服务关系角度提出了可用于应用级可用性管理的服务协作网络和服务社区模型；设计了基于元模型的服务可用性指标描述及监控方法，并基于该方法实现了服务可用性在线监控系统，包括具有适应能力以及计算可行的服务可用性度量算法和基于反馈的可用性保障机制；结合具有开放网络服务特征的科技信息服务应用和感知数据流服务应用两种不同类型新型网络应用，并重点面向其中存在的多租户数据库服务可用性和高速数据流服务可用性问题，对本课题提出的相关研究成果进行了实验验证，证明了本课题所给出的理论和方法的正确性与可行性，也在一定程度上展示了其实际价值与意义，相关系统成果还在计算机学会主办的2012年中国计算机大会上进行了展示，获得大会人员好评。目前，依托本课题的相关研究工作，合作撰写专著2部（计算机学会组织撰写的2011年中国计算机科学技术发展报告，代表服务计算专委会撰写了“云计算中的数据服务现状与趋势”一章；负责撰写了科学出版社出版的“互联网计算的原理与实践”实践篇），共发表学术论文16篇（其中SCI检索1篇，EI检索论文11篇），申请专利3项（其中已获授权1项并完成对产业界转让），获得软件著作权3项，培养博士生3名、硕士生4名，在国内外学术会议上进行论文报告15次（其中课题负责人在韩国举办的APWeb 2010组织Tutorial报告一次，在CCF服务计算专委会组织的服务计算大会上Panel报告一次），课题负责人还连续担任两届IEEE International Conference on Service-Oriented Computing and Applications程序委员，并在2012年成为国际期刊Decision Support Systems和Journal of Grid Computing（均为SCI检索源期刊）和国内核心计算机学报在服务计算和云计算方向的审稿人，为计算机学会通讯撰写邀请文章2篇。