计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
5期
120-123
,共4页
徐俊%肖刚%张元鸣%高飞%方赵林
徐俊%肖剛%張元鳴%高飛%方趙林
서준%초강%장원명%고비%방조림
构件行为片段%π演算%逻辑推理%构件重组
構件行為片段%π縯算%邏輯推理%構件重組
구건행위편단%π연산%라집추리%구건중조
从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法.其主要思想是在研究构件接口映射、状态变迁的基础上,建立构件行为的结构模型和状态模型,并将其分解为基于π关系推导的构件行为片段.最后根据逻辑推理的方法,再将目标输入输出作为待求解,从关系推导中挖掘有效的行为片段进行重组,组装成一个满足目标需求的复合构件.
從構件組裝研究揹景齣髮,針對軟件應對複雜多變的業務需求時的不足,提齣瞭一種基于邏輯推理的構件行為片段提取與重組算法.其主要思想是在研究構件接口映射、狀態變遷的基礎上,建立構件行為的結構模型和狀態模型,併將其分解為基于π關繫推導的構件行為片段.最後根據邏輯推理的方法,再將目標輸入輸齣作為待求解,從關繫推導中挖掘有效的行為片段進行重組,組裝成一箇滿足目標需求的複閤構件.
종구건조장연구배경출발,침대연건응대복잡다변적업무수구시적불족,제출료일충기우라집추리적구건행위편단제취여중조산법.기주요사상시재연구구건접구영사、상태변천적기출상,건립구건행위적결구모형화상태모형,병장기분해위기우π관계추도적구건행위편단.최후근거라집추리적방법,재장목표수입수출작위대구해,종관계추도중알굴유효적행위편단진행중조,조장성일개만족목표수구적복합구건.
