基于形式化方法构建领域模型及其实现的探讨
| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-13页 |
| ·企业应用的特点 | 第9页 |
| ·企业应用的分层 | 第9-10页 |
| ·业务规则的组织 | 第10页 |
| ·领域模型的构建 | 第10-11页 |
| ·服务层 | 第10-11页 |
| ·相互关联的实体 | 第11页 |
| ·当前构建领域模型的思路 | 第11页 |
| ·本文的内容和创新 | 第11-13页 |
| 第2章 构建领域模型的形式化方法 | 第13-20页 |
| ·形式化方法介绍 | 第13-14页 |
| ·领域模型中实体的形式化 | 第14-15页 |
| ·领域模型中抽象服务的形式化 | 第15-16页 |
| ·从真实需求到形式化领域模型 | 第16-20页 |
| ·真实需求用例示例 | 第16-17页 |
| ·确立概念和实体 | 第17-18页 |
| ·抽取服务以及服务中应完成的活动 | 第18-20页 |
| 第3章 开票管理模块需求介绍 | 第20-26页 |
| ·开票管理模块需求简介 | 第20页 |
| ·用例1: 记录产品 | 第20-21页 |
| ·用例2: 删除产品 | 第21页 |
| ·用例3: 更新产品信息 | 第21-22页 |
| ·用例4: 增加价格记录 | 第22页 |
| ·用例5: 清单生成 | 第22-23页 |
| ·术语表 | 第23-26页 |
| 第4章 形式化建模及代码转换 | 第26-55页 |
| ·开票管理模块领域模型的形式化 | 第26-34页 |
| ·产品相关的实体和服务 | 第26-28页 |
| ·产品价格记录相关的实体和服务 | 第28-30页 |
| ·发车记录相关的实体 | 第30-31页 |
| ·清单相关的实体和服务 | 第31-34页 |
| ·从形式化模型到代码实现 | 第34-55页 |
| ·对象领域模型中的角色分类 | 第35-37页 |
| ·为对象领域模型选择技术 | 第37页 |
| ·形式化领域模型到代码的转换策略 | 第37-38页 |
| ·形式化领域模型实体的转换 | 第38-42页 |
| ·形式化领域模型服务的转换 | 第42-46页 |
| ·转换后的对象细化实现 | 第46-55页 |
| 第5章 开票管理模块的最终实现 | 第55-63页 |
| ·开票管理模块的用户请求方式 | 第55-61页 |
| ·开票管理模块的部署实现 | 第61-63页 |
| 第6章 总结 | 第63-64页 |
| 参考文献 | 第64-67页 |
| 致谢 | 第67页 |
