主动对象 kiosk box office credit card service 交 request(count, performence) 互 show availability(seat-list) 视 select(seats 生命线(活动的) 图 demand payment(cost) insert card(card number) 消息 charge(card number, cost) 顶 authorized 序 Print tickets(performance, seats) 图 ctcard
交 互 视 图 一 ： 顺 序 图 主动对象 request(count, performence) show availability(seat-list) select(seats) demand payment(cost) insert card (card number) charge(card number,cost) authorized Print tickets(performance,seats) eject card kiosk box office credit card service 消息 生命线（活动的）
交 kiosk 主动对象 互 1: request(count performance) 4: offer( seat-list) 视 buy(seats) 图 8: confirm(seats, cost) at-list: =lock( count) 6: claim(seats) 被动对象 协 ck (seat-list) ticketseller dDd: Performance DB <<local>>db 作 暂时链 图 2: db: =findDB(performance) 多对象 bertormanceguide Performance
交 互 视 图 二 ： 协 作 图 暂时链 <<local>>db dbs 多对象 被动对象 消息 7: unlock(seat-list) kiosk ticketSeller performanceGuide Dd:PerformanceDB :PerformanceDB 1:request(count,performance) 4:offer(seat-list) 5:buy(seats) 8:confirm(seats,cost) 3: seat-list:=lock(count) 6: claim(seats) 2: db:=findDB(performance) 主动对象 链
初始状态 状态机视图 assign to subscription timed out 状态 Available lock Locked Sold Inoc k 转换 exchange 触发器事件
状态机视图 timed out lock unlock buy 状态 转换 exchange Available Locked Sold 初始状态 assign to subscription 触发器事件
pick show 活动视图 schedule show 活动 分叉 publicize show scripts design make hire artists build sets d music lighting costumes sell tickets re hearse 完成转换 (dress rehearsal 结合 pe rform
活 动 视 图 分叉 pick show schedule show publicize show sell tickets buy scripts and music build sets design lighting make costumes perform dress rehearsal rehearse hire artists 活动 完成转换 结合
参与者 信用卡代理 匚衤 构件 <<database>> CreditcardCharges TicketDB 物理视图一:实现视图 提供者 mIchale status charge 接口 客户 groupsales Ticketseller Managerlnterface subscriptionsales oindividualsales 监督员 KioskInterface ClerkInterfa 子 顾客 售票员
物理视图一：实现视图 构件 提供者 客户 subscriptionsales CreditCardCharges <<database>> TicketDB ManagerInterface KioskInterface ClerkInterface TicketSeller 参与者 信用卡代理 charge 接口 status purchase 参与者 individualsales groupsales 参与者 监督员 顾客 售票员