• 现行
  • 正在执行有效
  • 2012-04-20 颁布
©正版授权
注：本标准为国际组织发行的正版标准，下载后为完整内容；本图片为程序生成，仅供参考，介绍内容如有偏差，以实际下载内容为准
【正版授权-英语版】 ISO/IEC 19507:2012 EN Information technology - Object Management Group Object Constraint Language (OCL)_第1页
全文预览已结束

下载本文档

基本信息：

  • 标准号：ISO/IEC 19507:2012 EN
  • 标准名称：信息技术 对象管理集团对象约束语言（OCL）
  • 英文名称：Information technology — Object Management Group Object Constraint Language (OCL)
  • 标准状态：现行
  • 发布日期：2012-04-20

文档简介

ISO/IEC19507:2012ENInformationtechnology—ObjectManagementGroupObjectConstraintLanguage(OCL)是一套关于对象约束语言的标准，它是用于在面向对象系统中进行模型约束的描述和验证的。

OCL是一种基于对象的查询语言，用于描述对模型元素的操作和关系。它提供了一种表达和验证模型约束的有效方式，特别是在复杂的大型系统中。

OCL语言的主要特点包括：

*面向对象：OCL语言基于对象模型，它允许使用对象和类的概念来表达模型约束。

*查询语言：OCL是一种查询语言，用于查询和操作模型元素。它提供了丰富的表达式和运算符，可以用于表达复杂的约束条件。

*可扩展性：OCL语言具有很好的可扩展性，可以根据具体的需求添加新的表达式和运算符。

使用OCL语言，开发人员可以定义模型元素的属性、关系和行为，并使用这些约束来验证模型的正确性和完整性。通过使用OCL语言，开发人员可以更好地理解模型之间的关系，并确保系统的一致性和稳定性。

此外，OCL语言还可以与其他面向对象的技术（如UML）进行集成，提供了一种统一的方法来描述和管理复杂的大型系统。总之，ISO/IEC19507:2012ENInformationtechnology—ObjectManagementGroupObjectConstraintLanguage(OCL)是一套关于对象约束语言

人人文库> 全部分类> 行业资料 > 各类标准

温馨提示

  • 1. 本站所提供的标准文本仅供个人学习、研究之用，未经授权，严禁复制、发行、汇编、翻译或网络传播等，侵权必究。
  • 2. 本站所提供的标准均为PDF格式电子版文本（可阅读打印），因数字商品的特殊性，一经售出，不提供退换货服务。
  • 3. 标准文档要求电子版与印刷版保持一致，所以下载的文档中可能包含空白页，非文档质量问题。
  • 4. 下载后请按顺序安装Reader（点击安装）和FileOpen（点击安装）方可打开。详细可查看标准文档下载声明

最新文档

评论

0/150

提交评论