【例】系统顺序图、操作契约、领域模型图

一. 实验目的及实验环境

（一）、实验环境

（1）、硬件

1.      CPU : Intel i5-2450m

2.      内存 : 4.00GB

3.      硬盘容量 : 500GB

（2）、软件

1.      Win7 旗舰版 64位操作系统

2.      Trufun Plato X Enterprise Edition

（二）、实验目的

1.理解顺序图、操作契约、领域模型的概念。

2.掌握领域模型分析的步骤与要点。

3.掌握握系统顺序图的绘制方法。

4.学会为系统创建操作契约。

二. 实验内容

（1）、绘制系统顺序图。

（2）、绘制领域模型图。

（3）、操作契约

三．实验结果

1、顺序图

图 1  用户注册帐号顺序图

 

2、操作契约

 

契约U1：CreatNewAccount

操作：CreatNewAccount(AccountID:String, Name:String, .....);

交叉引用：用例：注册帐号

前置条件：用户正在注册帐号

后置条件：创建了一个新的拥有唯一标识的帐号，将该帐号的信息写入系统数据库中。

   

契约U2：UserLogin

操作：UserLogin(AccountID:String, Password:String);

交叉引用：用例：用户登录

前置条件：用户正在登录系统

后置条件：系统创建一个线程管理用户的操作。

 

契约A1：AdminLogin

操作：AdminLogin(AccountID:String, Password:String);

交叉引用：用例：管理员登录

前置条件：管理员正在登录系统

后置条件：系统创建一个线程管理管理员的操作。

 

契约A2：ModifyUserInfo

操作：ModifyUserInfo(AccountID:String, ModifyContent:String, ModifyMode:int);

交叉引用：用例：修改用户信息

前置条件：管理员已登录系统

后置条件：根据AccountID找到该用户的信息，由ModifyMode确定修改项，将修改项修改为ModifyContent。

 

3、领域模型

图 2 领域模型图