搜索结果: GB/T 28174.3-2011, GB/T28174.3-2011, GBT 28174.3-2011, GBT28174.3-2011
| 标准号码 | 内文 | 价格美元 | 第2步(购买) | 交付天数 | 标准名称 | 详情 | 状态 |
| GB/T 28174.3-2011 |
英文版
|
RFQ
|
询价
|
[PDF]天数 <=3
|
统一建模语言(UML) 第3部分：对象约束语言(OCL)
|
GB/T 28174.3-2011
|
有效
|
| 标准编号 | GB/T 28174.3-2011 (GB/T28174.3-2011) | | 中文名称 | 统一建模语言(UML) 第3部分：对象约束语言(OCL) | | 英文名称 | Unified modeling language (UML) -- Part 3: Object constraint language (OCL) | | 行业 | 国家标准 (推荐) | | 中标分类 | L77 | | 国际标准分类 | 35.080 | | 字数估计 | 142,179 | | 发布日期 | 2011-12-30 | | 实施日期 | 2012-06-01 | | 引用标准 | GB/T 28174.1; GB/T 28174.2 | | 标准依据 | 国家标准批准发布公告2011年第23号 | | 发布机构 | 中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会 | | 范围 | GB/T 28174的本部分规定了用于对各类软件系统进行可视化、详述、构造和文档化的统一建模语言。本语言也可用于对其他领域进行建模。本部分是一种形式语言, 它适用于描述UML模型上的表达式。这些表达式以规范的方式, 规定了如何描述系统在建模过程中应成立的不变条件以及对模型中对象的查询。 | GB/T 28174.3-2011
Unified modeling language (UML).Part 3: Object constraint language (OCL)
ICS 35.080
L77
中华人民共和国国家标准
统一建模语言(UML)
第3部分:对象约束语言(OCL)
2011-12-30发布
2012-06-01实施
中华人民共和国国家质量监督检验检疫总局
中国国家标准化管理委员会发布
目次
前言 Ⅲ
引言 Ⅳ
1 范围 1
2 规范性引用文件 1
3 对象约束语言描述 1
4 抽象句法 23
5 具体句法 45
6 采用UML描述的语义 75
7 OCL标准库 108
8 UML模型中OCL表达式的使用 127
9 OCL、UML与 MOF三种元模型的衔接 136
前言
GB/T 28174《统一建模语言(UML)》分为4个部分:
---第1部分:基础结构;
---第2部分:上层结构;
---第3部分:对象约束语言(OCL);
---第4部分:图交换。
本部分为GB/T 28174的第3部分。
本部分按照GB/T 1.1-2009给出的规则起草。
本部分参考面向对象工作组(OMG)的《统一建模语言:对象约束语言(OCL)》2.0版。
请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别这些专利的责任。
本部分由全国信息技术标准化技术委员会(SAC/TC28)提出并归口。
本部分起草单位:广东省广业信息产业集团有限公司、广东万维博通信息技术有限公司、镇江金钛
软件有限公司、北京大学、中国电子技术标准化研究所。
本部分主要起草人:许立勇、周伟强、唐泽欢、江善东、黄孝和、杨三宝、丁力、吴炯祥、邓海强、
胡红林、高健。
引 言
统一建模语言(UML)是一种可视化规约语言,用于定义和构造计算机信息系统的制品,并将其文
档化。它是一种通用建模语言,可以和所有主流的面向对象和面向构件的方法一起使用,并适用于所有
的应用领域和实现平台(如:CORBA、J2EE、.NET等)。
0.1 统一建模语言不同版本之间的关系
由于UML的技术较新,所以该国际标准历经多次的版本演化,下面是UML在OMG的演化过程:
1997 UML1.1
1998 UML1.2
1999 UML1.3
2001 UML1.4
2003 UML2.0
GB/T 28174的本部分正文中的UML均指UML2.0统一建模语言和GB/T 28174。
0.2 关于对读者的建议
需要了解语言中的元模型构造物,利用这些构造物进行元模型扩展或者是构造新的建模语言的用
户可阅读基础结构部分(GB/T 28174.1)。
应用系统建模用户和建模工具制造方都需阅读上层结构部分(GB/T 28174.2)。但要注意,该部分
的内容是交叉引用的,可不按目次顺序阅读。
对于要精确地对模型进行约束的应用系统建模用户或要支持对象约束语言的建模工具制造方,需
阅读对象约束语言部分(GB/T 28174.3)。
支持在不同的软件工具间平滑且无缝地交换文档的建模工具制造方,需阅读图交互部分。
统一建模语言(UML)
第3部分:对象约束语言(OCL)
1 范围
GB/T 28174的本部分规定了用于对各类软件系统进行可视化、详述、构造和文档化的统一建模语
言。本语言也可用于对其他领域进行建模。
本部分是一种形式语言,它适用于描述UML模型上的表达式。这些表达式以规范的方式,规定了
如何描述系统在建模过程中应成立的不变条件以及对模型中对象的查询。
2 规范性引用文件
下列文件对于本文件的应用是必不可少的。凡是注日期的引用文件,仅注日期的版本适用于本文
件。凡是不注日期的引用文件,其最新版本(包括所有的修改单)适用于本文件。
GB/T 28174.1 统一建模语言(UML) 第1部分:基础结构
GB/T 28174.2 统一建模语言(UML) 第2部分:上层结构
3 对象约束语言描述
3.1 OCL的作用
UML图(例如类图)通常不够精细,无法提供与规范有关的一切侧面。这其中就缺少描述模型中
关于对象的添加约束。这些约束常常采用自然语言描述。而实践表明,这样做经常造成歧义。为了写
出无歧义的约束,已经开发出几种新的所谓“形式语言”。传统上的形式语言,缺点是仅适合于有相当数
学背景的人员,普通业务或系统建模者难以使用。
OCL即为填补这一空白而研制出来。它是一种保留了易读易写特点的形式语言。它已在IBM 的
保险分部作为一种业务建模语言开发出来,根植于Syntropy方法。
OCL是一种纯粹的规约语言,因而保证了OCL表达式不带副作用。当对一OCL表达式求值时,
只是返回一个值。它不能改动模型中的任何事物。这意味着,系统的状态绝不因 OCL表达式的求值
而改变,纵然能用OCL表达式去规定一个状态的改变(例如,在后置条件中)。
OCL不是编程语言,因此,不可能以OCL写出程序逻辑或流控制。在OCL之内,不能启用进程或
激活非查询操作。OCL本是一种建模语言,因此OCL表达式按定义不能直接执行。
OCL是一种类型化语言,其中每一OCL表达式都有一类型。OCL表达式要成为良构的,就应符
合该语言的类型符合性规则。例如,不能拿Integer与String作比较。UML模型内定义的每一类目
(Classifier),都代表一种独特的 OCL类型。此外,OCL还包含一组补充的预定义类型......
|