在线学习作为网络时代的新兴学习方式，打破了传统学习方式在时空上的局限。得益于互联网对社交的良好支持，学习者不再是被动的信息接受者，他们通过公共讨论共享资源和信息，从松散的个体逐步形成网络学习社群。设计、开发平台与系统支持网络学习社群，是计算机网络技术优化学习的重要研究领域。现有网络学习社群系统存在分散重复建设、建设维护成本高、功能过于单一的缺陷，云计算技术的出现为弥补上述缺陷提供新的途径。　　云计算通过虚拟化技术，将大量廉价硬件转化为巨大资源池，透明地提供给用户，以满足用户的网络、计算、存储需求。云提供商不仅在基础设施层面提供资源，同时在平台与云服务的层面进行开放与共享。廉价硬件设备的冗余，配合强大的管理软件，使云计算在提供廉价资源的同时，保证资源质量。开发、维护成本的大幅降低，带来云服务的快速增加。本文分析网络学习社群系统现状，结合云计算的优势，提出利用组合云服务来弥补系统功能不足。同时基于类型论研究云服务组合的特征性问题，保障云服务组合的可用性和可靠性，以实现云服务支持的网络学习社群系统。具体工作包括:　　一、梳理分析网络学习社群系统的发展与现状，针对网络学习社群系统面临的问题与挑战，提出组合云服务支持网络学习社群系统的方案，并给出系统设计;　　二、深入研究马丁洛夫类型理论、会话类型理论，提出类型论支持的、引入语义的云服务建模方法;　　三、基于类型论支持的云服务建模方法和相关规则，给出组合服务流程验证、云服务替换性验证的解决方案。　　四、开发网络学习社群系统的主要功能模块,实现云服务支持的网络学习社群系统设计。　　本文将为云服务支持下网络学习社群系统的设计与实现提供参考，并为云服务组合的流程验证、服务替换验证提供理论支持与解决方案。利用云服务支持网络学习社群系统，可以促进社群中学习效果的提高，推动云计算背景下教育信息化的发展。