OCL中文参考
Introduction
7 OCL语言描述
7.1 为什么是OCL？
7.2 引言
7.2.1 图示
7.2.2 示例图
7.2.3 字符集
7.3 与UML元模型的关系
7.3.1 Self
7.3.2 规定UML上下文
7.3.3 不变式
7.3.4 前置和后置条件
7.3.5 包上下文
7.3.6 操作体表达式
7.3.7 初始和衍生值
7.3.8 其它表达式类型
7.4 基本值和类型
7.4.1 来自UML模型的类型
7.4.2 枚举类型
7.4.3 Let表达式
7.4.4 通过«definition»表达式定义的其它操作/属性
7.4.5 类型一致性
7.4.6 对象类型转换
7.4.7 集合类型转换
7.4.8 优先级规则
7.4.9 中缀操作符的使用
7.4.10 导航操作符和导航简化
7.4.11 关键字
7.4.12 注释
7.4.13 无效值
7.5 对象和属性
7.5.1 Properties: Attributes
7.5.2 Properties: 操作
7.5.3 Properties: 管理端和导航
7.5.4 到关联类的导航
7.5.5 来自关联类的导航
7.5.6 通过限定的关联导航
7.5.7 使用包路径名
7.5.8 访问超类中被覆写的属性
7.5.9 所有对象上预定义的属性
7.5.10 类自身的特征
7.5.11 集合
7.5.12 集合的集合
7.5.13 集合层级和类型一致性规则
7.5.14 后置条件中的旧值
7.5.15 元组
7.6 集合操作
7.6.1 Select和Reject操作
7.6.2 Collect操作
7.6.3 ForAll操作
7.6.4 Exists操作
7.6.5 Closure操作
7.6.6 Iterate操作
7.7 OCL中的消息
7.7.1 调用操作和发送信号
7.7.2 访问结果值
7.7.3 一个示例
7.8 属性解析
8 抽象语法
8.1 引言
8.2 类型包
8.2.1 类型一致性
8.2.2 用于类型包的操作和良构规则
8.3 表达式包
8.3.1 表达式核心
8.3.2 FeatureCall表达式
8.3.3 If表达式
8.3.4 消息表达式
8.3.5 字面量表达式
8.3.6 Let表达式
8.3.7 表达式的良构规则
8.3.8 UML元模型上的额外操作
8.3.9 OCL元模型上的额外操作
8.3.10 OCL抽象语法元模型类层级概览
9 具体语法
9.1 具体语法的结构
9.2 工具构建者注意事项
9.2.1 解析
9.2.2 可见性
9.3 具体语法
9.3.1 ExpressionInOclCS
9.3.2 OclExpressionCS
9.3.3 VariableExpCS
9.3.4 simpleNameCS
9.3.5 restrictedKeywordCS
9.3.6 unreservedSimpleNameCS
9.3.7 pathNameCS
9.3.8 LiteralExpCS
9.3.9 EnumLiteralExpCS
9.3.10 CollectionLiteralExpCS
9.3.11 CollectionTypeIdentifierCS
9.3.12 CollectionLiteralPartCS
9.3.13 CollectionLiteralPartCS
9.3.14 CollectionRangeCS
9.3.15 PrimitiveLiteralExpCS
9.3.16 TupleLiteralExpCS
9.3.17 UnlimitedNaturalLiteralExpCS
9.3.18 IntegerLiteralExpCS
9.3.19 RealLiteralExpCS
9.3.20 StringLiteralExpCS
9.3.21 BooleanLiteralExpCS
9.3.22 TypeLiteralExpCS
9.3.23 CallExpCS
9.3.24 LoopExpCS
9.3.25 IteratorExpCS
9.3.26 IterateExpCS
9.3.27 VariableDeclarationCS
9.3.28 TypeCS
9.3.29 primitiveTypeCS
9.3.30 oclTypeCS
9.3.31 collectionTypeCS
9.3.32 tupleTypeCS
9.3.33 variableDeclarationListCS
9.3.34 FeatureCallExpCS
9.3.35 OperationCallExpCS
9.3.36 PropertyCallExpCS
9.3.37 NavigationCallExpCS
9.3.38 AssociationClassExpCS
9.3.39 isMarkedPreCS
9.3.40 argumentsCS
9.3.41 LetExpCS
9.3.42 LetExpSubCS
9.3.43 OclMessageExpCS
9.3.44 oclMessageArgumentsCS
9.3.45 OclMessageArgCS
9.3.46 IfExpCS
9.3.47 NullLiteralExpCS
9.3.48 InvalidLiteralExpCS
9.3.49 Comments
9.4 环境定义
9.4.1 环境
9.4.2 NamedElement
9.4.3 命名空间
9.5 具体语法到抽象语法的映射
9.6 抽象语法到具体语法的映射
10 使用UML描述的语义
10.1 引言
10.2 Values包
10.2.1 Values包中的概念定义
10.2.2 Values包的良构规则
10.2.3 Values包的其它操作
10.2.4 Values包概览
10.3 Evaluations包
10.3.1 Evaluations包的概念定义
10.3.1.1 PropertyCall计算建模
10.3.1.2 If 表达式计算
10.3.1.3 Ocl消息表达式计算
10.3.1.4 字面量表达式计算
10.3.1.5 Let表达式
10.3.2 Evaluations包的良构规则
10.3.3 Evaluations包的其它操作
10.3.4 Evaluations包概览
10.4 AS-Domain-Mapping包
10.4.1 AS-Domain-Mapping.type-value包的良构规则
10.4.2 AS-Domain-Mapping.type-value包的其它操作
10.4.2.1 AS-Domain-Mapping.exp-eval包的良构规则
11 OCL标准库
11.1 引言
11.2 OclAny，OclVoid，OclInvalid和OclMessage类型
11.2.1 OclAny
11.2.2 OclMessage
11.2.3 OclVoid
11.2.4 OclInvalid
11.3 操作和良构规则
11.3.1 OclAny
11.3.2 OclVoid
11.3.3 OclInvalid
11.3.4 OclMessage
11.4 基本类型
11.4.1 Real
11.4.2 Integer
11.4.3 String
11.4.4 Boolean
11.4.5 UnlimitedNatural
11.5 操作和良构规则
11.5.1 Real
11.5.2 Integer
11.5.3 String
11.5.4 Boolean
11.5.5 UnlimitedNatural
11.6 集合相关的类型
11.6.1 Collection
11.6.2 Set
11.6.3 OrderedSet
11.6.4 Bag
11.6.5 Sequence
11.7 操作和良构规则
11.7.1 Collection
11.7.2 Set
11.7.3 OrderedSet
11.7.4 Bag
11.7.5 Sequence
11.8 预定义的迭代器表达式
11.8.1 使用迭代器表达式扩展标准库
11.9 预定义迭代器表达式的映射规则
11.9.1 Collection
11.9.2 Set
11.9.3 Bag
11.9.4 Sequence
11.9.5 OrderedSet
12 UML模型中OCL表达式的使用
12.1 引言
12.2 ExpressionInOcl 类型
12.2.1 ExpressionInOcl
12.3 良构规则
12.3.1 ExpressionInOcl
12.4 OCL表达式的标准位置
12.4.1 如何在其它位置扩展OCL的使用
12.5 定义
12.5.1 良构规则
12.6 不变式
12.6.1 良构规则
12.7 前置条件
12.7.1 良构规则
12.7.2 后置条件
12.7.3 良构规则
12.8 初始值表达式
12.8.1 良构规则
12.9 衍生值表达式
12.10 操作Body表达式
12.11 Guard
12.11.1 良构规则
12.12 上下文声明的具体语法
12.12.1 packageDecarationCS
12.12.2 contextDeclarationCS
12.12.3 propertyContextDeclCS
12.12.4 initOrDerValueCS
12.12.5 classifierContextDeclCS
12.12.6 invOrDefCS
12.12.7 defExpressionCS
12.12.8 operationContextDeclCS
12.12.9 prePostOrBodyDeclCS
12.12.10 operationCS
12.12.11 parametersCS
13 Basic OCL和Essential OCL
13.1 引言
13.2 用于元建模的OCL适配
13.3 图
Powered by
GitBook
12.3 良构规则
12.3 良构规则
12.3.1 ExpressionInOcl
[1] 该表达式总是用OCL来编写。
context ExpressionInOcl inv: language = ‘OCL’
results matching "
"
No results matching "
"