| 摘要: |
| 在面向对象的软件构造中，对象被视为软件系统的基本构件本文给出一个对象形式语义模型，对象被定义为封装属性和行为的实体，对象行为必须满足给定的静态约束和时序约束；基于对象态射，本文给出对象聚合、特化、继承和对象类等概念在此语义模型框架中的解释。 |
| 关键词: 对象语义模型，继承，聚合，特化． |
| DOI： |
| 分类号: |
| 基金项目: |
|
| A FORMAL SEMANTIC MODEL FOR OBJECT |
|
Huang Tao,Feng Yulin,Li Jing
|
| Abstract: |
| Objects are considered as the basic system blocks in object oriented software construction．This paper contributes to establish a formal semantic model for objects．An object is defined as an entity endowed with attributes and behavior satisfying some static and temporal constraints．Based upon object morphism，the notion of object aggregation，specialization．inheritance and object class etc．are interpreted in the model further． |
| Key words: Object semantic model,inheritance,aggregation,specialization． |
