摘要
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.
出处
《计算机科学》
CSCD
北大核心
2003年第12期144-146,149,共4页
Computer Science
基金
国家自然科学基金(69783008)
广东自然科学基金(970525)
