基于形式化方法构建领域模型及其实现的探讨

论文摘要

在企业应用的开发过程中,有着不同于其他软件开发的挑战性和复杂性,这是由于各个不同的专业领域中大量的灵活多变的业务规则所造成的。面向对象的领域模型是解决这个问题的好办法,但传统的分析和设计方法无法确保真实需求和领域模型的统一性,容易造成需求和模型的错位。传统的分析方法缺乏一种能够在前期把握领域模型发展方向的手段,导致在设计时由于过于深入细节或者理解差异而造成系统不符合真实需求。作为一种对传统分析和设计方法的补充,可以利用形式化规范来描述真实需求,并将形式化领域模型作为软件开发过程中的指导。本文介绍了形式化领域模型的构成,以及如何从真实需求中构建形式化领域模型。对于构建形式化领域模型的细节,本文给出了构建形式化实体,形式化服务和活动的方法。本文中所描述的开票管理模块包括了记录产品,删除产品,更新产品信息,增加价格记录,清单生成五个用例。本文的主要工作是结合开票管理模块的实例,说明了用形式化领域模型指导开发过程的方法,并给出了完整实现开票管理模块的步骤,包括构建形式化领域模型,形式化领域模型转换到面向对象领域模型和转换后细化实现的过程。通过在实践中构建形式化领域模型及其实现,可以得出形式化领域模型能让相关人员从需求中准确定位相应的代码实现,从而保证了需求和系统应用之间的一致性。

论文目录

• 摘要
• Abstract
• 第1章 绪论
• 1.1 企业应用的特点
• 1.2 企业应用的分层
• 1.3 业务规则的组织
• 1.4 领域模型的构建
• 1.4.1 服务层
• 1.4.2 相互关联的实体
• 1.4.3 当前构建领域模型的思路
• 1.5 本文的内容和创新
• 第2章 构建领域模型的形式化方法
• 2.1 形式化方法介绍
• 2.2 领域模型中实体的形式化
• 2.3 领域模型中抽象服务的形式化
• 2.4 从真实需求到形式化领域模型
• 2.4.1 真实需求用例示例
• 2.4.2 确立概念和实体
• 2.4.3 抽取服务以及服务中应完成的活动
• 第3章 开票管理模块需求介绍
• 3.1 开票管理模块需求简介
• 3.2 用例1: 记录产品
• 3.3 用例2: 删除产品
• 3.4 用例3: 更新产品信息
• 3.5 用例4: 增加价格记录
• 3.6 用例5: 清单生成
• 3.7 术语表
• 第4章 形式化建模及代码转换
• 4.1 开票管理模块领域模型的形式化
• 4.1.1 产品相关的实体和服务
• 4.1.2 产品价格记录相关的实体和服务
• 4.1.3 发车记录相关的实体
• 4.1.4 清单相关的实体和服务
• 4.2 从形式化模型到代码实现
• 4.2.1 对象领域模型中的角色分类
• 4.2.2 为对象领域模型选择技术
• 4.2.3 形式化领域模型到代码的转换策略
• 4.2.4 形式化领域模型实体的转换
• 4.2.5 形式化领域模型服务的转换
• 4.2.6 转换后的对象细化实现
• 第5章 开票管理模块的最终实现
• 5.1 开票管理模块的用户请求方式
• 5.2 开票管理模块的部署实现
• 第6章 总结
• 参考文献
• 致谢