Model-based software design generation techniques

Behavior models can be used to support specification, transformation, and verification of behavior designs in software development. Designers can specify their design in behavior models. In this research, we investigated model-based software design generation techniques to generate software designs from behavior models. We focused on designs in FSM, control flow, and expression behavior models. We designed software generation techniques that configure assignment of behavior models to program units, specify associated software interfacing for behavior model interactions, and attach data in software designs. Configured software design can be integrated into a complete design structure. It is then transformed into a logical model with various behavior transformations for corresponding behavior model types. Designs in the logical model can then be converted to software programs with model-driven architecture techniques. Experiments show that software design generation can be effectively supported for currently selected behavior models.