面向方面软件结构模型设计及验证技术

随着软件系统复杂性的不断增加及其在关键领域应用的不断发展，高可信度、高效率的软件开发方法成为至关重要的研究课题。软件结构通过描述系统成分及成分之间的相互关系，反映设计者对系统结构和行为的设计构想，从而实现对大型软件系统设计复杂性的有效控制。然而，当前的软件结构模型在语义的严格性和设计技术方面，尚不能满足复杂软件系统的高效性和高可信度要求。本项目研究面向方面软件结构模型设计和验证的核心概念和关键技术，内容包括形式化软件结构模型、面向方面的软件结构模型设计和性质规范、面向方面软件结构验证技术，重点解决面向方面的软件结构形式化语义定义、软件需求规范与软件结构模型的映射、面向方面得软件结构模型设计、面向方面的软件结构组合验证技术，对于揭示面向方面软件开发的本质特性，提高复杂软件系统开发的可重用性、可适应性和高可信度具有重要理论意义和应用价值。