• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>World Multiconference on Systemics, Cybernetics and Informatics and 5th International Conference on Information Systems Analysis and Synthesis Vol.5: Computer Science and Engineering, Jul 31-Aug 4, 1999, Orlando, Florida >Towards an Axiomatic Foundation for the Object Constraint Language
【24h】

Towards an Axiomatic Foundation for the Object Constraint Language

机译：建立对象约束语言的公理基础

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The Object Constraint Language (OCL) is a precise specification language which could be used for expressing constraints on object-oriented models and other modelling artifacts. OCL is a part of the Unified Modelling Language (UML) which is the de facto standard for object-oriented analysis and design. OCL is an important step towards more precise object-oriented models where modellers could specify additional constraints and queries in a formal yet comprehensible way. The kind of constraints which can be described using OCL include invariants on classes, preconditions and postconditions of operations. However, the definition of OCL is semi-formal which means that the semantics of constraints is not precisely defined. This paper presents an axiomatic semantics for OCL types and expressions which is essential for clarifying its concepts and for reasoning about its expressions. The semantics is expressed within a theory of operations and types based on predicate logic and the lambda calculus. A formal semantics also plays an important role in developing CASE tools for checking and analysing UML/OCL models.
机译：对象约束语言（OCL）是一种精确的规范语言，可用于表达对面向对象的模型和其他建模工件的约束。 OCL是统一建模语言（UML）的一部分，它是面向对象的分析和设计的事实上的标准。 OCL是朝着更精确的面向对象模型迈出的重要一步，在该模型中，建模者可以以正式但可理解的方式指定其他约束和查询。可以使用OCL来描述的约束类型包括操作的类，前提条件和后置条件的不变量。但是，OCL的定义是半正式的，这意味着没有精确定义约束的语义。本文介绍了OCL类型和表达式的公理语义，这对于澄清其概念和推理其表达式至关重要。语义是在基于谓词逻辑和lambda演算的运算和类型理论中表达的。形式语义在开发用于检查和分析UML / OCL模型的CASE工具中也起着重要作用。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号