| 基于逻辑推理的构件行为片段提取与重组研究 |
| |
| 引用本文： | 徐俊,肖刚,张元鸣,高飞,方赵林.基于逻辑推理的构件行为片段提取与重组研究[J].计算机科学,2012,39(5):120-123. |
| |
| 作者姓名： | 徐俊 肖刚 张元鸣 高飞 方赵林 |
| |
| 作者单位： | 1. 浙江工业大学计算机科学与技术学院 杭州310023
2. 浙江工业大学信息化办公室 杭州310014 |
| |
| 基金项目： | 国家自然科学基金，浙江省科技厅项目 |
| |
| 摘 要： | 从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要思想是在研究构件接口映射、状态变迁的基础上,建立构件行为的结构模型和状态模型,并将其分解为基于π关系推导的构件行为片段。最后根据逻辑推理的方法,再将目标输入输出作为待求解,从关系推导中挖掘有效的行为片段进行重组,组装成一个满足目标需求的复合构件。
|
| 关 键 词： | 构件行为片段 π演算 逻辑推理 构件重组 |
Research on Component Behavior Fragment Extraction and Composition Based on Logical Reasoning |
| |
| XU Jun
,
XIAO Gang
,
ZHANG Yuan-ming
,
GAO Fei
,
FANG Zhao-ling.Research on Component Behavior Fragment Extraction and Composition Based on Logical Reasoning[J].Computer Science,2012,39(5):120-123. |
| |
| Authors: | XU Jun XIAO Gang ZHANG Yuan-ming GAO Fei FANG Zhao-ling |
| |
| Affiliation: | g2(College of Computer Science and Technology,School of Zhejian University of Technology,Hangzhou 310023,China)1(Campus Information Center,Zhejiang University of Techology,Hangzhou 310014,China)2 |
| |
| Abstract: | In the background of components assembly, since the existing software can hardly fulfill changeable requirement of users, the paper proposed an algorithm for component behavior fragment extraction and composition based on logical reasoning. The main idea is based on the researches of interface mapping and state transition of components,which establishes the structural model and state model of component behavior, and breaks down then into component behavior fragments that are derived on the basic of calculus. In the end,following the method of logical reasoning, the
paper took the input and output as target solutions,and provided a composite component to meet requirement goals by compositing the useful component behavior fragment from relation derivation. |
| |
| Keywords: | Component behavior fragment calculus Logical reasoning Component assembly |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
