Categorical Semantics of Architecture-Centric Model Mapping

To resolve the problems of the definition, description, and proof of semantic property preservation of model transformation, a semantic description framework for architecture-centric model transformation is proposed based on category theory. Formal semantics of component specification and architecture model are described within typed category diagrams, and the mapping relations between different levels component models are formally described by functors. The semantic properties that should be preserved through model transformation are discussed subsequently. The application research shows that the framework captures the essence, process and requirements of model-driven development, and thus can be used as a new theoretical guidance for the cognition, design and semantic calculation of model transformation and model-driven development.