Paper Info
Title
Formalization of Architecture-Centric Model Mapping Using Category Theory
Abstract
Model transformation is touted to play a key role in model-driven development. The mapping relations between models are the foundation and basis for the transformation. On the basis of software architecture, this paper tries to provide a precise semantics for both components structuring and models mapping by using category theory. Morphism composition is used to trace the interconnections and mapping relations between component-based models, while consistency between the sorts / operations of component models at different abstract levels is maintained by functors. Category theory supports the diagrammatic representation of component model that visualizes the relationships between components and the structural features, which can be used to strengthen the understandability and traceability of model transformation. The formalization enables users to check whether the mapping relations satisfy some desired properties and also is suitable to automatic software development, and thus can make an effective support to model-driven software development.
Year
DOI
Venue
2007
10.1109/SNPD.2007.285
SNPD (1)
Keywords
Field
DocType
automatic software development,model-driven development,architecture-centric model mapping,model transformation,category theory,software development,component-based model,mapping relation,morphism composition,software architecture,component model,formal semantics,satisfiability,object oriented programming
Model transformation,Programming language,Diagrammatic reasoning,Computer science,Functor,Theoretical computer science,Category theory,Software architecture,Morphism,Software development,Model-driven software development
Conference
ISBN
Citations 
PageRank 
0-7695-2909-7
1
0.35
References 
Authors
10
3
Name
Order
Citations
PageRank
Jinkui Hou174.94
Jiancheng Wan2235.23
Shuaiqiang Wang325422.72