物理体系结构的UML描述构件图.PPT

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 用例并不是指UML用例图，用例图只是用例的一种辅助表达机制 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 顺序图中的循环和约束 Print (ps-file) :Computer :Printer Server :Printer a {b-a5 sec} b {b-b1 sec} b Print(ps-file) Print (ps-file) 顺序图中的递归 op3 ( ) op2 ( ) send message op2 until… C1 : C D1 : D D2 : D op1 ( ) op4 ( ) 顺序图中的创建和消亡 一个对象可以通过一条消息创建另一个对象。当需要显式地表示对象的销毁(没有垃圾自动回收机制或特别指明不再使用)时，在图中用一个×符号表示。创建或消亡一个对象的消息通常是同步消息。 顺序图的结构化控制结构 对于复杂的控制流可以用组合片段来表示 一个组合片段有一个关键字和一或多个子片段 关键字指明片段类型 子片段指出操作对象 ref(引用)：对另一交互的引用 loop(循环)：当循环的警戒条件为真时循环执行子片段 alt(选择)：两个或多个子片段之间的选择执行 每个子片段有一个警戒条件，为真时执行该子片段 如果多个子片段的警戒条件为真，则无确定性地选择它们中的一个执行 如果没有一个子片段的警戒条件为真，则不执行 组合片段的类型-1 opt(可选)：选择的带单个子片段的特殊情况，警戒条件为假时省略该子片段 par(并发)：两个或多个子片段的并发执行 在不同片段中消息的相关顺序是不确定的 当所有子片段完整地并发执行后，控制流又连接到一起成为单一的流 组合片段的类型-2 ref debit(cost) reserve (date,count) reject [unavailable] loop get existing customer status [get nex item] alt creata() :order :Account Sd process Order :Ticket DB add(seats) [available] ╳ 引用 循环 选择(嵌套) 通信图 通信图展示了链接的对象之间如何发送消息，可用于描述系统中的操作执行、用况执行或一个简单的交互场景 通信图画成对象图，图中的消息箭头表示对象之间的消息流 消息上可标以标记，说明消息发送的顺序，还可指明条件、重复和回送值等 一个通信图从一个引起整个交互或协作的消息开始，如用户界面上的操作 与顺序图相比，通信图更强调交互对象之间的关系(context) 2:nextjob=GetJob() :Elevator :Queue :Order{new} {local}nextjob :Elevator control :Button Push() {parameter}job 1.2:Create( ) 1.1 *[all queues]: len:=Length( ) {broadcast} 1.3:Invoke (job) 1:GetElevator(floorid) job 链：连接两个对象的交互路径 消息传递的方向 消息及消息顺序编号 不带顺序编号的起始消息 同步调用中的嵌套消息 电梯运行过程的通信图 链是类关联的实例，是连接两个对象的路径，指明了对象间某种可能的导航和可见性。通信图中的消息在链上流转，多个消息可以共享一条单链。 链角色上可以附加相应的约束，包括： global （全局）表示该角色是全局的； local （局部）表示该角色是一个操作中的局部变量； parameter （参数）表示该角色是一个操作中的参数； self （自身）指出对象可以向自身发送消息。 通信图的链 发给类对象的消息(可将其视为元类的实例)：一般是对该类静态方法的调用 该表达法同样适用于顺序图 发送给类对象的消息 同步消息 异步消息 主动对象 通信图中的同步/异步消息 : printerserver : computer : printer [printer free] 1.1