首页> 外文会议> >'self'-conscious objects in Object-Z
【24h】

'self'-conscious objects in Object-Z

机译:对象Z中的“自我”意识对象

获取原文

摘要

Within the field of object oriented type theory, much attention has been devoted to the notion of self and Self-types. In contrast, relatively little attention has been paid to this topic in studies on object oriented specification language semantics. In the context of language semantics, the notion of self poses two problems. Firstly, it involves an awareness by an object of its own identity, and hence a capacity for self referential method invocations. Secondly, the usual reference model for object identity maps object identities to object values. This means that an object's identity is not normally considered to be a part of its value. And so a value for self is not normally in scope. The way that a semantics resolves the scope problem can affect one's ability to use the semantics to reason about an object independently of its environment. The paper motivates the inclusion of a concept of self in object oriented formal specification languages, and shows how this concept can be accommodated within the semantics of Object-Z. We show that a useful consequence of making objects 'self'-aware is that messages between objects can be 'tagged' with the identity of the sender object; this facilitates the task of reasoning about object interaction.
机译:在面向对象类型理论领域,人们对自我和自我类型的概念投入了很多注意力。相反,在面向对象的规范语言语义研究中,对该主题的关注相对较少。在语言语义学的上下文中,自我的概念提出了两个问题。首先,它涉及对象意识到自己的身份,因此具有自我引用方法调用的能力。其次,用于对象标识的常规参考模型将对象标识映射到对象值。这意味着对象的身份通常不被视为其值的一部分。因此,自我价值通常不在范围之内。语义学解决范围问题的方式会影响人们使用语义学来独立于其环境而对某个对象进行推理的能力。这篇论文激发了将自我的概念包含在面向对象的形式规范语言中的动机,并展示了如何在Object-Z的语义中容纳这一概念。我们证明了使对象具有“自我”意识的一个有用的结果是,对象之间的消息可以用发送者对象的身份“标记”。这简化了有关对象交互的推理任务。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号