2、基于消息序列图的逐步设计

基于消息序列图的逐步设计

1. 引言

在软件开发过程中，用例是捕获用户需求的重要方式，但传统的文本描述方式容易导致误解和实现错误，且难以自动化从用例到设计规范的转换过程。消息序列图（MSC）作为一种形式化语言，在电信软件工程中广泛应用，是描述用例的理想选择。本文提出了一种将用例逐步细化为设计 MSC 的新方法，该方法由系统架构引导，并通过 MSC 之间的一致性关系自动验证细化步骤。

2. 用 MSC 描述用例

• bMSC 用例 ：bMSCs 是简单的图表，用于展示系统与环境之间的交互。在 bMSC 用例中，用户将系统视为一个“黑盒”，通过单个进程实例表示。例如，用户向系统发送消息“a”，系统则以消息“b”响应。
• HMSC 用例 ：HMSC 提供了系统的更抽象视图，通过隐藏低级细节和图形化展示多个 MSCs 的组合方式，提高了系统的可读性。它可以看作是由 MSCs 组成的路线图，使用顺序、选择和并行运算符。对于复杂用例，使用多个 bMSCs 并通过 HMSC 组合更为方便。使用三个抽象级别（系统级、结构级和基本级）可以完整地指定系统的用例。

抽象级别	描述
系统级	使用顶级 HMSC 表达系统的功能视图，作为一组用例
结构级	使用一个 HMSC