业务流程模型

基于 UML 的银行贷款系统业务建模

0 引言

一套完善的银行贷款系统，不仅可以大大提高贷款业务的办理效率，而且可以根据客户的需求快速完成新业务的开发和重组，改善银行的服务品质。然而对于像银行贷款系统这种大中型系统的开发，很难直接对其进行分析设计，需要借助建立业务模型来分析系统。

UML（Unified Modeling Language，统一建模语言）不仅提供了描述软件系统模型的概 念和图形表示法，而且能准确地表达面向对象的概念，体现面向对象的分析和设计风格。

RUP（Rational Unified Process，统一建模过程）是 Rational 公司为用户提供的基于 UML 的

软件开发过程，它是一种基于用例驱动的，以系统架构为中心的迭代与增量开发软件的过程。

本文是从银行贷款的实际业务出发，在遵循 RUP 迭代开发思想的指导下，利用 UML

开发工具（如 Rational Rose）建立了银行贷款系统的 UML 用例模型。在用例模型的基础上，详细介绍了从用例描述中提取和筛选系统类的语法分析过程，通过分析类之间的关系，建立了银行贷款系统的类图模型，实现了从业务需求分析到系统设计和编码的无缝连接。

1 业务建模

业务建模在软件开发过程中起了非常重要的作用，通过业务建模可以帮助开发人员了解现状，启发愿景和需求，为后续的分析和设计提供精确有效的参考。实施业务建模可以按下文提及的步骤进行。

1.1 选定业务领域

对业务领域的划分应该有一个明确的界限，这一步是基本前提，如果范围不明确，会导致以后的分析缺乏依据，或者产生矛盾。本文引用的实例是银行贷款系统，通过对银行贷款业务的需求调研，选定银行贷款系统的业务领域如图 1 所示。

图 1 银行贷款系统的业务领域

1.2 识别业务执行者

业务执行者（business actor）是在系统之外与业务交互的人或组织；业务工人（business

第２９卷第３期　

Ｖｏ１．２９　ＮＯ．３　计算机工程与设计　

Ｃｏｍｐｕｔｅｒ　Ｅｎｇｉｎｅｅｒｉｎｇ　ａｎｄ　Ｄｅｓｉｇｎ　２００８年２月　

Ｆｅｂ．２００８　

基于时间Ａｍｂｉｅｎｔ演算的业务流程模型验证　

李　津　，　李　勇　，　高春鸣　

（１．湖南师范大学数学与计算机科学学院，湖南长沙４１００８１；２．国防科技大学计算机学院，湖南长沙４１００７３）　

摘　要：Ｍｏｂｉｌｅ　Ａｍｂｉｅｎｔ演算是一种描述进程和设备移动的形式化方法，但其移动进程的实时性目前尚未有合适的形式化表　

达。通过对ＭｏｂｉｌｅＡｍｂｉｅｎｔ演算进行实时扩充，提出了一种离散时间域的时间ＭｏｂｉｌｅＡｍｂｉｅｎｔ演算（ＤＴＭＡ），并为ＤＴＭＡ演算　

定义了模态逻辑。基于ＤＴＭＡ演算及其模态逻辑的子集给出了模型验证算法，提出了一种对ＢＰＥＬ４ＷＳ程序的形式化建模　方法，实现了业务流程的活动可达性的模型验证。　

关键词：离散时间Ａｍｂｉｅｎｔ演算；移动进程；模态逻辑；模型验证；业务流程执行语言　中图法分类号：ＴＰ３０１　文献标识码：Ａ　文章编号：１０００—７０２４（２００８）０３—０５５４—０６　

Ｍｏｄｅｌ　ｃｈｅｃｋｉｎｇ　ｆｏｒ　ＢＰＥＬ４ＷＳ　ｂａｓｅｄ　ｏｎ　ｔｉｍｅｄ　Ａｍｂｉｅｎｔ　

ＬＩ　Ｊｉｎ　，ＬＩ　Ｙｏｎｇ　，ＧＡＯ　Ｃｈｕｎ—ｍｉｎｇ　，抖　

（１．Ｃｏｌｌｅｇｅ　ｏｆＭａｔｈｅｍａｔｉｃｓ　ａｎｄＣｏｍｐｕｔｅｒ　Ｓｃｉｅｎｃｅ，ＨｕｎａｎＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｃｈａｎｇｓｈａ４１００８１，Ｃｈｉｎａ；　

２．Ｃｏｌｌｅｇｅ　ｏｆＣｏｍｐｕｔｅｒ　Ｓｃｉｅｎｃｅ，Ｎａｔｉｏｎａｌ　Ｕｎｉｖｅｒｓｉｔｙ　ｏｆＤｅｆｅｎｓｅ　Ｔｅｃｈｎｏｌｏｇｙ，Ｃｈａｎｇｓｈａ　４１００７３，Ｃｈｉｎａ）　

Ａｂｓｔｒａｃｔ：Ｔｈｅ　Ｍｏｂｉｌｅ　Ａｍｂｉｅｎｔ　ｃａｌｃｕｌｕｓ　ｐｒｅｓｅｎｔｅｄ　ｂｙ　Ｌｕｃａ　Ｃａｒｄｅｌｌｉ　ｉＳ　ａ　ｆｏｒｍａｌｉｓｍ　ｆｏｒ　ｄｅｓｃｒｉｂｉｎｇ　ｔｈｅ　ｍｏｂｉｌｉｔｙ　ｏｆｂｏｔｈ　ｐｒｏｃｅｓｓ　ａｎｄ　ｍｏｂｉｌｅ　

