Chapter Si体系结构的一般描述教案.pptVIP

§6.4 体系结构的描述 体系结构描述的分类 体系结构的形式化方法 建模、分析、验证 体系结构的描述语言 ADL，建立在形式化的理论基础之上 Petri网、Z语言、状态图、CSP etc. 语义严格、精确 求精、验证、演化、分析 ADL应当具备的特点 严谨的语法、语义 描述能力强 有工具支持 简单易懂 不同的抽象级别 静态分析、动态分析 §6.4 体系结构的描述 体系结构的描述语言 几种体系结构描述语言的提出组织和倡导者 ADL语言 提出组织 倡导者 ACME Carnegie Mellon University David Garlan Aesop Carnegie Mellon University David Garlan Meta－H Honeywell Technology Center Steven Vestal Rapide Stanford University David Luckham SADL SRI Mark Moriconi Unicon Carnegie Mellon University Mary Shaw Wright Carnegie Mellon University David Garlan §6.4 体系结构的描述 体系结构的描述语言的定义与分类 发展： MIL 定义：人云亦云 功能：能够描述