首页 | 官方网站   微博 | 高级检索  
     

对象形式语义模型*
引用本文:黄涛,冯玉琳,李京.对象形式语义模型*[J].软件学报,1995,6(Z1):207-212.
作者姓名:黄涛  冯玉琳  李京
作者单位:中国科学院软件研究所,北京100080;中国科学院软件研究所,北京100080;中国科学技术大学,合肥230027
摘    要:在面向对象的软件构造中,对象被视为软件系统的基本构件本文给出一个对象形式语义模型,对象被定义为封装属性和行为的实体,对象行为必须满足给定的静态约束和时序约束;基于对象态射,本文给出对象聚合、特化、继承和对象类等概念在此语义模型框架中的解释。

关 键 词:对象语义模型,继承,聚合,特化.
收稿时间:1993/8/21 0:00:00
修稿时间:1994/3/14 0:00:00

A FORMAL SEMANTIC MODEL FOR OBJECT
Huang Tao,Feng Yulin and Li Jing.A FORMAL SEMANTIC MODEL FOR OBJECT[J].Journal of Software,1995,6(Z1):207-212.
Authors:Huang Tao  Feng Yulin and Li Jing
Abstract:
Keywords:
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号