２０１２年第６期　

文章编号：１００９—２５５２（２０１２）０６—００７９—０４　中图分类号：ＴＰ３１１　文献标识码：Ａ　

基于动态领域模型的业务流程管理　

申新鹏，张利军，杨　波　

（金蝶软件（中国）有限公司，深圳５１８０５７）　

摘要：在云计算环境下，业务流程会随着企业的业务流程发生变化。必须设计出可以在运行　

环境下动态修改的业务流程才能满足要求。金蝶公司设计了一个业务流程框架，可以实现业务　

流程的动态设计和解析。针对云计算环境下，业务流程中的动作很多，不易管理的情况，设计　

了一个三层业务流程模型。针对业务流程在不同组织间转移产生的权限问题，设计了单据的业　

务流程视图模式，赋予用户临时的单据访问权限。通过以上方法，很好的解决了云计算环境下　

业务流程设计中遇到的问题。　

关键词：企业资源计划系统；云计算；业务流程；动态领域模型　

Ｂｕｓｉｎｅｓｓ　ｐｒｏｃｅｓｓ　ｍａｎａｇｅｍｅｎｔ　ｂａｓｅｄ　ｏｎ　ｄｙｎａｍｉｃ　ｄｏｍａｉｎ　ｍｏｄｅｌ　

ＳＨＥＮ　Ｘｉｎ—ｐｅｎｇ，ＺＨＡＮＧ　Ｌｉ－ｊｕｎ，ＹＡＮＧ　Ｂｏ　

（Ｋｉｎｇｄｅｅ　Ｓｏｆｔｗａｒｅ（Ｃｈｉｎａ）Ｃｏｍｐａｎｙ　Ｌｔｄ．，Ｓｈｅｎｚｈｅｎ　５１８０５７，Ｃｈｉｎａ）　

Ａｂｓｔｒａｃｔ：Ｉｎ　ｔｈｅ　ｃｌｏｕｄ　ｃｏｍｐｕｔｉｎｇ　ｅｎｖｉｒｏｎｍｅｎｔ，ｔｈｅ　ｗｏｒｋｆｌｏｗ　ｍｉｇｈｔ　ｂｅ　ａｌｔｅｒｅｄ　ｆｏｌｌｏｗｉｎｇ　ｔｈｅ　ｂｕｓｉｎｅｓｓ　

ｐｒｏｃｅｓｓｅｓ’ｃｈａｎｇｅｓ．Ｔｈｅ　ｄｙｎａｍｉｃａｌ　ｗｏｒｋｆｌｏｗ　ｍｕｓｔ　ｂｅ　ｄｅｓｉｇｎｅｄ　ｔｏ　ｍｅｅｔ　ｔｈｅ　ｒｅｑｕｉｒｅｍｅｎｔｓ．Ｋｉｎｇｄｅｅ　

Ｃｏｍｐａｎｙ　ｐｒｏｐｏｓｅｄ　ａ　ｗｏｒｋｆｌｏｗ　ｆｒａｍｅｗｏｒｋ　ｔｈａｔ　ａｃｈｉｅｖｅｓ　ｄｙｎａｍｉｃ　ｗｏｒｋｆｌｏｗ’Ｓ　ｄｅｓｉｇｎ　ａｎｄ　ａｎａｌｙｓｉｓ．Ｉｎ　ｔｈｅ　

ｃｌｏｕｄ　ｃｏｍｐｕｔｉｎｇ　ｅｎｖｉｒｏｎｍｅｎｔ，ｔｈｅｒｅ　ａｒｅ　ａ　ｌｏｔ　ｏｆ　ａｃｔｉｏｎ　ｉｎ　ｔｈｅ　ｗｏｒｋｆｌｏｗ　ａｎｄ　ｔｈｅｙ　ａｒｅ　ｎｏｔ　ｅａｓｙ　ｔｏ　ｂｅ　

业务流程编写模型

业务流程编写模型是指将一个业务流程分解为多个步骤，并按照一定的规则和顺序组织起来，形成一个可执行的流程模型。业务流程编写模型的目的是为了帮助企业更好地管理和优化业务流程，提高工作效率和质量。

以下是业务流程编写模型的一般步骤：

1. 确定业务流程的目标和范围，明确流程的输入和输出。

2. 列出业务流程中的所有步骤，并按照一定的规则和顺序组织起来，形成一个流程图。

3. 对每个步骤进行详细的描述，包括步骤的目的、执行者、输入和输出等信息。

4. 确定每个步骤的执行条件和执行结果，包括成功、失败和异常情况。

5. 对整个业务流程进行测试和优化，确保流程的正确性和高效性。

6. 将业务流程编写模型转化为可执行的软件系统或手工操作指南，供企业员工使用。

需要注意的是，业务流程编写模型需要根据具体的业务需求和流程特点进行设计和优化，不能一概而论。同时，业务流程编写模型需要不断地进行更新和改进，以适应企业发展和变化的需求。