中文摘要：

软件作为一种特殊的人造制品，具有若干不同方面的性质。首先它是软件工程活动的产物，因此，软件需求的满足可以通过工程化的手段来保证，具体包括测试、检查等质量管理和认证手段。其次它是具有数理性质的抽象的符号系统，因此软件的需求可以通过形式化的数学手段和工具进行验证和证明。以上两个方面是人们考虑软件性质的经典视角，已有相对成熟的理论和方法学基础，是提高软件可信性的重要途径。然而，不可忽略的是，在开放分布的网络环境下，软件越来越呈现出分布自治的特性，软件的性质与软件的来源，历史以及结构密切相关，同时，软件主体之间的通信、协作和依赖关系也越来越明显地反映出软件所具有的社会性。本课题旨在运用社会建模的手段，研究软件的需求分析方法，从而提高未来软件的需求分析与设计活动的系统性与科学性。课题将提出一套表达基于社会建模的软件安全需求理论模型，给出相应的模型分析方法，并运用该方法分析新型服务软件的需求建模技术。