社会保障(以下称“社保”)关乎到广大人民群众的基本利益，关系到社会稳定与经济的协调健康发展。社保业务具有基本政策约束、地方政策约束、政策变化频繁和业务准确性要求严格的特点，较其他行业的审计而言，对审计部门在进行社保审计时提出了更高的审计要求。面对复杂的社保业务，不同的审计人员有不同的审计方法，怎样管理各种审计方法并实现这些审计方法的共享成为审计机关待解决的问题。模型库从理论研究到实践应用均有了较快的发展，将模型库理论应用于社保业务审计方法的管理和共享是解决这一问题的好办法。本文通过对社保业务的分析，利用面向对象封装的思想将社保业务审计中用到的计算公式、政策法规和相关审计数据封装为社保审计模型。本论文对模型在计算机内的存储组织方式进行详细介绍，对复合模型运行时的参数传递技术进行详细说明，对模型库的权限问题进行初步研究。最后介绍社保联网审计模型库在实际审计中的使用情况、应用前景和亟待解决的问题。