| 对象描述语言及其指称描述 |
| |
| 引用本文： | 黄涛,冯玉琳,倪彬,李京.对象描述语言及其指称描述[J].软件学报,1996,7(10):577-586. |
| |
| 作者姓名： | 黄涛 冯玉琳 倪彬 李京 |
| |
| 作者单位： | 中国科学院软件研究所计算机科学开放实验室,北京,100080;中国科学院软件研究所计算机科学开放实验室,北京,100080;中国科学院软件研究所计算机科学开放实验室,北京,100080;中国科技大学计算机系,合肥,230027 |
| |
| 基金项目： | 本文研究得到国家“八五”攻关项目基金、国家863高科技项目基金和国家自然科学基金资助. |
| |
| 摘 要： | 在面向对象的软件构造中，对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ），并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．ＳＯＰ理论范集反映了对象的封装性，在这样的逻辑框架下，对象的属性（结构）和动作（行为）得以统一．对象聚合提供了由已有对象描述构造复杂对象描述的机制；而继承则可以扩充给定的对象描述并保持原描述的特性．此外，本文还区分了继承和子类这２个相似而又不尽相同的概念.
|
| 关 键 词： | 对象 指称语义 演算 对象语义描述 |
| 修稿时间： | 1995/8/18 0:00:00 |
OBJECT DESCRIPTION LANGUAGE AND ITS DENOTATIONAL SEMANTICS |
| |
| Huang Tao,Feng Yulin,Ni Bin and Li Jing.OBJECT DESCRIPTION LANGUAGE AND ITS DENOTATIONAL SEMANTICS[J].Journal of Software,1996,7(10):577-586. |
| |
| Authors: | Huang Tao Feng Yulin Ni Bin and Li Jing |
| |
| Affiliation: | Huang Tao Feng Yulin Ni Bin (Laboratory of Computer Science Institute of Sofware The Chinese Academy of Sciences Beijing 100080) Li Jing (Department of Computer Science University of Science and Technology of China Hefei 230027) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
