下载文档原格式
东南大学软件学院（苏州）软件工程硕士研究生专业介绍东南大学软件学院（苏州）软件工程硕士研究生专业介绍一基本情况东南大学是中央直管、教育部直属的全国重点大学，是“985 工程”和“211 工程”重点建设的大学之一，是国务院首批可授予博士、硕士、学士学位和审定教授、副教授任职资格及自批增列博士生导师的高校。
东南大学软件学院创建于2001年12月，是国家教育部和原国家发展计划委员会首批批准成立的 35 所“国家示范性软件学院”之一，是江苏省教育厅、江苏省学位委员会确立的江苏省首个“软件工程研究生联合培养示范基地”，江苏省首批“江苏省国际服务外包人才培训基地”，教育部“工程应用型软件人才培养模式创新实验区”。
2007 年 11 月，东南大学与苏州市政府签署了合作协议，在苏州工业园区独墅湖高等教育区合作共建东南大学软件学院（苏州），重点培养软件工程专业硕士研究生，为国家和地方培养高层次、工程型、复合型、国际化的软件精英人才。
从2008年起东南大学软件工程专业硕士研究生全部在软件学院（苏州）培养。
学院按照全新理念、全新机制、全新模式进行国际化办学，依托学校优势学科，投入一流的师资，建立一流的教学实验环境，全面优化培养体系，与国内外著名软件与IT企业精诚合作，努力把学院建成国内培养高层次、工程型、复合型、国际化软件与IT 人才的重要基地，为国家和地方经济的快速发展和社会进步服务。
二专业方向软件学院（苏州）下设软件工程系、网络工程系、微电子技术系、信息技术系和数字艺术系。
各系主要研究方向如下：软件工程系：软件开发技术、嵌入式软件技术、软件服务工程、计算机图形与三维动画、软件项目管理、企业信息化。
网络工程系：网络与信息安全、网络工程与网络管理、网络系统软件设计。
微电子技术系：集成电路设计、嵌入式系统。
信息技术系：智能电网、智能交通、融合通信、虚拟仪器。
数字艺术系：影视动画创意与制作。
三培养目标1、软件工程系依托东南大学计算机科学与工程学院、东南大学软件学院优势学科，以国内外软件企业人才需求为导向，面向国民经济信息化建设和发展的需要，培养具有专业领域知识、能够熟练使用软件开发工具和平台、具有独立进行软件设计与开发能力、能够承担企业软件研发需求分析师、软件构架师、项目经理等职务的软件工程师。
UML建模基础——UML概述东软人才实训中心3 Sept. 2008©Neusoft Confidential课程结构1第五章：状态图和活动图2第三章：类图1第四章：交互图1第二章：用例图1第一章：UML 概述、Rose 简介课时（H ）内容培训目标•能够使用Rose工具画UML类图•能够看懂用UML表示的设计第一章：UML 概述、Rose 简介学时：1学时教学方法：讲授ppt ＋上机练习目标:本章旨在向学员简要介绍UML建模的重要性、UML的概念模型,通过本课的学习，学员应该掌握如下知识：1）了解UML的概念模型2）简要介绍UML的“4+1view ”3）了解Rose工具UML概述•什么是UML?–UML: 统一建模语言Unified Modeling Language–UML是由Rational公司三位世界级面向对象技术专家Grady Booch，Ivar Jacobson和Jim Rumbaugh提出的。
–UML是一种标准的图形化建模语言，它是面向对象分析与设计的一种标准表示。
•什么是UML?–不是一种可视化编程语言，而是一种可视化建模语言–不是工具或知识库的规格说明，而是建模语言的规格说明，是一种表示的标准–不是过程，也不是方法，但是允许任何一种过程和方法使用它•什么是模型?–模型就是真实世界的简化–为我们提供一个系统的原型•为什么要建模?–为了更好的理解我们将要或正在开发的系统–是把复杂的系统变成小的系统，采用“各个击破”的原则逐一解决–因为我们通常无法理解一个复杂系统的全部–模型能为我们做什么?•帮助我们对系统进行可视化•允许我们详细说明系统的结构或行为•给出一个指导我们构造系统的模板•对我们做出的决策进行文档化业务流程计算机系统可视化建模可视化建模就是用标准的图形表示法来建模“建模获取系统的关键部分”UML•什么是可视化建模?可视化建模的作用•可视化建模获取业务流程–用例（use case）分析是一种从用户的角度获取业务流程的技术–使用相同的语言，不至于产生歧义–用例分析能让分析师在构建系统之前理解要构建什么可视化建模的作用(续)•可视化建模是一个交流工具–使用相同的语言，不至于产生歧义业务领域计算机领域Logical ViewPhysical View User InterfaceBusiness Logic Database Java JSPC++ JavaSQL•管理复杂性–把3000多个类放在一张图中不好–可视化建模的“包”（package）•把元素模型化成有意义的组合•为不同的人提供不同级别的抽象–软件构架(architecture)•促进复用(reuse)–复用是软件的“圣杯”–不止是复用代码，而是复用建立原始工件时需要的所有分析、设计、实现、测试、文档化–可以有一个类复用、多个类（或一个组件）的复用、应用模式等复用方式–可视化建模让你从复用的角度看，如果想复用工件，什么是可用的UML的概念模型•UML的概念模型–UML建模的三个主要元素•构造块：事物、关系、图•规则：命名、范围、可见性、完整性、执行•公共机制：规范说明、通用划分、扩展机制•UML元素–构造块–事物•对模型中最具有代表性的成分的抽象–关系•把事物结合在一起–图•聚集了相关的事物•UML元素–构造块–事物–结构事物：通常是UML模型的静态部分，描述概念或物理元素•类•接口•用例：通常代表一个需求•协作：表示一个用例的实现•主动类：至少拥有一个进程或线程的类•组件：系统中物理的、可替代的部件，如源代码文件•节点：运行时存在的物理元素，如一个设备•UML元素–构造块–事物（续）–行为事物：是UML模型的动态部分，是模型中的动词•交互（interaction）：可描述一个对象群体的行为或单个操作的行为•状态机（state machine）：可描述单个类或一组类之间协作的行为–分组事物：是UML中的组织部分•包（package）–注释事物：是UML中的注释部分•注解（note）•UML元素–构造块–关系–关系•依赖（dependency）：一个事物发生变化会影响到另一个事物。
中北大学软件学院实验报告专业：_________________________方向：_________________________课程名称：_________________________班级：_________________________学号：_________________________姓名：_________________________辅导教师：_________________________2016年3月制UML建模（可修改）源文件下载地址：cPYefHShE3DgJ 访问密码 48ea成绩：5.实验过程或源代码图1：整体用例图UseCase图2 细化后的会员管理用例图3 细化后的板块管理用例图4 细化后的帖子管理用例表1 会员登录系统的用例描述用例编号UC001用例名称会员登录系统用例概述已经注册过的会员通过登录可以进入到系统并使用系统中的相关功能参与者客户，即注册过的会员前置条件客户进入登陆界面并且已经注册过成绩：5.实验过程或源代码图1 概要类图（抽取的实体和实体之间的关联泛化关系）图2 精化后的类图6.实验结论及心得通过本次实验我学会了使用RationalRose 2007绘制类图的方法，明白了如何从系统中抽取类，如何分析类之间的关系以及多重性。
成绩：2.加进消息(1) 选择Link Message或Reverse Link Message工具栏按钮。
(2) 单击要放消息的对象链接。
(3) 双击消息，可以在弹出的对话框里为消息命名。
(4) 同一个方向，一般只允许出现一个箭头，但是消息可以有多个。
先双击消息的箭线，单击窗口右下角的【browse】按钮，选择【browse parent】,出来的对话框中，选择【messages】选项卡，添加消息。
3.自反链接(1) 选择Link to Self工具栏按钮。
(2) 单击要链接的对象，会增加一个消息的箭头。
(3) 双击消息，命名自反链接。
21春学期《软件工程与UML建模》在线平时作业3
1：因果图方法是根据（）之间的因果关系來设计测试用例的。
A、输入与输出
B、设计与实现
C、条件与结果
D、主程序与子程序
答案:A
2：下面哪项不是软件的主要基础特征量（）
A、软件规模
B、开发成本
C、工作量
D、错误数
答案:D
3：数据流图包含的成分有（）。
A、关系、实体和属性
B、数据流、加工和数据存储
C、数据流、数据源和数据实体
D、数据流、属性、数据存储和加工
答案:B
4：使用白盒测试方法时，确定测试数据应根据（）和指定的覆盖标准。
A、程序的内部逻辑
B、程序的复杂程度
C、使用说明书
D、程序的功能
答案:A
5：为了表示软件项目管理工作中各项任务之间的进度衔接关系，最常用的计划管理工具是（）。
A、程序结构图
B、数据流图
C、E-R 图
D、甘特图（Gantt）
答案:D
6：数据流图中有名字及方向的成分是（）
A、控制流
B、信息流
C、数据流
D、信号流
答案:C
7：在设计测试用例时，（）是用得最多的一种黑盒测试方法。
A、等价类划分
B、边值分析
C、因果图
D、判定表
答案:B
8：不属于线性系列模型的模型是（）。
15 秋学期《软件工程与 UML 建模》在线作业 2单选题判断题一、单选题（共 15 道试题，共 75 分。
）1. 不属于系统运营效益的是（）A. 直接效益B. 减少管理费用而产生的效益C. 提高工作效率、降低处理成本而产生的效益D. 开发系统消息发出后产生的股票收益----------------选择：D2. 在实际的开发过程中，纠正了程序中的错误之后，还应该选择部分或全部原先已测试过的用例，对修改后的程序重新测试，这种测试称为（）。
A. 验收测试B. 强度测试C. 系统测试D. 回归测试----------------选择：D3. 在 UML2.0 中，交互概述图通过顺序图来表示它的（）间的控制流。
A. 类B. 状态图C. 顺序图D. 包图----------------选择：C4. 从宏观的角度讲软件划分为各个组成模块，并确定模块的功能及模块之间的调用关系，这属于（）的范畴A. 概要设计B. 详细设计C. 接口设计D. 过程设计----------------选择：A5. 软件的集成测试工作最好由（）承担，以提高集成测试的效果。
A. 该软件的设计人员B. 该软件开发组的负责人C. 该软件的编程人员D. 不属于该软件开发组的软件设计人员----------------选择：D6. 在业务领域分析过程中，通过建立实体关系图，把与业务相关的数据模型化；通过建立（）来表示业务活动的分解过程。
A. 数据流图（DFD）B. 过程层次图（PHD）C. 过程活动图（PAD）。
《UML实验》参考答案1. 某酒店订房系统描述如下：(1) 顾客可以选择在线预订，也可以直接去酒店通过前台服务员预订；(2) 前台服务员可以利用系统直接在前台预订房间；(3) 不管采用哪种预订方式，都需要在预订时支付相应订金；(4) 前台预订可以通过现金或信用卡的形式进行订金支付，但是网上预订只能通过信用卡进行支付；(5) 利用信用卡进行支付时需要和信用卡系统进行通信；(6) 客房部经理可以随时查看客房预订情况和每日收款情况。
绘制该酒店订房系统的用例图。
参考答案：顾客在线预订房间前台预订房间通过现金支付订金通过信用卡支付订金查看客房预订情况查看每日收款情况2. 根据以下场景绘制用例图：某企业为了方便员工用餐，为企业餐厅开发了一个订餐系统（COS：Cafeteria Ordering System），企业员工可通过企业内联网使用该系统。
该系统功能描述如下：(1) 企业的任何员工都可以查看菜单和今日特价；(2) 系统的顾客是注册到系统的员工，可以在线订餐（以下操作均需先登录）、注册工资支付、修改订餐信息和删除订餐信息，在注册工资支付时需要通过工资系统进行身份验证；(3) 餐厅员工是特殊的顾客，可以进行备餐（系统记录备餐信息）、生成付费请求和请求送餐，其中对于注册使用工资支付的顾客生成付费请求并发送给工资系统；(4) 菜单管理员是餐厅员工的一种，可以管理菜单；(5) 送餐员也是餐厅员工的一种，可以打印送餐说明、记录送餐信息（如送餐时间）以及记录收费（对于没有注册工资支付的顾客，由送餐员收取现金后记录）。
参考答案：<<include>>查看菜单查看今日特价在线订餐注册工资支付修改订餐信息删除订餐信息工资系统备餐生成付费请求请求送餐管理菜单打印送餐说明记录送餐信息记录收费注册登录3. 根据以下场景绘制用例图：某公司需开发一个反馈处理系统作为其CRM的一部分。
系统基本功能描述如下：(1) 客户可通过系统发布反馈信息；(2) 公司客户关系(CR)部门员工也可以在系统中记录反馈信息；(3) 业务部门的主管和员工均能看到本部门的反馈信息，但只有CR部门员工拥有修改与删除反馈的权限；(4) 对于部分需要调查以便验证其真实性并需要做相关处理的反馈信息，业务部门主管有权通过系统安排本部门员工调查及处理该反馈；(5) 反馈调查与处理完毕后，负责调查的员工可通过系统输入反馈的详细情况；(6) 公司高层可查看未决反馈统计报表和各业务部门的反馈统计报表；(7) 所有人员进入本系统需先登录。
《UML软件建模技术》课程整体考核标准(2014～2015学年第一学期)课程名称： UML软件建模技术所属系部：计算机科学系制定人：蔡亮合作人：制定时间： 2014年5月贵州航天职业技术学院《UML软件建模技术》课程整体考核标准本课程采用笔试加完成项目的考核方式，着重考核学生的动手能力和解决实际问题的能力。
1．基本思路本课程注意学生平时学习过程，考核由综合素质评价、项目任务完成、笔试考核组成，具体比例如下。
1. 综合素质评价20%：（平时表现+通用能力考核）。
2）项目任务完成50％：包含项目的子任务编程+项目的报告册3. 笔试考核30%：(期终考核)。
1.综合素质评价标准序号考核项目考核内容与要求所占分值(分) 成绩评定(分) 1平时表现（60%）出勤情况152 作业上交情况153 回答问题情况154 专题讨论155通用能力考核(40%)团队协作能力 56 沟通交流能力 57 信息利用能力 58 时间规划能力 59 创新能力 510 软件操作能力 511 自我学习能力 512 吃苦耐劳精神 5合计100 所得分：2项目考核标准序号考核项目考核内容与要求所占分值（分）成绩评定（分）1 项目子任务(60%)任务基本功能完成402 任务创新203 项目的报告册(40%)基本规范254 规范完成很好15合计1003笔试考核内容与标准（1）考试时间与方式：期末，90分钟。
（2）考试题型与题量：15道选择题，每题2分，共30分；15道填空题，每题2分，共30分；4道UML图例绘制题，每题10分，共40分（3）考试基本要求●掌握UML技术的基本知识，包括UML的特点和组成；●基本具备项目需求分析的能力；●掌握项目用例分析方法，以及静态，动态建模方法，并绘制相关图例；●熟练操作Rational Rose软件；。
精化UML模型杨静1张明义2刘志明3(贵州大学计算机科学与工程学院贵阳550025)1(贵州科学院贵阳550002)2(澳门联合国大学国际软件研究所P. O. BOX 3058)3摘要本文通过融合UML用例图、类图、顺序图和状态图，得到一个软件系统的需求模型和设计模型，给出了需求模型和设计模型的协调性条件及精化规则。
这样，我们可以从软件开发的需求分析和设计阶段检查模型的协调性，通过协调地精化模型后生成代码。
用这种方法，我们可在软件设计的早期阶段发现不协调问题，减少生成代码后除错所产生的代价。
关键词UML，用例图，类图，顺序图，状态图，需求模型，设计模型，协调性，精化Refining UML ModelsYANG Jing1ZHANG Ming-Yi2LIU Zhi-Ming3(Computer Science and Engineering College, Guizhou University, Guiyang 550025)1(Guizhou Science Academy, Guiyang 550002)2(International Institute for Software Technology the United Nations University, P.O.BOX 3058)3AbstractKeywords1引言在基于UML的软件开发过程中，如RUP[1]，几种UML模型可以用来描述和分析系统开发过程中每个阶段得到的制品。
在UML的这种多重视野的观点下，软件开发者可以把一个系统设计分解成较小规模的可控制的模块，因此软件开发者必须保证各种模型相互间在语法和语义上都是相容的。
近几年来，UML模型的协调性检查及形式化分析是研究UML的热点之一[2, 3, 4, 6, 7, 10]，其中绝大部分工作主要是形式化UML的单个图(比如状态图)并仅仅处理一种图或二种图间的协调性。
本文目的是构建一个基于UML的软件开发的需求模型和设计模型，分析这两个模型的协调性，给出这两个模型的精化规则，通过精化模型从而构建形式良好的需求模型和设计模型。
精化UML模型杨静1张明义2刘志明3(贵州大学计算机科学与工程学院贵阳550025)1(贵州科学院贵阳550002)2(澳门联合国大学国际软件研究所P. O. BOX 3058)3摘要本文通过融合UML用例图、类图、顺序图和状态图，得到一个软件系统的需求模型和设计模型，给出了需求模型和设计模型的协调性条件及精化规则。
这样，我们可以从软件开发的需求分析和设计阶段检查模型的协调性，通过协调地精化模型后生成代码。
用这种方法，我们可在软件设计的早期阶段发现不协调问题，减少生成代码后除错所产生的代价。
关键词UML，用例图，类图，顺序图，状态图，需求模型，设计模型，协调性，精化Refining UML ModelsYANG Jing1ZHANG Ming-Yi2LIU Zhi-Ming3(Computer Science and Engineering College, Guizhou University, Guiyang 550025)1(Guizhou Science Academy, Guiyang 550002)2(International Institute for Software Technology the United Nations University, P.O.BOX 3058)3AbstractKeywords1引言在基于UML的软件开发过程中，如RUP[1]，几种UML模型可以用来描述和分析系统开发过程中每个阶段得到的制品。
在UML的这种多重视野的观点下，软件开发者可以把一个系统设计分解成较小规模的可控制的模块，因此软件开发者必须保证各种模型相互间在语法和语义上都是相容的。
近几年来，UML模型的协调性检查及形式化分析是研究UML的热点之一[2, 3, 4, 6, 7, 10]，其中绝大部分工作主要是形式化UML的单个图(比如状态图)并仅仅处理一种图或二种图间的协调性。
本文目的是构建一个基于UML的软件开发的需求模型和设计模型，分析这两个模型的协调性，给出这两个模型的精化规则，通过精化模型从而构建形式良好的需求模型和设计模型。
这两个模型涉及到UML的用例图、类图、顺序图、状态图，可用于模型融合及代码生成。
2UML的用例图、类图、顺序图及状态图在UML中，一个类图（Class Diagram）提供以下信息：(1) 类上的静态信息和它们之间的继承关系：- CN：由所有类所构成的有限集。
- SUPER：在集合CN上定义的直接继承关系。
(2) 描述类的结构。
对集合CN中的一类C，用集合att(C):{<a1，T1>, …, <a m, T m>}表示C的基本属性，这里T i代表类C的属性a i的类型。
(3) 给出类之间联系的信息。
用<C1, m1, Ass, m2, C2>代表从类C1到类C2的有向联系Ass，用(C1, m1, Ass, m2, C2)代表类C1和C2之间的无向联系Ass。
这里m1和m2仅分别指多重性，如1|0…1|*|1··*等等。
(4) 对集合CN中的每一个类C，表示类C的所有方法的集合为method(C)。
一个类图，其形式良好的主要条件是继承关系不允许引进圈，另一方面主要是类的命名问题。
这里我们不考虑多重继承。
图1就是我们考虑的商店的自动收银（Point-of-SaleTerminal）POST 系统的类图。
一个类图定义了系统的状态空间，并且每个系统状态包含一些对象和对象之间的联系。
因此，类图类似于程序中类的申明、类型及变量。
一个系统状态其实就是这些变量定义良好的状态。
UML 完全通过用例机制来处理需求，但没有用例规格说明的任何形式化的结构。
在我们的框架下，每一个用例U被模似成一个用例控制类U-controller（见图2)。
顺序图（Sequence Diagram）是用来描述为完成某项任务的对象间相互通讯的模式。
顺序图（如图3和图4）的基本元素是信息，一条信息具有这种形式<N s, Action, M t, ord>，其中- N s是一个类型为N的对象s，它是信息发送者。
- M t是信息的接收者，是一个类型为M的对象t。
- Action有两种形式：g→t.m和*g→t.m，g是作用于信息发送者N s的属性及公共变量上的布尔表达式，m是类M中的一个方法，*是循环符号。
- ord是偏序集<Λ,>的一个元素。
其中集合Λ中的元素递归定义为n∷=n|n. n, n∈NAT+, NAT+={n∈NAT|n>0}偏序是标准的字典顺序。
顺序图就是一个满足下述条件的三元组<Mo, m, MSG>：·M o是调用方法m的接收者，·m是类M中的一种方法，·MSG是一些信息构成的一个有限集。
对每一个类，都用一个状态图（State Machine）来刻画这个类的对象的行为模式及其方法的功能，它包括对象的状态和某些事件（如调用方法和接收信号）的传送，我们只考虑简单的状态图，也就是没有复合状态的状态图（见图5）。
一个状态图是一个四元组<S, L, s0, T>，其中①S是一个由状态构成的有限集。
②s0∈S初态。
③L是同形如<Event, Action, Guard>构成的有限集，称为标签集。
对标签<Event, Action,Gurard>而言，Event是该类的一个方法；Action是一些命令；Guard是这个类的属性及Action上的局部变量上的布尔表达式，称为警卫。
④T是一个关系：T S×L×S，通常T中的每一个元素称为一个切换。
一个切换<s, t, s’>把状态从s变到s’。
此时事件Evnet发生了并且在状态s下Guard成立，然后执行程序Action。
3需求模型的协调性检查正如文[8]指出的一样，一个软件系统的开发周期总是从需求模型的构建开始。
在UML中，需求可由概念类图和用例图来描述。
概念类图是每一个类都没有方法的类图，而且类之间有的联系是没有方向。
因此,需求模型RM应包含一些UML模型：概念类图Γr、一个用例图U r、一簇用例顺序图Δr（每一个用例对应其用例顺序图，如图4）、一簇状态图Ωr（每一个用例有自已的一个状态图，如图5）。
如果考虑并发行为,那么一个需求模型也应包含一些活动图。
在本文中，我们不考虑并发行为。
一个需求模型可用一个四元组<Γr,U r,Δr,Ωr>来表示。
正如前面提到过的那样，每一个用例都可被模拟成一个用例控制类，其余类的所有属性和它们之间的联系对用例控制类而言都是可见的。
用例图也提供了用例控制类之间的联系信息。
如果用例U1包含用例U2，那么从U1-Controller到U2-Controller有一个联系。
用例图U r描述的是参与者和系统间的交互。
跟随文[8]中提出的控制模式，对用例顺序图中出现的操作，我们在相应的用例控制类中作出相应方法的申明，并且状态图ΩT应只与用例控制类有关。
用例顺序图和状态图用来描述信息传送顺序和用例控制类中方法的行为。
所以，对每一个用例U，用例控制类U-Controller申明了在用例顺序图中出现的操作，并且类U-Controller中每个方法的方法体可用类U-Controller的状态图中唤醒该方法后的行为而得到。
从上述观点可以概括出一个需求模型如果满足下述条件便是协调的：(1) 每个用例U的顺序图中出现的信息，其m被申明成U-Controller中的一种方法。
(2) 每个用例控制类U-Controller的状态图中的事件Event是相应的顺序图中的一条信息的方法。
(3) 状态图中事件发生的秩序与顺序图中信息传送的秩序相同。
(4) 类的申明部分是形式良好的。
上述条件保证了每一个在用例控制类中使用的变量或者是基本型的，或者是类图中给出的一个类，在方法体中只能使用相应类的属性。
需求模型协调性保证了从概念类图实现用例图的足够信息。
4设计模型的协调性检查在UML,一个设计模型DM应包含一个设计类图Γd，其中所有联系都是设计联系,所谓设计联系就是有方向的联系。
图1是一个设计类图；一簇对象顺序图Δd，保证对U-Controller中的每一种方法至少存在一个对象顺序图，如图3；一簇状态图Ωd，设计类图中出现的每一个类都有一个状态图。
因此一个设计模型是一个三元组DM=<Γd, Δd, Ωd>在软件设计阶段，即在设计模型中，用例图已经被融合到类图中。
在我们的框架下，对象顺序图Δd在设计类图Γd上操作。
在以后的工作中我们将提供方法体的形式化规范说明，这种形式化的规范说明将保证顺序图和状态图所要求的行为得以实现。
一个设计模型DM=<Γd, Δd, Ωd>是协调的,如果满足下述条件：(1) 设计类图Γd与顺序图Δd是协调的。
在顺序图Δd中出现的类C方法m()，在设计类图Γd中的类C中必须声明相同的方法签名；在Δd中出现每一条信息，在Γd中有相应的设计联系（用JA V A语言实现时，目标对象被申明成源对象的类中的一个属性）。
(2) 设计类图Γd和状态图Ωd是协调的。
状态图Ωd的每一个方法，其方法签名被申明在类图Γd的相应类中。
(3) 顺序图Δd和状态图Ωd是协调的。
在状态图中触发事件发生的秩序和顺序图中信息传送的秩序是相同的。
(4) 设计类图是定义良好的。
一个设计模型DM对于一个需求模型RM而言是正确的，如果设计模型的实现蕴涵需求模型的满足。
5模型的精化规则在UML框架下,下列精化规则可用于需求模型和设计模型：(1) 添加一个类。
这对应于添加一个类到类图当中，添加这个新类的方法到顺序图和状态图中。
(2) 对一个存在的类引进一个新的属性。
这对应于添加一个基本类型的属性到这个类或添加一个从这个类到其它类的设计联系。
(3) 引进一个继承。
如果类N属性没有出现在类M和类M的所有超类中，我们可以指定M 为N的直接超类。
(4) 把一个属性从一个类移动到它的直接超类。
如果类N所有的子类都有一个公共属性，把这个公共属性从类N所有的子类中转移到类N上。
(5) 数据封装。
假定类M有一个公共属性,除M的子类外，其它类的方法不能访问这个属性，我们把这个属性的可见性从公共变为保护。
假定类M有一个保护属性，M的子类的方法不能访问这个属性，我们把这个属性的可见性从保护变为私有。
(6) 对一个存在的类引进一个新的方法。
这样一来允许我们在类图中把一个方法的签名添加到这个类，并且增加一个顺序图。
修改相应的状态图,以配合这个新方法。
(7) 在一个已申明的类中精化方法m(){c}的方法体。
当然,这将导致与m()有关的子顺序图的相应替换，并且在这个类的状态图中精化，把m( )当成触发事件Event的切换中的行为Action。
