Category theory for computing science
Category theory for computing science
Component-based product line engineering with UML
Component-based product line engineering with UML
Using Category Theory to Model Software Component Dependencies
ECBS '02 Proceedings of the 9th IEEE International Conference on Engineering of Computer-Based Systems
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Applying MDA Approach for Web Service Platform
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Model Mapping Using Formalism Extensions
IEEE Software
Model-driven development: the good, the bad, and the ugly
IBM Systems Journal - Model-driven software development
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Categorial semantics of a solution to distributed dining philosophers problem
FAW'10 Proceedings of the 4th international conference on Frontiers in algorithmics
| Hi-index | 0.00 |
Over the past few years, Model-driven Development (MDD) has become an active research area of software engineering, in which model transformation is a key technology. However, there is currently no mature foundation on the definition of mapping rules as well as cardinal principles to verify the mapping relations between such models. Based on software architecture, category theory is used to explore the mapping relations between models at different abstract levels, so that the interconnections and mapping relations between component-based models and the compositions of these relations have rigorous meanings. The morphism composition and functors are used to trace the relationships between component models at different abstract levels. Formal description of model mappings is suitable to the automatic software development. It can be a measurement for validating the mapping rules between different models, and thus can make an effective support to MDD.