中文摘要：

软件的成败直接取决于软件系统是否能够反映风险承担者的真实意图，以及系统参与者之间的策略依赖关系。现有的软件建模方法大都以系统的具体行为和数据为研究对象。这类方法在描述传统的静态封闭型系统中能够发挥重要作用，却难以有效描述和分析现代复杂开放分布网络环境下的新型服务软件及其设计过程。针对这一问题，本课题通过提高软件需求概念建模的抽象层次，将软件看作反映和实现人类意图及策略的主动实体（Agent），能够根据环境约束及自身需要，动态调整行为目标及内部结构，与其他系统参与者之间形成社交合作网络并不断演化，以期达到最优系统资源利用和利益的合理分配。以申请者以往基于策略及意图分析的建模工作为基础，本项研究将继续深入研究该类方法的形式化表示及其形式语义，建立一套基于严格数学理论的模型描述、分析、及验证体系，为研究新一代网构软件的功能、安全性及可信性奠定基础并提供支持。