论文部分内容阅读
行为模型的精化是软件工程中的基于模型驱动开发的关键问题．基于针对环境的形式化行为模型和形式化方法中的精化理论，提出了一种基于遗传规划的行为模型的自动精化方法．该方法将精化看作可执行的基本操作的组合过程．首先通过分析抽象行为的后置条件公式，执行基于逻辑归约的精化方法，从而生成循环结构和其他简单新行为的描述．然后利用基于遗传规划的精化方法对新行为继续精化，直到产生的程序最终由基本操作构成．由于传统的遗传规划方法对选择结构难以演化，提出了组合终止条件的概念．通过测试组合终止条件，选择结构也能较好的产生．最后以排