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 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.
展开▼