基于逻辑推理的构件行为片段提取与重组研究

• 作者: 张元鸣 徐俊 方赵林 肖刚 高飞
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 构件行为片段 π演算 逻辑推理 构件重组
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 软件工程
• 页码范围: 120-123
• 分类号: TP311
• 字数: 3921字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.05.028

摘要

从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法.其主要思想是在研究构件接口映射、状态变迁的基础上,建立构件行为的结构模型和状态模型,并将其分解为基于π关系推导的构件行为片段.最后根据逻辑推理的方法,再将目标输入输出作为待求解,从关系推导中挖掘有效的行为片段进行重组,组装成一个满足目标需求的复合构件.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐俊	浙江工业大学计算机科学与技术学院	39	170	8.0	10.0
2	张元鸣	浙江工业大学计算机科学与技术学院	65	493	11.0	19.0
3	肖刚	浙江工业大学计算机科学与技术学院	138	1143	17.0	27.0
4	高飞	浙江工业大学计算机科学与技术学院	71	581	11.0	20.0
5	方赵林	浙江工业大学信息化办公室	23	113	6.0	10.0