论文部分内容阅读
Development based on software architecture is one of the most effective solutions to improve software qual-ity and productivity, and minimize the difficulties of developing large and complex systems. Formal models and speci-fications of software architect