对象约束语言
UML选择、填空
一、填空题1、软件对象可以这样定义：所谓的软件对象，是一种将状态和行为有机结合起来形成的软件构造模型，它可以用来描述现实世界中的一个对象。
2、类是具有相同属性和操作的一组对象的组合，即抽象模型中的“类”描述了一组相似对象的共同特征，为属于该类的全部对象提供了统一的抽象描述。
3、面向对象程序的基本特征是抽象、封装、继承和多态。
4、在UML中主要包括的视图为静态视图、用例视图、交互视图、状态机视图、活动视图、物理视图和模型管理视图。
5、UML图包括：用例图、类图、状态图、序列图、活动图、构件图和部署图。
6、用例图描述了系统的参与者与系统进行交互的功能，是参与者所能观察和使用到的系统功能的模型图。
一个用例是系统的一个功能单元，是参与者与系统之间进行的一次交互作用。
7、状态机视图是通过对象的各种状态建立模型来描述对象随时间变化的动态行为，并且它是以独立的对象为中心进行描述的。
8、用例图的主要目的是帮助开发团队以一种可视化的方式理解系统的功能需求，包括基于基本流程的“角色”关系，以及系统内用例之间的关系。
9、在UML中定义了4种基本的面向对象的事物，分别是结构事物、行为事物、分组事物和注释事物等。
10、使用Rational Rose建立的Rose模型中包括4种视图，分别是用例视图、逻辑视图、构件视图和部署视图。
11、在用例视图中包括了系统中的所有参与者、用例和用例图，必要时还可以在用例视图中添加顺序图、协作图、活动图和类图等。
12、逻辑视图关注系统如何实现用例中所描述的功能，主要是对系统功能性需求提供支持，即系统应该提供的功能。
13、构件视图用来描述系统中的各个实现模块以及它们之间的依赖关系，包含模型代码库、执行文件、运行库和其他构件等信息。
14、部署视图显示的是系统的实际部署情况，它是为了便于理解系统如何在一组处理节点上的物理分布，而在分析和设计中使用的构架视图。
15、Rational统一过程以一种能够被大多数项目和开发组织适应的形式建立起来，其所包含的6项最佳实践为：迭代式软件开发、需求管理、基于构件的架构应用、建立可视化的软件模型、软件质量验证、软件变更控制。
uml试题解答
1、软件工程的生命周期：需求分析阶段；系统分析与设计阶段；系统实现阶段；测试阶段；维护阶段。
2、建模的目标是：（1）便于开发人员展现系统；（2）允许开发人员制定系统的结构或行为；（3）提供指导开发人员构造系统的模板；（4）记录开发人员的决策。
建模的实质是：对现实的简化；通过将问题分割成一系列可以解决的、较小的问题来解决复杂问题。
3、建模的四原则是：（1）认真选择模型；（2）每个模型可以有多种表达方式；（3）最好的模型总是能够切合实际；（4）孤立的模型是不完整的。
4、面向对象＝对象＋类＋继承＋通信。
继承是指子类可以自动拥有父类的全部属性与操作；使得父类和子类之间能够共享数据和方法。
继承简化了对现实世界的描述，定义子类时不必重复定义那些在父类中已经定义过的属性与操作。
而只需专注于自己特有的属性与操作。
有了继承机制，软件的可复用性得到提高。
多态是指同一操作作用于不同的对象，可以有不同的解释，产生不同的执行结果。
通常通过派生类重载基类中的同名函数来实现。
分为：编译时的多态性和运行时的多态性。
5、面向对象的程序设计语言有：基于Smalltalk的语言；基于C的语言；基于LISP的语言；基于Pascal的语言。
6、面向对象分析的基本原则：抽象原则；分类原则；聚合原则；关联原则；消息通信原则。
7、面象对象分析的层次共有：主题层；类与对象层；结构层；属性层；服务层。
在设计期间主要扩充4个组成部分：人机交互子系统部分、问题域子系统部分、任务管理子系统部分、数据管理子系统部分。
8、Rstional Rose的主界面由标题栏、菜单栏、工具栏、工作区和状态栏组成。
默认的工作区由左侧的浏览器和文档区，右侧的编辑区和下方的日志记录组成。
9、Rational Rose中有4个视图：（1）用例视图：只关注系统功能的高层形状，不关注系统的具体实现方法；（2）逻辑视图：关注系统如何实现用例中提出的功能，提供系统的详细图形，描述组件之间如何关联。
软件工程-构件级设计建模
软件工程
8.1 什么是构件（续）
• 针对不同的系统设计体系，构件所指的对 象不一样。
软件工程
8.1.1 面向对象观点
• 在面向对象的设计中，构件指一个协作类的集合。 • 一般来讲，构件的规模比类大，但有时一个构件
也可以对应一个类。 • 在构件级设计时，应设计出类的所有属性以及和
其它类之间的相关操作，通信接口必须明确定义。
软件工程
软件工程
• （2） 为每个构件确定适当的接口
– UML接口是“一组外部课件的（即公共的）操 作，接口不包含内部结构、没有属性，没有关 联……”
– 为设计类定义的接口可以归结为一个或者更多 的抽象类
– 抽象类中的每个操作接口应该是内聚的
内聚性差！
软件工程
建立工作单 检查任务的优先级
将任务传递给生产线
–某些情况下，部署图 在这个时候被细化为 实例形式
7. 反省和检查现有的设计
软件工程
8.4 对象约束语言
• 对象约束语言（Object Constraint Language, OCL），一种形式化语言
• 四个组成部分：
–语境—定义了哪些情况语句是正确的 –特征—描述语境的一些特征 –操作—用来操纵和限制一个特性 –关键字—用于说明条件表达式
个数据类型时
软件工程
8.2.4 耦合性（续）
• 包含或导入耦合—当构件A引入或者包含一个 构件B的包或者内容时
• 外部耦合—当一个构件通信和协作时发生
构件的UML表示
软件工程
图 带接口的构件 构件具有它们支持的接口和需要从其他构件得到的接口
构件图表示了构件之间的依赖关系。
软件工程
每个构件实现（支持）一些接口，并使用另一些接
PowerDesigner业务处理模型（BPM）说明
一.BPM 简介业务处理模型（Business Process Model:BPM）是从业务人员的角度对业务逻辑和规则进行详细描述的概念模型，并使用流程图表示从一个或多个起点到终点间的处理过程、流程、消息和协作协议。
通过BPM可以描述系统的行为和需求，可以使用图形表示对象的概念组织结构，然后生成所需要的文档。
作为一个概念层次的模块，BPM适用于应用系统的系统分析阶段，完成系统需求分析和逻辑设计。
BPM与PowerDesigner其它模块之间的关系如图：1.1 PowerDesigner BPM包括3种流图：1)处理层次流图（Process hierarchydiagram）：以层次化的方式来识别系统的功能。
2)业务处理流图（Business process diagram）：用于分析一个/组流程的具体实现机制。
3)处理服务流图（Process service diagram）：以业务服务的方式来表述业务流程图。
1.2 创建BPM对象(1)创建包(2)创建业务规则(3)创建起点(4)创建处理过程(5)创建组织单元/组织单元泳道图(6)创建流程(7)定义消息格式(8)创建资源(9)创建资源流程(10)创建终点二.示例2.1 创建BPMFile-->; New Model注意这里的Precess Language选择，默认为Analysis，其在Palette 对应的为组织单元为：Organization unit Swimlane。
下文会有详细说明。
2.2 设置BPM 配置选项Tools→Model Option，或者在流程图窗口中右键菜单，选择Model Option命令。
2.3 修改BPM 属性三种方法：（1）Model→Model Properties（2）工作区中右键菜单Properties命令（3）左侧列表中右键Properties命令BPM的属性列表属性名说明长度Name模型名称254字符Code模型代码254字符Comment模型注释-Filename模型文件存储路径。
UML课后习题答案
用户登录邮寄商品查看商品详情
输入支付信息：太小
邮件商品：系统功能之外
查看商品详情：太小
6.为了满足物业中介行业的信息化要求，甲公司基于详尽的需求调研与分析，准备研发一套符合市场需要的、实用的信息管理系统。主要将实现客户资料信息管理、客户委托（出租、出售、租赁、购买）信息管理、业务线索生成与管理、房源状态自动更新、权限管理、到期用户管理、房源组合查询等功能。该公司小王，通过多次的与潜在客户的交流与沟通，完成了最初的用例模型的开发，图6-14是一个用例模型的局部：
扩展关系，是关系构造块。
5.可以包含其它事物构造块的构造块是什么？它属于什么类型的事物构造块？
可以包含其它事物构造块的构造块是包，它属于分组事物构造块。
6.在UML中定义了哪几种可见性规则？其中package的含义是什么？
定义了public、private、protected、package，package是指只有声明在同一个包中的元素才能够看到该元素。
2）修改方法：将“打开房源信息页面”、“录入房源信息”、“确认提交信息”合并为“新增房源信息”。
（2）在上图中构造型“《include》”表示的是什么意思，它与“《extend》”之间的区别是什么？
在用例模型中，构造型“《include》”是用来表示包含关系。它通常用来表示被包含用例是被多包含用例使用的一个可复用模块，而《extend》且通常用来表示对用例的扩展。
用户故事：由客户参与编写，说明他们需要系统为他们做什么，一般用客户的术语编写，其长度约为三句话左右
特性：就是一个小的，具有客户价值的功能
2.在用例图中参与者是什么，它属于系统范围之内吗？
参与者是为了完成一个事件而与系统交互的实体，它不属于系统范围之内。
第二十一章 形式化建模与验证
1
21.1 净室策略
净室方法使用第2章所介绍的增量过程模型的专 业版。一个“软件增量的流水线”[Lin94b]由若干小 的、独立的软件团队开发。每当一个软件增量通过认 证，它就被集成到整体系统中。因此，系统的功能随 时间增加。
增量1 RG
BSS
FD
CV
TP
CG
CI
SUT
C
增量2 SE RG BSS FD CV TP BSS FD CV TP 净室过程模型
清晰盒包含了对状态盒的过程设计。
2014年12月11日星期四
Data Mining: Concepts and Techniques
6
CB1.1.1.1 BB1.1.1 SB1.1.1 CB1.1.1.2
BB1.1 BB1
BB1.2
BB1.1.2 BB1.1.3
CB1.1.1.3
BB1.n
盒结构求精
2014年12月11日星期四 Data Mining: Concepts and Techniques 14
Cont:[y2≤x]
y=y+1
21.4 净室测试
传统的测试方法导出一组测试用例，以发现设计和编码
错误；净室测试的目的是通过证明用例的统计样本的成 功运行来确认软件需求。
2014年12月11日星期四
得多，这种严格需要更多的工作量，单从一致性和完整性 的提高方面得到的好处在很多类型的应用中得到证明。
2014年12月11日星期四
Data Mining: Concepts and Techniques
24
21.7
形式化规格说明语言
形式化规格说明语言通常由3个主要成分构成：
第11章UML扩展机制
(2) Set
是不包括重复元素的对象组，Set中的元素是
无序的。
(3) Bag
可以包含重复元素的对象组
(4) Sequence
可以包含重复元素，且Sequence中的元素是
有序的。
5 OCL中的关键字
与程序设计语言一样，OCL也定义了一些 关键字。 OCL中的关键字见表11.4。
对象约束语言简称OCL（Object Constraint Language），它是一种用于施加在指定的模型 元素上约束的语言。 OCL表达式以附加在模型元素上的条件和限制来 表现对该对象的约束，其中包括附加在模型元素 上的不变量或约束的表达式、附加在操作和方法 上的前置条件和后置条件等。 约束表示建模元素上的附加语义信息。在大多数 情况下，它们的内容不直接影响代码生成。
OCL的特点
① OCL是一种精确的、无二义性的语言，易于使 用和掌握。 ② OCL是一种规范说明性语言，所有有关实现的 问题都不能用OCL来表达。 ③ OCL是一种纯表达式语言，它是具有没有任何 副作用的声明性语言。对OCL表达式的计算将 返回一个值，计算不会改变系统的状态。 ④ OCL是一种类型化语言，即OCL中的每个表达 式都是具有类型的。 ⑤ OCL不是一种程序设计语言，不能用OCL编写 程序逻辑和控制流程。
1. OCL表达式的语法
① ② ③ ④ OCL表达式的语法用扩展的巴斯科范式 （EBNF）定义，在EBNF中： “|”表示选择 “？”表示可选项 “*”表示零次或多次 “＋”表示一次或多次
1. OCL表达式的语法
OCL基本表达式的语法用EBNF定义如下：
PrimaryExpression:=literalCollection | literal | pathName time Expression ? FeatureCallparameters? | “(“ expression ”)” | ifExpression Literal:=<string> | <number> | “#” <name> timeExpression:=”@”<name> featrueCallParameters:=”(”(declarator)?(actualParameterList)?”)” ifExpression :=”if” expression “then” expression “else” expression “endif”
ocl语法
OCL（Object Constraint Language）是一种用于对对象进行约束描述的规则语言，它是UML（Unified Modeling Language）的一部分，用于对类、对象、关联关系等进行约束描述。
OCL规则通常由一个条件和一个约束组成，其中条件部分描述了规则的前提条件，约束部分描述了规则的执行结果。
OCL规则通过使用关系运算符、逻辑运算符、集合运算符等进行表达。
OCL语法包括以下部分：1. 类型和语法：OCL是强类型的语言，任何表达式的值都是属于一个类型的。
这个类型可以是预定义的标准类型例如Boolean或者Integer，也可以是UML图中的元素例如对象。
因为OCL是宣言式语言，所以UML中的表达式被提升到了纯建模的领域，而不必理会实现的细节和实现的语言。
OCL起源于1997年BIM公司为响应OMG 的"面向对象分析和设计标准"征求稿所提交的"对象时间限制提议"，OCL是该提议的部分内容。
用OCL可以描述四类约束，分别是不变量、前置条件、后置条件和监护条件。
2. OCL规则的应用：OCL规则在软件开发中有多种应用，包括数据验证、业务逻辑验证、数据推导和约束生成等。
例如，在银行系统中，可以使用OCL规则对用户输入的金额进行验证，确保金额大于等于零且小于用户账户余额；在电商系统中，可以使用OCL规则对订单状态进行验证，确保订单在不同状态下的合法操作；在学生管理系统中，可以使用OCL规则根据学生的成绩和出勤情况推导出学生的绩点；在航空订票系统中，可以使用OCL规则生成乘客姓名的约束条件，确保乘客姓名只包含字母和空格。
以上信息仅供参考，如需了解更多信息，请查阅相关书籍或咨询专业人士。
oclp使用方法
oclp使用方法OCLP使用方法OCLP（Object Constraint Language Profile）是一种用于描述对象约束的语言，可以帮助开发人员在软件开发过程中定义和验证系统中的对象之间的约束关系。
本文将介绍OCLP的使用方法，帮助读者更好地理解和应用OCLP。
一、OCLP简介OCLP是一种类似于自然语言的表达方式，用于描述对象之间的约束关系。
它基于UML（统一建模语言）的基础上发展而来，主要用于软件系统的规约和验证。
OCLP可以帮助开发人员明确系统中各个对象的行为和约束，从而提高软件的稳定性和可靠性。
二、OCLP的基本语法1. 变量定义：使用关键字“context”定义一个对象的上下文，然后使用关键字“inv”定义对象的约束条件。
例如：context Person inv: self.age > 182. 属性访问：使用点号“.”来访问对象的属性。
例如：3. 关系操作：使用关键字“allInstances”来获取对象的集合。
例如：Person.allInstances()4. 逻辑操作：支持常见的逻辑操作符，如与（and）、或（or）、非（not）等。
例如：self.age > 18 and self.gender = 'male'5. 数学操作：支持常见的数学操作符，如加（+）、减（-）、乘（*）、除（/）等。
例如：self.salary * 0.1三、OCLP的使用步骤1. 定义需要验证的对象：首先，确定需要验证的对象和其属性。
例如，我们需要验证一个人的年龄是否大于18岁，那么我们就需要定义一个Person对象和其age属性。
2. 定义约束条件：在对象的上下文中，使用“inv”关键字来定义约束条件。
例如，我们可以定义一个约束条件，要求Person对象的age属性大于18岁。
3. 编写OCLP表达式：根据约束条件，使用OCLP的语法编写相应的表达式。
(完整word版)UML基础与Rose建模复习资料
UML 基础与 Rose 建模复习资料1-4 章一、主要内容1、对象与类的定义对象：是面向对象系统的基本构造块，是一些相关的变量和方法的软件集。
（对象经常用于建立对现实世界中的一些基本构造块）注：客观世界里的任何实体都可以被称为对象。
对象可以是具体的、有形的物，也可以是无形的事物或概念。
对象是问题域或实现域中某些事物的一个抽象。
对象是一个封装数据属性和操作行为的实体。
类：是具有相同属性和操作的一组对象的组合。
也就是说，抽象模型中的“类”描述了一组相似对象的共同特征，为属于该类的全部对象提供了统一的抽象描述。
2、面向对象的基本特征：1）抽象：抽象忽略了事件中与当前目标无关的非本质特征，强调与当前事物相关的特征，并将事物正确的归类，得出事物的抽象模型，并且为对象的重用提供了保障2）封装：就是把对象的状态和行为绑到一起的机制，使对象形成一个独立的整体，并且尽可能地隐藏对象的内部细节。
3）继承：是指特殊类的对象拥有其一般类的属性和行为。
4）多态性：同一操作作用于不同的对象，可以有不同的解释，产生不同的执行结果。
3、 UML 包含的视图以及这些视图都对应的图UML 中主要视图有：静态视图、用例视图、交互视图、状态机视图、活动视图、物理视图、模型管理视图对应的图如下图所示4、 UML 包含的图以及图的作用在下面的各章节中都分别有总结，这里就不总结5、 UML 中模型元素的主要关系UML 中主要包含 4 种关系：依赖、关联、泛化、实现依赖：指的是两个事物之间的语义，当其中一个事物（独立的事物）发生变化就会影响另外一个事物（依赖事物）的语义。
关联：是一种事物之间的结构关系，用它来描述一组链，链是对象之间的连接。
泛化：事物之间的一种特殊 / 一般关系，特殊原子（子元素）的对象，也就是我们在面向对象学中常常提起的继承。
实现：实现关系也是 UML 元素之间的一种语义关系，它描述了一组操作的规约和一组对操作的具体实现之间的语义关系。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
3
13.2 OCL结构
• OCL在两个层次上共同定义对象 约束语言，一个是抽象语法（元模型 ），另一个是具体语法。元模型定义 OCL概念和应用该概念的规则，具体 语法则真正用于在UML模型中指定约 束和进行查询。
4
13.2.1 抽象语法
• 抽象语法指的是OCL语言定义的概念层，在该层中 抽象语法解释了类、操作等内容的元模型。例如， 类被定义为“具有相同的特征、约束和语义说明的 一组对象”，并在该层将类解释为可与任何数目的 特性（或属性）、操作、关系甚至嵌入类相关联。 抽象语法只是定义了相类似的元模型，并没有创建 一个具体的模型或对象。 • OCL要求清楚地区分OCL抽象语法和其他自抽象语 法派生的所有具体语法。抽象语法还支持其他约束 语言的发展。正如基于MOF（Meta Object Facility ，元对象设施标准）的UML基础结构元模型支持各 种专业领域的建模，例如软件建模的UML语言，数 据仓库领域建模的CWM语言等。
1
本章学习要点：
• • • • • • • • • 了解OCL的概念 理解OCL的结构 掌握OCL语法 掌握三种固化类型 掌握OCL数据类型和运算符 掌握let和def的功能和作用 理解集合类型 掌握并应用对集合操作 熟悉OCL标准库
2
13.1 OCL概述
UML图（例如类图）通常不够精细，无法提供与规范有 关的所有相关部分。这其中就缺少描述模型中关于对象的附 加约束。这些约束常常用自然语言描述。而实践表明，这样 做经常造成歧义。为了写出无歧义的约束，已经开发出几种 所谓的“形式语言”。传统上的形式语言，缺点是仅适合于 有相当数学背景的人员，而普通商务或系统建模者则难以使 用。 • OCL的出现解决了这一问题，它是一种保留了易读易写 特点的形式语言。OCL不仅用来写约束，还能够用来对UML 图中的任何元素写表达式。每个OCL表达式都能指出系统中 的一个值或者对象。OCL表达式能够求出一个系统中的任何 值或者值的集合，因此它具有了和SQL同样的能力，由此也 可得知OCL既是约束语言，同时也是查询语言。
9
13.3.2 数据类型、运算符和操作
• 对象约束语言是类型化语言，具有四种数据类型分别是： • 整数（Integer） 可以是任何不带小数部分的值，如0，-1 ，1等。 • 实数（Real） 可以是任何数字，可以带有小数。如，3.0 ，7.5，-3.0等。 • 字符串（String） 可以包含任何数量的字符或文本。 • 布尔（Boolean） 布尔型值只有两个True和False
的方法为表定义主键。
• •
•
6
13.3 OCL表达式
• OCL表达式用于一个OCL类型的求值，它的语法用扩展的巴 斯科范式（EBNF）定义。在EBNF中，“|”表示选择，“？ ”表示可选项，“*”表示零次或多次，“+”表示一次或多 次。OCL基本表达式的语法用EBNF定义如下： • PrimaryExpression:=literalCollection | literal • | pathName time Expression ? FeatureCallparameters? • |"("expression")" | ifExpression • Literal:=<string>|<number>|"#"<name> • timeExpression:="@"<name> • featureCallparameters:="("(declarator)?(actualParameterLi st)?")" • ifExpression:="if" expression "then" expression "else" expression "endif"
5
13.2.2 具体语法
• 与面向规则的语法相反，具体语法（即模型层语法）描述代表现实 世界中一些实体的类，它应用抽象语法的规则来创建可以在运行时 段计算的表达式。OCL表达式与类元相关联，应用于该类元自身或 者某个属性、操作或参数。不论哪种情况，约束都是根据其位移（ replacement）、上下文类元（contextual classifier）和OCL表达式 的自身实例（self instance）来定义。 位移 表示UML模型中使用OCL表达式所处的位置，即作为依附于某 个类元的不变式、依附于某个操作的前置条件或依附于某个参数的 默认值。 上下文类元 定义在其中计算表达式的名字空间。如，前置条件的上 下文类元是在其中定义该前置条件的操作所归属的那个类。也就是 说该类中所有模型元素（属性、关联和操作）都可以在OCL表达式 中被引用。 自身实例 自身实例是对计算该表达式对象的引用，它总是上下文类 元的一个实例。也就是说，OCL表达式对该上下文类元每个实例的 计算结果可能不同。因此，OCL可以用于计算测试数据。使用如下所示
7பைடு நூலகம்
13.4 OCL语法
OCL指定了每一个约束都必须有 一个上下文。上下文（context）指定了 哪一个项目被约束。OCL是一个类型化 的语言，因此数据类型扮演了重要角色 ，如高级语言C++、Java一样，也有多 种数据类型。
8
13.3.1 固化类型
• 一个约束就是对一个（或部分）面向对象 模型或者系统的一个或者一些值的限制。 UML类图中的所有值都可以使用OCL来约 束。约束的应用类似于表达式，在OCL中 编写的约束上下文可以是一个类或一个操 作。其中需要指定约束的固化类型，而约 束的固化类型可以由以下三项组成： • invariant • pre-condition • post-condition
第13章 对象约束语言
对象约束语言（Object Constraint Language ），简称OCL，是一种指示用户建模系统中的限制 方式。它是UML可选的附加内容，可以用来更好地 定义对象的行为，并为任何类元指定约束。 在对象约束语言中，对象代表了系统的组件， 它定义了完善的项目，约束代表限制，而语言并非 是指一种正式的计算机语言。OCL是一种形式语言 ，可以应用于任何实现方式的非正规语言。对象约 束语言对UML中图形或其他组件都没有控制权，它 只是在使用时返回值。OCL并不能修改对象的状态 ，而是用来指示对状态的修改何时发生。