Architecture-Based Semantic Description Framework for Model Transformation

Abstract

In order to solve the problems of description and verification of semantic properties in model driven development, process algebra is introduced on the basis of extending typed category theory. A unified semantic description framework is established for the description and transformation of component-based software models, as well as the maintenance and verification of semantic properties in the process of model transformation. Category diagram is used to describe the semantics of architecture model, and typed morphism implies the dependency relationship between component objects, and typed functor is used to describe the mapping mechanism before and after model transformation. Application research shows that the framework well follows the essence and process requirements of model-driven development, and provides a new guidance framework for understanding, cognitive learning and promotion of software development research on the basis of model transformation.