UML行为建模与OCoN方法解析
1. UML行为建模概念
1.1 序列图
序列图是描述特定任务(如订单媒体发货)行为的最简单表示法。在一个示例中,展示了 processShipping
操作的第一部分,该行为分配给多个参与协作的分类器,通过应用“理想化时间”抽象,用对象生命线之间的箭头描述交互。
order:= confirmCheckOut(order)
mediaPack:= checkOut(shipData)
«implementation»
:Media
ShipmentImpl
«contract»
stock_
:MediaStock
«contract»
transport
:TransService
«contract»
order
:ShipmentOrder
processShipping()
shipData:= getData()
order:= confirmDelivery(order)
deliver(media)
order:= confirmCheckOut(order)
mediaPack:= checkOut(shipData)
shipData:= getData()
order:= confirmDelivery(order)
deliver(media)
这种抽象适用于严格顺序版本,但在指定并行处理或非确定性处理顺序时会失效,因为无法找到单一的理想化运行时顺序,常导致过度指定问题。
1.2 活动图
活动图形式主义通过状态图的与状态分解机制,定义并行或非