A unification of behavior models

In a software design process, behavior models can be used to support specification, transformation, and verification of behavior designs. In state-of-the-art software design processes, a number of behavior models are utilized to specify behavior designs. Usually, these models are selected and utilized in combination in the design process in an informal way. The unification and integration of behavior models are not addressed thoroughly in existing work and hence results in significant design effort in the design process. In this research, we focus on devising a unification scheme of these behavior models. Designers can specify each part of behavior designs in its suitable behavior model correspondingly. Designs specified in different behavior models can then be unified and integrated on the basis of this work in a formal way. This can reduce integration effort and facilitates further tasks of design transformation and design verification.