28、基于UML的Fusion分析：银行案例研究

基于UML的Fusion分析：银行案例研究

1. 引言

在当今的软件开发领域，对分布式软件的需求日益增长。然而，著名的Fusion开发方法仅适用于开发顺序反应系统和某些受限的并发系统。相比之下，统一建模语言（UML）提供了丰富的符号集，可用于对分布式系统进行建模，并且通过其约束语言OCL为图表引入了严谨性。

Fusion是一种面向对象的软件开发方法，它整合了多种OO方法，如OMT、Booch和CRC，为开发者提供了从需求分析到实现的系统过程。但它存在一些局限性，例如只能处理特定类型的系统，并且其模型存在一些已知问题，如对象模型的未解决解释、生命周期模型无法表达某些操作序列以及使用正则表达式建模系统生命周期的困难。

UML于1997年11月被OMG采纳后，已成为行业和学术界的事实上的标准。将UML引入Fusion的主要目的是支持分布式系统的建模，同时保留Fusion的系统过程和关注点分离特性，还能解决Fusion模型中的一些问题。

本文通过一个简单的银行案例研究，介绍了基于UML的Fusion分析阶段，并讨论了除符号转换之外的一些增强功能。主要有以下四个方面的贡献：
- 为参与者和系统实体以及两者之间的通信建立精确的定义。
- 通过引入OCL和使用规则，规范操作模式的编写风格和语言。
- 能够对与多个用户的并发交互进行建模。
- 能够将多个用户建模为参与者类的实例，并识别这些实例以与它们进行交互。

2. Fusion分析与UML

2.1 Fusion分析

Fusion的分析阶段侧重于定义系统接口和与系统领域相关的概念，从静态角度看，其分析阶段模型之间的依赖