Abstract：Starting from software practice，and aimed at Web service application based and design pattern oriented software design methodology，a new theoretical framework for model-driven software development is proposed in this paper.The framework is based on signature and formalized with typed categories，in which service component signature is used as category object，and the interaction and dependency relationships among the service components are regarded as category morphisms.In this way，the framework description of software architecture is given by typed category diagram.Herein，design patterns are viewed as component specification templates，and the process of template instantiation as well as specification integration are the process of software design and implementation.Upon these，the formal morphology and its semantics preservation or semantics equivalence of model transformation are established.The research experiment shows that the framework conforms to the essential requirement of model driven software design，and provides a new theoretical guideline for the cognition，analysis and research of model transformation and model driven Web service application development.
2018, Vol. 39 
