未找到相关数据
对象描述语言及其指称描述
被引：8
作者：
黄涛
冯玉琳
倪彬
李京
机构：
[1] 中国科学院软件研究所计算机科学开放实验室
[2] 中国科技大学计算机系
来源：
关键词：
对象，指称语义，演算，对象语义描述;
D O I：
10.13328/j.cnki.jos.1996.10.001
中图分类号：
TP301.2 [形式语言理论];
学科分类号：
081202 ;
摘要：
在面向对象的软件构造中，对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ），并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．ＳＯＰ理论范集反映了对象的封装性，在这样的逻辑框架下，对象的属性（结构）和动作（行为）得以统一．对象聚合提供了由已有对象描述构造复杂对象描述的机制；而继承则可以扩充给定的对象描述并保持原描述的特性．此外，本文还区分了继承和子类这２个相似而又不尽相同的概念
引用
收藏
页码：2 / 11
页数：10
相关论文