Diagrammatic Description of Software Systems Composition
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 12 (2012) no. 3, pp. 103-126
Voir la notice de l'article provenant de la source Math-Net.Ru
Category-theoretic approach to formalization of software systems development processes that allows describing many familiar programming technologies in a uniform manner is presented. The construction of architecture school coined by J. C. Fiadeiro et al is employed as a starting point in developing the approach. Certain classes of architecture school encountered in practical programming are identified. A number of system synthesis tasks described and investigated by means of category theory. Those include applying integration patterns, architecture mining, choosing appropriate integration interfaces, paralleling, componentwise refinement of systems, developing custom system composition technologies. It is argued that every system composition act is combined from three tricks: loading, substituting, and gluing.
Keywords:
system integration, category of diagrams, architecture school, architecture mining, mereology.
@article{VNGU_2012_12_3_a8,
author = {S. P. Kovalyov},
title = {Diagrammatic {Description} of {Software} {Systems} {Composition}},
journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
pages = {103--126},
publisher = {mathdoc},
volume = {12},
number = {3},
year = {2012},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VNGU_2012_12_3_a8/}
}
S. P. Kovalyov. Diagrammatic Description of Software Systems Composition. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 12 (2012) no. 3, pp. 103-126. http://geodesic.mathdoc.fr/item/VNGU_2012_12_3_a8/