软件构件与体系结构——原理、方法与技术 作者 王映辉 11 基于UML的ＳＡ设计.pptVIP

Mail:wyh_925@163.com 软件体系结构 王映辉 博士(后),教授,博导 Part 6：基于UML的SA设计 。 。 。 。 。 。 。 。 N.Medvovonic 给出用UML描述体系结构的三种途径： ①不改变UML用法而直接对体系结构建模； ②利用UML支持的三种扩充机制（Stereotype, Tagged Value, Constraints）扩展UML的元模型实现对体系结构建模概念的支持； ③对UML进行扩充，增加体系结构建模元素。 P6-1和P6-2直接针对UML的9大类建模图，对SA设计过程的支持进行了描述。P6-3站在UML全局的角度来讨论UML对SA设计和描述等方面的支持。 UML中语义的3个部分不是相互独立的，而是相互交叉重叠、紧密相连，共同构成了UML的完整语义。 模型的一致性包括模型内部的一致性和模型之间的一致性。模型内部的一致性指模型各组成部分之间的一致性，诸如在行为模型中，顺序图、协作图、状态图和活动图之间存在的某种约束。模型之间的一致性包括需求模型与结构模型之间、结构模型和行为模型之间，以及结构模型行为模型和实现模型之间的都存在很强的约束关系。 一般意义上，一个系统需求要从它的需求、静态结构、动态行为和实现等不同的方面来描述。 需求模型描述的一个或多个用况图表示了系统的功能，在系统设计时均要予以考虑，这意味着要将用况中描述的功能都要分配给实现它的类。实现用况的类通常通过协作来实现用况中的功能。通过协作，用况中的每个动作被分配给参与协作的类，进而分配给类中的操作。 可见，画用况的顺序图、协作图、活动图不是目的而是手段。而画这些图的最终目的是识别用况中的类、定义类的操作、勾画类之间的关系，从而准确地描绘出类图。使得该类图无漏地完成需求模型中的功能。这样就有利于SA的设计。 类的属性在某中程度上表示了类的静态结构。 需求模型描述了系统的需求，它从功能的角度描述了系统的功能需求。 需求模型是系统中非常重要的模型，因为它的内容驱动着其它模型的开发，系统的最终目标是实现该模型的功能，因此需求模型影响着其它所有的模型，同时也是评价和检验系统的标准。 行为模型描述了系统的逻辑结构，它从系统行为的角度描述了系统各对象之间的交互关系和对象内部的状态变化，并支持业务对象或事务处理过程的描述。 任何系统都具有静态结构并表现为动态行为，为实现需求中的功能，类之间的协作，这可用行为模型来描述。 实现模型描述了系统的组织视图，它从如何实现系统的角度描述代码模块的映射关系、系统的软硬件配置和通讯机制的定义。 实现模型反应了系统的物理结构，受到结构模型的约束。当系统的逻辑结构设计完后，需要使用实现模型将逻辑模块映射到具体实现它的文件，并完成软硬件的配置。 构件图是对系统逻辑结构的物理抽象，表示构件之间的关系。配置图描述了处理器、设备的结构以及运行在这一结构上的构件，是系统拓扑结构的描述，通过拓扑节点可以看到该节点上执行了那些构件，以及构件是由那些逻辑元素(在结构模型和行为模型中描述的类、对象和协作等)描述的。 一般意义上，一个系统需求要从它的需求、静态结构、动态行为和实现等不同的方面来描述。 结构模型描述了系统的逻辑结构，它从系统结构的角度描述系统存在的类及其之间的静态关系。 结构模型是系统的核心，反映的是系统的静态逻辑结构，在整个系统的设计中起着至关重要的作用。结构模型不仅实现了需求模型中定义的功能，还对行为模型和实现模型的定义起到了约束作用。 结构模型描述的是静态关系，在系统的整个生命周期中都有效。 类是具有一定结构、行为、关系和语义的对象的集合。通过操作来代表类的行为，操作可以通过检查交互图类实现。 关系是对象间通讯的路径，如果两个对象间通讯，则它们之间必须连接。关系可以通过交互图(顺序图或协作图)来发现。 。 。 。 。 。 此章将“SA设计方法 ”和“SA设计过程”相结合，基于UML进行SA设计的描述 上两个图是对前面已讲内容的复习。 将“SA设计方法 ”和“SA设计过程”相结合，基于UML即可产生下张PPT的内容。 总体需求的了解：为选择合适的SA奠定基础；初步选择大粒度的SA风格：指导进一步获取和表示需求 设计SA的内在布局和功能分配：从软件的性能出发，通过构件合理的时空布局，达到提高目标系统的的整体性能，如可靠性、动态性、扩展性能 正确性验证：主要通过原型法---设计一个目标系统的雏形，通过试运行该原型系统，验证构件设计得是否合理，能否满足要求。也可以通过一定的经验，通过计算、推理等分析验证各构件的正确性。正确性验证要借助一定的需求管理办法，通过需求验证和管理不断完善用户提出的功能和性能指标。 形成文档化SA，并进行评估：SA文档是评估的依据，才能组织专家，成立评估小组，对SA的各项功能和性能指标