-
题名基于询问-回答模式的对象控制模型的实现
- 1
-
-
作者
蔡志旻
赵洋
潘捷
潘金贵
-
机构
南京大学计算机软件新技术国家重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第2期96-98,共3页
-
基金
日本富士通公司研究基金资助项目(UL-49410024)
-
文摘
在诸多系统设计中，系统需要管理大量具有内在关联性相似性的对象系统（通常表现为对象树或对象图的形式）。通常采用的方法是系统集中管理和控制，根据对象的互异性特征，选取指定的对象和决定对象如何访问。这种集中控制的弊端是管理复杂、成本高，容易造成错误，并且可扩充性差。文章介绍了一种基于询问-回答模式的对象控制模型，有效地解决了这个问题。
-
关键词
询问-回答模式
对象控制模型
虚函数
编译系统
计算机系统
-
Keywords
Object control model； Request-reply pattern
Virtual function, Dynamic binding
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名询问-回答模式下层次式程序表示模型的构建方法
- 2
-
-
作者
赵洋
黄春浩
吕波
潘金贵
-
机构
南京大学计算机软件新技术国家重点实验室
南京大学计算机科学与技术系
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第28期139-141,147,共4页
-
基金
日本富士通公司研究基金资助
-
文摘
对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础。基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息递归表示模型。该模型侧重反映程序中对象、域和类型间的内在关系,并通过域把不同的对象和型关联起来。可扩展程序对象模型(EPOM)是用来具体刻画程序语法结构的一种抽象模型。在对程序进行词法和语法分析后得到EPOM的情况下通过询问-回答的对象控制模式可以方便的构建OSTPM。
-
关键词
静态分析
层次式模型
可扩展程序对象模型
询问-回答模式
对象控制
-
Keywords
Static Analysis,OSTPM,EPOM,Request-Reply Pattern,Object Director
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于EPOM的扩展程序参考模型
- 3
-
-
作者
吕波
赵洋
蔡志旻
潘金贵
-
机构
南京大学计算机软件新技术国家重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第17期100-101,104,共3页
-
基金
日本富士通公司研究基金资助项目
-
文摘
扩展程序参考模型是在可扩展的程序对象模型（EPOM）的基础上建立起来的有关程序统计信息的模型。它能够反映程序中的变量信息、函数信息、类型信息和枚举常量等信息，并以HTML的形式展现给用户。询问-回答模式在该模型中得到了广泛应用，不仅在模型的构造过程中大量采用，模型的输出也采用该模式。概要介绍了扩展程序模型的结构和特点，同时给出了在此模型上的一个运行实例。
-
关键词
可扩展程序对象模型
扩展程序参考模型
询问-回答模式
程序信息统计
-
Keywords
EPOM
EPRM
Request-reply pattern
Program statistics
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
