Formal Model of Object-oriented Architecture

• 面向对象软件体系结构的形式化模型