摘要
构件匹配依靠精确描述构件的语义,而形式规格说明基于严格的数学概念和理论。将两者结合起来,首先利用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.
出处
《计算机应用与软件》
CSCD
北大核心
2006年第10期10-12,73,共4页
Computer Applications and Software
基金
国家自然科学基金(60373072)资助
关键词
形式规格说明
构件匹配
构件检索
Formal specifications Component matching Component retrieve