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

• 作者: 刘静 李晓博 缪淮扣
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 形式规格说明 构件匹配 构件检索
• 年，卷（期）: 2006,（10）
• 所属期刊栏目: 基金项目论文
• 页码范围: 10-12,73
• 页数: 4页
• 分类号: TP3
• 字数: 4021字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2006.10.004

摘要

构件匹配依靠精确描述构件的语义,而形式规格说明基于严格的数学概念和理论.将两者结合起来,首先利用Z语言描述属性、方法和构件的类型,并在此基础上,通过一个例子,给出了各种匹配机制的公理描述.最后,介绍了构件匹配的一个重要应用--构件检索.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机学院	100	1030	16.0	26.0
2	刘静	上海大学计算机学院	26	167	7.0	12.0
3	李晓博	上海大学计算机学院	1	10	1.0	1.0