基于形式规格说明的构件匹配  

COMPONENTS MATCHING BASED ON FORMAL SPECIFICATIONS

作　　者：李晓博[1] 缪淮扣[1] 刘静[1] 

机构地区：[1]上海大学计算机学院,上海200072

出　　处：《计算机应用与软件》2006年第10期10-12,73,共4页Computer Applications and Software

基　　金：国家自然科学基金(60373072)资助

摘　　要：构件匹配依靠精确描述构件的语义,而形式规格说明基于严格的数学概念和理论。将两者结合起来,首先利用Z语言描述属性、方法和构件的类型,并在此基础上,通过一个例子,给出了各种匹配机制的公理描述。最后,介绍了构件匹配的一个重要应用———构件检索。Components matching depends on precisely describing the semantics of components, and formal specification is based on strict mathematic concept and theory. In this paper,we combine them. At first, we describe the type of attribute, method and component using Z, then, we provide various axioms description of matching mechanism by an example, finally, we introduce component retrieve as an application of components matching.

关 键 词：形式规格说明 构件匹配 构件检索 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]