コラボレーション
複数うオブジュクト間での関連する一連のアクション
Order Fulfillment
Retailer
Wholesaler
Product
Order
Item
name:String
cash:$
action (r:Retailer, w:Wholesaler)::order(p: Product)
pre p : w.catalog & r : w.registrants
post w.orderbook += let n: Order.new
[product=p & retailer=r & item=null] in n
order(p:Product)
deliver(x:item)
pay(m:$)
price:$
*
*
*
*
*
*
*
*
0..1
0..1
0..1
r
w
registrands
stock
orderbook
catalog
前のｽﾗｲﾄﾞ
次のｽﾗｲﾄﾞ
最初のｽﾗｲﾄﾞに戻る
ｸﾞﾗﾌｨｯｸｽの表示