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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Brent, H., Peri, T.: Model-driven development: The good, the bad, and the ugly. IBM Systems Journal 45(3), 451–461 (2006)
Krzysztof, C., Simon, H.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621–644 (2006)
Caplat, G., Sourrouille, J.L.: Model Mapping Using Formalism Extensions. IEEE Software 22(2), 44–51 (2005)
Barr, M., Wells, C.: Category Theory for Computing Scince. Prentice-Hall, Englewood Cliffs (1990)
Goguen, J.: A Categorical Manifesto. Mathematical Structures in Computer Science 1(1), 49–67 (1991)
Mark, J.G.: Specification of Software Architecture. Journal on Software Engineering and Knowledge Engineering 10(1), 69–95 (2000)
Fiadeiro, J.L., Maibaum, T.: A Mathematical Toolbox for the Software Architect. In: Proc. 8th International Workshop on Software Specification and Design, pp. 46–55 (1995)
Eilenberg, S., MacLane, S.: General theory of natural equivalences. Transactions of the American Mathematical Society 58(1), 231–245 (1945)
Colin, A., Joachim, B., Christian, B., et al.: Component-Based Product Line Engineering with UML, Addison-Wesley Professional, Pearson Education, Boston (2002)
Guo, J.: Using category theory to model software component dependencies. In: ECBS 2002. Proc. of the 9th Annual IEEE Int’l Conf. and Workshop on the Engineering of Computer-Based Systems, pp. 185–192. IEEE Computer Society, Los Alamitos (2002)
Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley, Boston (2003)
Bezivin, J., Hammoudi, S., Lopes, D., Jouault, F.: Applying MDA approach for Web service platform. In: Proc. of Enterprise Distributed Object Computing Conference, Monterey, California, USA, pp. 58–70 (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yang, X., Hou, J., Wan, J. (2007). Formal Semantic Meanings of Architecture-Centric Model Mapping. In: Xu, M., Zhan, Y., Cao, J., Liu, Y. (eds) Advanced Parallel Processing Technologies. APPT 2007. Lecture Notes in Computer Science, vol 4847. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76837-1_69
Download citation
DOI: https://doi.org/10.1007/978-3-540-76837-1_69
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76836-4
Online ISBN: 978-3-540-76837-1
eBook Packages: Computer ScienceComputer Science (R0)