Abstract: To resolve the problems of semantic feature description and calculation of model-driven software development,a semantic description framework for model transformation was proposed based on the extension of typed category theory.The framework can be used to formally describe component-based software model,model mapping,and semantic verification of model transformation.Category diagram is used to depict structural semantics of architecture model,in which typed morphisms are tools to describe the relations between components.Mapping mechanism between models before and after transformation is formally described by typed functors.The application research shows that the framework nicely follows the essence and requirements of model-driven development,and provides a new guide for the understanding,cognitive learning and propulsion of model-driven software development.

Key words: Computer software,Model-driven development,Model transformation,Component-based software,Semantic description