软件系统分析与设计-业务建模实例

ofo共享单车App用车业务建模

根据ofo共享单车App用车业务描述,进行业务建模。本次建模只针对ofo App的使用车辆业务进行建模,不包括其余的参与活动,查看消息等业务,

用例图

活动图

领域模型

状态图

本图为小黄车对象的状态图

顺序图

本图为成功完成一次骑行的顺序图

操作协议

对于上述顺序图,操作协议包括:

  • Contract CO1:请求解锁码
    • Operation:requestCode(bicycle_id)
    • Cross Reference:用例:解锁车辆
    • Preconditions:
      • 用户找到一辆小黄车并输入它的车牌或扫描二维码
    • Postconditions:
      • 用户获得解锁码
      • 本次行程开始,对应订单被创建
  • Contract CO1:结束行程
    • Operation:endRiding()
    • Cross Reference:用例:结束行程
    • Preconditions:
      • 本次行程之前已经开始
      • 本次行程对应的订单内各项属性已经初始化
    • Postconditions:
      • 本次行程结束,对应订单变为已完成
      • 生成本次订单信息
  • Contract CO1:确认支付
    • Operation:confirmPayment()
    • Cross Reference:用例:支付费用
    • Preconditions:
      • 订单已结束
      • 支付信息已经生成,并且未确认
    • Postconditions:
      • 扣除用户余额

本文为博主原创文章,转载请注明出处。