软件设计师之UML交互图与状态图：软件动态建模的关键工具

最新推荐文章于 2025-04-17 21:46:36 发布

一杯年华@编程空间

最新推荐文章于 2025-04-17 21:46:36 发布

阅读量1.3k

点赞数 53

分类专栏：软考中级文章标签： uml 交互 microsoft

本文链接：https://blog.csdn.net/wj_rdk/article/details/146488302

版权

软考中级专栏收录该内容

230 篇文章

订阅专栏

软件设计师之UML交互图与状态图：软件动态建模的关键工具

大家好！在软件开发的学习和实践中，我发现UML中的交互图和状态图对于理解和设计软件系统的动态行为至关重要。今天，就和大家一起深入探讨这些知识，希望能在交流中共同进步，更好地掌握软件动态建模的技巧。

一、UML交互图详解

UML交互图用于对系统的动态方面进行建模，包括序列图、通信图、交互概览图和计时图，每种图都有其独特的侧重点和用途。

（一）序列图

序列图是场景的图形化表示，着重描述以时间顺序组织的对象之间的交互活动。在绘制序列图时，将参与交互的对象沿水平方向排列在图的上方，通常发起交互的对象放在左边，下级对象依次放在右边。对象发送和接收的消息沿垂直方向按时间顺序从上到下放置，这样可以清晰地展示控制流随时间的推移情况。

序列图有两个重要特征：一是对象生命线，它是一条垂直的虚线，表示对象在一段时间内的存在。对象可以在交互过程中创建（生命线从接收到create消息时开始），也可以在交互过程中撤销（生命线在接收到destroy消息时结束，并标记大X）。二是控制焦点，它是一个瘦高的矩形，表示对象执行动作所经历的时间段，矩形的顶部表示动作开始，底部表示动作结束（可由返回消息标记），还能通过嵌套展示循环、自身操作调用或回调引起的控制焦点变化。

例如，在一个在线购物系统中，用户下单的过程可以用序列图来描述。用户对象向订单对象发送“创建订单”消息，订单对象接收到消息后，向商品库存对象发送“检查库存”消息，库存对象返回库存信息后，订单对象再向支付系统对象发送“支付”消息等，整个过程按时间顺序依次展示，清晰明了。

（二）通信图

通信图强调收发消息的对象的结构组织，早期版本也称为协作图。绘制通信图时，将参与交互的对象作为图的顶点，连接这些对象的链表示为图的弧，并用对象发送和接收的消息来修饰这些链，从而在协作对象的结构组织语境中观察控制流。

通信图有两个不同于序列图的特性：一是有路径，通过在链的末端附上路径构造型（如<<local>>表示局部），可以指出对象之间的链接方式。二是有顺序号，为表示消息的时间顺序，给消息加数字前缀（从1号消息开始），控制流中每个新消息的顺序号单调增加，嵌套消息使用带小数点的号码表示（如1.1表示嵌套在消息1中的第一个消息）。

同样以在线购物系统为例，通信图可以展示用户、订单、商品库存和支付系统等对象之间的结构关系，以及它们之间消息传递的顺序，从结构组织的角度呈现系统的动态行为。

对比项	序列图	通信图
侧重点	消息时间顺序	对象结构组织
表示方式	对象在上方水平排列，消息垂直按时间顺序放置	对象作为顶点，链表示连接，消息修饰链
独特特征	对象生命线、控制焦点	路径、顺序号
使用场景	强调交互时间顺序的场景	强调对象协作结构的场景

（三）交互概览图

交互概览图是UML 2.0新增的交互图，是活动图的变体，主要描述业务过程中的控制流概览、软件过程中的详细逻辑概览，以及将多个图进行连接，它抽象掉了消息和生命线，使用活动图的表示法。在一个复杂的业务流程中，如电商平台的订单处理流程，涉及多个子流程和判断条件，交互概览图可以将这些流程以一种更宏观、更概括的方式展示出来，让开发者能快速把握整体逻辑。

（四）计时图

计时图也是UML 2.0新增的交互图，特别适合实时和嵌入式系统建模，它关注沿着线性时间轴、生命线内部和生命线之间的条件改变，描述对象状态随着时间改变的情况，类似于示波器的展示方式，适合分析周期和非周期性任务。比如在一个实时监控系统中，需要监测设备的状态变化，计时图可以清晰地展示设备在不同时间点的状态变化情况，帮助开发者分析系统的运行状态。

二、UML状态图详解

状态图展现了一个状态机，由状态、转换、事件和活动组成，关注系统的动态视图，对于接口、类和协作的行为建模尤为重要，强调对象行为的事件顺序。

状态是对象生命周期中的某个条件或状态，在此期间对象满足某些条件、执行某些活动或等待某些事件。例如，在一个订单系统中，订单对象可能有“待支付”“已支付”“已发货”“已完成”等状态。转换是两个状态之间的关系，表示对象在源状态执行一定动作，并在特定事件发生且特定警戒条件满足时进入目标状态。比如，当订单收到支付成功的事件且支付金额正确时，订单状态从“待支付”转换到“已支付”。动作是可执行的原子操作，不可中断，执行时间可忽略不计。

状态图还包括组合状态（含有子状态）和历史状态（记住从组合状态中退出时所处的子状态），可以用状态图对系统、类或用例的动态方面建模，特别是对反应型对象建模。反应型对象的行为通常由对外部事件的反应来刻画，在接收到事件前处于空闲状态，接收到事件后根据之前的事件做出反应，然后又回到空闲状态等待下一个事件。

下面用一段Java代码示例来展示状态图在代码中的体现：

public class Order {
    private OrderStatus status;

    public Order() {
        this.status = OrderStatus.PENDING_PAYMENT;
    }

    public void pay() {
        if (status == OrderStatus.PENDING_PAYMENT) {
            status = OrderStatus.PAID;
            System.out.println("订单已支付");
        } else {
            System.out.println("当前订单状态不支持支付操作");
        }
    }

    public void ship() {
        if (status == OrderStatus.PAID) {
            status = OrderStatus.SHIPPED;
            System.out.println("订单已发货");
        } else {
            System.out.println("当前订单状态不支持发货操作");
        }
    }

    public void complete() {
        if (status == OrderStatus.SHIPPED) {
            status = OrderStatus.COMPLETED;
            System.out.println("订单已完成");
        } else {
            System.out.println("当前订单状态不支持完成操作");
        }
    }
}

enum OrderStatus {
    PENDING_PAYMENT,
    PAID,
    SHIPPED,
    COMPLETED
}