Diagrammatic Description of Software Systems Composition

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.