Category-theoretic approach to software systems design
Fundamentalʹnaâ i prikladnaâ matematika, Tome 19 (2014) no. 3, pp. 111-170
Voir la notice de l'article provenant de la source Math-Net.Ru
Category theory is applied to the problem of representing heterogeneous software engineering technologies in a unified form suitable for their integration and coordination within the common software systems engineering cycle. Special attention is paid to modern technologies such as model-driven engineering and aspect-oriented programming. Universal category-theoretic semantic models of these technologies are constructed. A novel method of separation of concerns by explicating the aspectual structure of formal models of programs is proposed. We construct and analyze formal technologies (architecture schools) for designing technologies that comprise a mathematical basis for model-driven engineering.
@article{FPM_2014_19_3_a4,
author = {S. P. Kovalyov},
title = {Category-theoretic approach to software systems design},
journal = {Fundamentalʹna\^a i prikladna\^a matematika},
pages = {111--170},
publisher = {mathdoc},
volume = {19},
number = {3},
year = {2014},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/FPM_2014_19_3_a4/}
}
S. P. Kovalyov. Category-theoretic approach to software systems design. Fundamentalʹnaâ i prikladnaâ matematika, Tome 19 (2014) no. 3, pp. 111-170. http://geodesic.mathdoc.fr/item/FPM_2014_19_3_a4/