| 基于形式规格说明的构件匹配 |
| |
| 引用本文： | 李晓博,缪淮扣,刘静. 基于形式规格说明的构件匹配[J]. 计算机应用与软件, 2006, 23(10): 10-12,73 |
| |
| 作者姓名： | 李晓博 缪淮扣 刘静 |
| |
| 作者单位： | 上海大学计算机学院,上海,200072;上海大学计算机学院,上海,200072;上海大学计算机学院,上海,200072 |
| |
| 摘 要： | 构件匹配依靠精确描述构件的语义，而形式规格说明基于严格的数学概念和理论。将两者结合起来，首先利用Z语言描述属性、方法和构件的类型，并在此基础上，通过一个例子，给出了各种匹配机制的公理描述。最后，介绍了构件匹配的一个重要应用——构件检索。
|
| 关 键 词： | 形式规格说明 构件匹配 构件检索 |
| 收稿时间： | 2004-09-27 |
| 修稿时间： | 2004-09-27 |
COMPONENTS MATCHING BASED ON FORMAL SPECIFICATIONS |
| |
| Li Xiaobo,Miao Huaikou,Liu Jing. COMPONENTS MATCHING BASED ON FORMAL SPECIFICATIONS[J]. Computer Applications and Software, 2006, 23(10): 10-12,73 |
| |
| Authors: | Li Xiaobo Miao Huaikou Liu Jing |
| |
| Affiliation: | School of Computer Engineering and Science, Shanghai Uni~,Jersity, Shanghai 200072, China |
| |
| Abstract: | |
| |
| Keywords: | Formal specifications Component matching Component retrieve |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
