MDD-supported Formal Semantics Description of Architecture Models
Jinkui Hou, Jun Ma · Acta Scientiarum Naturalium Universitatis Sunyatseni · 2008
In order to resolve the problems in the definition of model mapping relations and in the validation of the correctness of model transformations in model-driven development,this paper use category theory to provide a precise semantics for architecture models and their relationships.Morphism composition is used to trace the interconnections and mapping relations between component models,while the consistency between architecture models at different abstract levels is maintained by functors.Category theory supports the diagrammatic representation of component models that visualizes the relationships between components and the structural features,which can be used to strengthen the understandability and traceability of model transformation.The application research shows that,the description framework does not only provide a measurement for validating the mapping rules,but also provide a theoretical guidance for model transformations.