未找到相关数据
基于构件设计的正确性验证
被引：4
作者：
云晓春
方滨兴
机构：
[1] 哈尔滨工业大学计算机系
来源：
关键词：
基于构件设计,接口,实现,形式语义;
D O I：
暂无
中图分类号：
TP311.5 [软件工程];
学科分类号：
081202 ;
0835 ;
摘要：
本文研究基于构件设计的正确性问题．我们首先建立一个构件描述的模型：（１）接口：通过对ＣＯＲＢＡ的ＩＤＬ进行扩展，使其能够在构件的接口中同时描述构件的语法和语义信息；（２）实现：通过引入一个简单的程序模型，阐述如何利用子构件构造一个新的构件．然后我们考虑如何将构件的接口和实现联系起来：利用Ｈｏａｒｅ逻辑，验证一个构件的实现是否满足其接口中所给出的语义要求．
引用
收藏
页码：11 / 15
页数：5
相关论文