[]软件体系结构_软件应用_北大国家软件中心.pdfVIP

软件体系结构 (Software Architecture) 第四讲：软件体系结构描述语言 软件体系结构的现状 • 体系结构的理解停留在直觉、逸事和传说层面 • 非形式化描述 – 框线图 – 非形式化的陈述 • 惯用的词汇传递了丰富的语义 – RPC – Client-Server – Pipe and Filter – Layered – Distributed – OO • 该层次的非形式化是严重的问题吗？ 体系结构描述语言的必要性 • 体系结构是降低开发成本的关键 – 开发焦点转移到粗粒度系统成分 • 形式化的体系结构模型是需要的 • 体系结构描述语言(ADLs)作为一种可能的解决方 案被提出 ACME MetaH Aesop Rapide ArTek SADL C2 UniCon Darwin Weaves LILEANNA Wright • 若干原型ADLs被开发出来 →ADL及其扮演的角色仍是一个开放的问题 ADL扮演的角色 • 提供了描述构件及其交互的模型、符号体系和工 具 • 支持大规模、高层设计 • 支持体系结构范型的理性选择和应用 • 支持抽象 – 用户定义 – 应用特定(application-specific) • 支持设计的实现 – 系统化的 – （可能）自动化的 →语言和环境之间相互作用 – 语言使能精确的规约 – 环境使得规约被复用 ADL 描述的例子(1) • Rapide构件 type Application is interface extern action Request(p : params); public action Results(p : params); behavior (?M in String) Receive(?M) = Results(?M); end Application; • Wright连接件 ADL 描述的例子(2) • ACME描述的体系结构实例 System simple_cs = { Component client = {Port send-request} Component server = {Port receive-request} Connector rpc = {Roles {caller, callee}} Attachments : { client.send-request to rpc.caller; server.receive-request to rpc.callee } } ADLs 分类的努力 • 现存ADL的考察 – Kogut and Clements – Vestal • 来自个别系统的观察 – Luckham and Vera – Shaw et al. • 识别基本的ADL特征 – Tracz – Shaw and Garlan – Medvidovic, Taylor, and Whitehead