###
DOI:
Journal of Software:1995.6(zk):207-212

对象形式语义模型*
黄涛,冯玉琳,李京
(中国科学院软件研究所,北京100080;中国科学技术大学,合肥230027)
A FORMAL SEMANTIC MODEL FOR OBJECT
Huang Tao,Feng Yulin,Li Jing
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2087   Download 2063
Received:August 21, 1993    Revised:March 14, 1994
> 中文摘要: 在面向对象的软件构造中,对象被视为软件系统的基本构件本文给出一个对象形式语义模型,对象被定义为封装属性和行为的实体,对象行为必须满足给定的静态约束和时序约束;基于对象态射,本文给出对象聚合、特化、继承和对象类等概念在此语义模型框架中的解释。
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.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

黄涛,冯玉琳,李京.对象形式语义模型*.软件学报,1995,6(zk):207-212

Huang Tao,Feng Yulin,Li Jing.A FORMAL SEMANTIC MODEL FOR OBJECT.Journal of Software,1995,6(zk):207-212