作　　者： ; ; ;

机构地区： 华南理工大学计算机科学与工程学院

出　　处： 《计算机科学》 2003年第12期144-146,149,共4页

摘　　要： 1.引言 软件体系结构的重要性已被越来越多的软件人员所重视,体系结构从全局的、整体的角度去理解和分析整个系统的行为和特性,在更高层次上把握系统各组件之间的内在联系,有助于解决当前开发复杂的大型软件所存在的困难,保证软件质量,提高软件可靠性、可重用性和可维护性. The paper introduces the definition, the essential and the fundamentally of formalizing,and discusses some aspects about formalizing in detail. After reviewing several formal styles and architecture description languages, we provide the state-oriented style and the state space formal description, which is a new formal description and can combine static properties with dynamic properties. The state space formal description has many merits,such as that the expressing forms of the systems and the opponents are consistent, the expandability and the refine-ability are fine and that mathematic analysis is convenient.

关 键 词： 软件体系结构 形式化 形式化风格 软件工程 软件系统

领　　域： [自动化与计算机技术] [自动化与计算机技术]