基于构件设计的正确性验证

摘要：

本文研究基于构件设计的正确性问题.我们首先建立一个构件描述的模型:(1)接口:通过对CORBA的IDL进行扩展,使其能够在构件的接口中同时描述构件的语法和语义信息;(2)实现:通过引入一个简单的程序模型,阐述如何利用子构件构造一个新的构件.然后我们考虑如何将构件的接口和实现联系起来:利用Hoare逻辑,验证一个构件的实现是否满足其接口中所给出的语义要求.

关键词：基于构件设计、接口、实现、形式语义

所属期刊栏目：20

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：330-334