软件体系结构描述语言讲义.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 类型和风格 风格允许定义领域特定的或应用特定的设计词汇，以及如何使用这些词汇的约束 ACME风格定义中的基本构造块是一个类型系统 属性类型、结构类型和风格 Component Type Client = { Port Request = {Property protocol: CSProtocolT}; Property Request-rate: Float; Invariant size(self.Ports) = 5; Invariant Request-rate =0; Heuristic request-rate 100; } 第六十三页，共八十七页。 风格 一组结构元素和属性、一组约束、默认结构 Family PipeFilterFam = { Componet Type FilterT = { Ports {stdin; stdput}; Property throughout:int; }; Compont Type UnixFilterT extends FilterT with { Port stderr; Property implementationFile: String; }; connector Type PineT = { roles {source; sink} property bufferSize:int; } Property Type StringMsgFormatT = Record [size:int; msg: String]; Invariant Forall c in self.Connectors @ HasType (c, pipeT); } 第六十四页，共八十七页。 软件体系结构与UML UML简介 UML(Unified Modeling Language)是下面这些最好的建模方法中最好部分的集成 商务流程模型(Work Flow) 对象建模方法 构件建模思想 UML是一种用可视化方法对软件系统进行描述、实施和说明的标准语言。 适用于各种软件开发方法、软件生命周期的哥哥阶段、各种应用领域以及各种开发工具，总结了以往建模技术的经验并吸收当今优秀成果的标准建模方法。 第六十五页，共八十七页。 UML简介 第六十六页，共八十七页。 UML简介 第六十七页，共八十七页。 UML简介 Use Case Diagrams Use Case Diagrams 用例图 Scenario Diagrams Scenario Diagrams 协作图 State Diagrams State Diagrams 构件图 Component Diagrams Component Diagrams 部署图 State Diagrams State Diagrams 对象图 Scenario Diagrams Scenario Diagrams 状态图 Use Case Diagrams Use Case Diagrams 序列图 State Diagrams State Diagrams 类图 活动图 UML 第六十八页，共八十七页。 用例图 用于显示若干角色以及这些角色与系统提供的用例之间的连接关系。用例是系统提供的功能的描述 第六十九页，共八十七页。 类图 表示系统中的类和类与类之间的关系，它是对系统静态结构的描述 第七十页，共八十七页。 序列图 用来反映若干个对象之间的动态协作关系，也就是随着时间的推移，对象之间是如何交互的 第七十一页，共八十七页。 协作图 描述对象间的协作关系，协作图跟序列图相似，显示对象间的动态合作关系。 如果强调时间和顺序，则使用序列图；如果强调上下级关系，则选择协作图。这两种图合称为交互图。 第七十二页，共八十七页。 状态图 描述类的对象所有可能的状态以及事件发生时状态的转移条件。通常，状态图是对类图的补充 第七十三页，共八十七页。 活动图 描述满足用例要求所要进行的活动以及活动间的约束关系，有利于识别并行活动 第七十四页，共八十七页。 构件图 描述代码构件的物理结构及各构件之间的依赖关系 第七十五页，共八十七页。 部署图 部署图定义系统中软硬件的物理体系结构 第七十六页，共八十七页。 直接使用UML建模 元-元模型层定义了元模型层的规格说明语言，元模型层为给定的建