On Formalized Description of Software Architecture
Fang Feng-bo · Computer Knowledge and Technology · 2007
Nowdays,software architecture has became an main domain of software engineering,foraml model and formal analyzing technology are the foundation of engineering.this paper attempts to elaborate the priority of various architecture styles through formal mathods and introduces several architecture description languages.