计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2008年
11期
1911-1919
,共9页
王帅强%马军%王海洋%万建成
王帥彊%馬軍%王海洋%萬建成
왕수강%마군%왕해양%만건성
模型驱动开发%自动精化方法%行为精化%遗传规划%进化计算
模型驅動開髮%自動精化方法%行為精化%遺傳規劃%進化計算
모형구동개발%자동정화방법%행위정화%유전규화%진화계산
行为模型的精化是软件工程中的基于模型驱动开发的关键问题.基于针对环境的形式化行为模型和形式化方法中的精化理论,提出了一种基于遗传规划的行为模型的自动精化方法.该方法将精化看作可执行的基本操作的组合过程.首先通过分析抽象行为的后置条件公式,执行基于逻辑归约的精化方法,从而生成循环结构和其他简单新行为的描述.然后利用基于遗传规划的精化方法对新行为继续精化,直到产生的程序最终由基本操作构成.由于传统的遗传规划方法对选择结构难以演化,提出了组合终止条件的概念.通过测试组合终止条件,选择结构也能较好的产生.最后以排序问题为例,给出实际的演化过程,结果说明该方法具有较强的可行性.事实上该方法适用于任何由若干基本操作组合以完成复杂操作的问题求解过程.
行為模型的精化是軟件工程中的基于模型驅動開髮的關鍵問題.基于針對環境的形式化行為模型和形式化方法中的精化理論,提齣瞭一種基于遺傳規劃的行為模型的自動精化方法.該方法將精化看作可執行的基本操作的組閤過程.首先通過分析抽象行為的後置條件公式,執行基于邏輯歸約的精化方法,從而生成循環結構和其他簡單新行為的描述.然後利用基于遺傳規劃的精化方法對新行為繼續精化,直到產生的程序最終由基本操作構成.由于傳統的遺傳規劃方法對選擇結構難以縯化,提齣瞭組閤終止條件的概唸.通過測試組閤終止條件,選擇結構也能較好的產生.最後以排序問題為例,給齣實際的縯化過程,結果說明該方法具有較彊的可行性.事實上該方法適用于任何由若榦基本操作組閤以完成複雜操作的問題求解過程.
행위모형적정화시연건공정중적기우모형구동개발적관건문제.기우침대배경적형식화행위모형화형식화방법중적정화이론,제출료일충기우유전규화적행위모형적자동정화방법.해방법장정화간작가집행적기본조작적조합과정.수선통과분석추상행위적후치조건공식,집행기우라집귀약적정화방법,종이생성순배결구화기타간단신행위적묘술.연후이용기우유전규화적정화방법대신행위계속정화,직도산생적정서최종유기본조작구성.유우전통적유전규화방법대선택결구난이연화,제출료조합종지조건적개념.통과측시조합종지조건,선택결구야능교호적산생.최후이배서문제위례,급출실제적연화과정,결과설명해방법구유교강적가행성.사실상해방법괄용우임하유약간기본조작조합이완성복잡조작적문제구해과정.
