###
DOI:
Journal of Software:1993.4(5):24-37

面向对象的语义关联数据模型理论
古新生,陈清
(西安交通大学CIMS研究中心 西安 710049)
MODEL THEORY OF OBJECT-ORIENTED SEMANTIC ASSOCIATION DATA MODEL
Gu Xinsheng,Chen Qing
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2840   Download 3254
Received:November 27, 1990    Revised:May 26, 1991
> 中文摘要: 本文提出了“面向对象的语义关联数据模型(CIM-OSA DM)”理论,在扼要介绍CIM-OSA DM的基础上,侧重于形式化地定义“对象”、“对象类”及类之间的“语义关联”,按照“对象”和“对象类”统一的观点,又进一步形式化地定义了“对象相等”、“对象类相等”、“子对象类关系”以及“子对象关系”,并采用严格的数学证明论证了它们具有的重要性质,最后提出“对象代数”并形式化地定义对象可执行的几种代数运算。
中文关键词:
Abstract:This paper presented a theory of object-oriented association data model (CIM-OSA DM) for the CIM environment. After brief introduction of CIM-OSA DM , it focused on the formal definition about the fundamental concepts of the model, including object, class, and semantic association among classes. From the united point of view of object and class,it further defined the conditions of equal objects and equal classes. The definitions of sub-object and sub-class were also given formally. Some important characteristics of sub-object and sub-calss were proved.Finally,the concepts of object algebra and some operations on object were exploited.
keywords:
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

古新生,陈清.面向对象的语义关联数据模型理论.软件学报,1993,4(5):24-37

Gu Xinsheng,Chen Qing.MODEL THEORY OF OBJECT-ORIENTED SEMANTIC ASSOCIATION DATA MODEL.Journal of Software,1993,4(5):24-37