摘要： The paper introduces the definition, the essential and the fundamentality of formalizing ,and discusses some aspects about formalizing in detail. After reviewing several formal styles and architecture description languages, we provide the state-oriented s

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