对象约束语言

一、填空题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项最佳实践为：迭代式软件开发、需求管理、基于构件的架构应用、建立可视化的软件模型、软件质量验证、软件变更控制。

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）逻辑视图：关注系统如何实现用例中提出的功能，提供系统的详细图形，描述组件之间如何关联。

一.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模型文件存储路径。

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（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的语法编写相应的表达式。

UML 基础与 Rose 建模复习资料1-4 章一、主要内容1、对象与类的定义对象：是面向对象系统的基本构造块，是一些相关的变量和方法的软件集。

（对象经常用于建立对现实世界中的一些基本构造块）注：客观世界里的任何实体都可以被称为对象。

对象可以是具体的、有形的物，也可以是无形的事物或概念。

对象是问题域或实现域中某些事物的一个抽象。

对象是一个封装数据属性和操作行为的实体。

类：是具有相同属性和操作的一组对象的组合。

也就是说，抽象模型中的“类”描述了一组相似对象的共同特征，为属于该类的全部对象提供了统一的抽象描述。

2、面向对象的基本特征：1）抽象：抽象忽略了事件中与当前目标无关的非本质特征，强调与当前事物相关的特征，并将事物正确的归类，得出事物的抽象模型，并且为对象的重用提供了保障2）封装：就是把对象的状态和行为绑到一起的机制，使对象形成一个独立的整体，并且尽可能地隐藏对象的内部细节。

3）继承：是指特殊类的对象拥有其一般类的属性和行为。

4）多态性：同一操作作用于不同的对象，可以有不同的解释，产生不同的执行结果。

3、 UML 包含的视图以及这些视图都对应的图UML 中主要视图有：静态视图、用例视图、交互视图、状态机视图、活动视图、物理视图、模型管理视图对应的图如下图所示4、 UML 包含的图以及图的作用在下面的各章节中都分别有总结，这里就不总结5、 UML 中模型元素的主要关系UML 中主要包含 4 种关系：依赖、关联、泛化、实现依赖：指的是两个事物之间的语义，当其中一个事物（独立的事物）发生变化就会影响另外一个事物（依赖事物）的语义。

关联：是一种事物之间的结构关系，用它来描述一组链，链是对象之间的连接。

泛化：事物之间的一种特殊 / 一般关系，特殊原子（子元素）的对象，也就是我们在面向对象学中常常提起的继承。

实现：实现关系也是 UML 元素之间的一种语义关系，它描述了一组操作的规约和一组对操作的具体实现之间的语义关系。