基于逻辑推理的构件组装策略及其算法

• 作者: 张元鸣 王培君 肖刚 陆佳炜
• 来源期刊: 信息与控制
• 关键词: 进程代数 逻辑推理 构件组装 正向推理 构件检索
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 实际问题研讨
• 页码范围: 759-764
• 页数: 6页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0411.2009.06.018

摘要

针对构件组装体系框架,提出一种适用于无状态构件的组装策略,用于满足用户的构件检索请求.该策略通过进程代数理论形式化描述构件行为,提高匹配度,并提出了2种基于逻辑推理的检索算法SABLR(searching algorithm based on logical reasoning)和ASABLR(advanced searching algonthm based on logical reasoning)加以支持.检索算法均应用正向推理的思想,判别构件仓库中是否含有用户请求构件信息.算法可以判别2种状况:一是库中直接含有请求构件信息,二是库中部分构件可经组装后满足用户请求.克服了普通构件检索算法无法判别第2种状况的缺点.最后,通过实例分析和算法ASABLR的实现,证明该策略的有效性和可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张元鸣	浙江工业大学信息工程学院	65	493	11.0	19.0
2	陆佳炜	浙江工业大学信息工程学院	49	189	7.0	10.0
3	肖刚	浙江工业大学信息工程学院	138	1143	17.0	27.0
4	王培君	浙江工业大学信息工程学院	1	2	1.0	1.0