Paper Info
Title
Formal semantic meanings of architecture-centric model mapping
Abstract
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.
Year
DOI
Venue
2007
10.1007/978-3-540-76837-1_69
APPT
Keywords
Field
DocType
automatic software development,different model,architecture-centric model mapping,different abstract level,formal semantic meaning,mapping rule,component-based model,mapping relation,software engineering,component model,software architecture,model mapping,software development,category theory,formal semantics
Model transformation,Software design description,Computer science,Functor,Theoretical computer science,Software development process,Category theory,Software architecture,Morphism,Software development
Conference
Volume
ISSN
ISBN
4847
0302-9743
3-540-76836-X
Citations 
PageRank 
References 
2
0.37
8
Authors
3
Name
Order
Citations
PageRank
Xiao Yang181.60
Jinkui Hou274.94
Jiancheng Wan3235.23