A Modeling and Refinement Methods for Behavioral Models

• 1、Shandong University

Abstract：The modeling and refinement methods of behavioral models are crucial issues in model driven software development. In this paper, according to the formal definition of environment, a formal behavioral modeling method is proposed. Moreover, due to the refinement theory in formal methodology, this paper proposes an automatic approach for the refinement of behavior models. This approach is comprised of the refinement method based on logic reduction and refinement method based on genetic programming. In the beginning, by means of analyzing the post condition formula of the abstract behavior, the refinement based on the logic reduction will be carried out, thus the loop structures and other simple formulae will be produced. The simple formulae will be used to construct new abstract behaviors, and they will be refined sequentially by the refinement based on genetic programming until the generated program is comprised of the basic operations finally. At last sorting is taken as an example to demonstrate the evolutionary process, and the result shows that our method is fairly feasible.

Keywords： Model Driven Development Automatic Refinement Behavioral Models Genetic Programming Evolutionary Computation