一. 实验目的及实验环境
（一）、实验环境
（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 领域模型图
