Geodesic
Diagrammatic Description of Software Systems Composition
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 12 (2012) no. 3, pp. 103-126 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

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},
     year = {2012},
     volume = {12},
     number = {3},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2012_12_3_a8/}
}
TY  - JOUR
AU  - S. P. Kovalyov
TI  - Diagrammatic Description of Software Systems Composition
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2012
SP  - 103
EP  - 126
VL  - 12
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/VNGU_2012_12_3_a8/
LA  - ru
ID  - VNGU_2012_12_3_a8
ER  - 
%0 Journal Article
%A S. P. Kovalyov
%T Diagrammatic Description of Software Systems Composition
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2012
%P 103-126
%V 12
%N 3
%U http://geodesic.mathdoc.fr/item/VNGU_2012_12_3_a8/
%G ru
%F 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/

[1] Dal U., Deikstra E., Khoor K., Strukturnoe programmirovanie, Mir, M., 1975 | MR

[2] Buch G., Ob'ektno-orientirovannyi analiz i proektirovanie s primerami prilozhenii na C++, 2-e izd., Binom, M.; Nevskii dialekt, SPb., 1999

[3] Kiczales G. et al., “Aspect-Oriented Programming”, Lecture Notes in Computer Sci., 1241, 1997, 220–242 | DOI

[4] Frankel D. S., Model Driven Architecture: Applying MDA to Enterprise Computing, Wiley and Sons, N.Y., 2003

[5] Maklein S., Kategorii dlya rabotayuschego matematika, Fizmatlit, M., 2004

[6] Sommervill I., Inzheneriya programmnogo obespecheniya, 6-e izd., Vilyams, M., 2002

[7] Fiadeiro J. L., Lopes A., Wermelinger M., “A Mathematical Semantics for Architectural Connectors”, Lecture Notes in Computer Sci., 2793, 2003, 190–234

[8] Pinto M., Fuentes L., Troya J. M., “DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development”, Lecture Notes in Computer Sci., 2830, 2003, 118–137 | DOI

[9] Gamma E., Khelm R., Dzhonson R., Vlassides Dzh., Priemy ob'ektno-orientirovannogo proektirovaniya. Patterny proektirovaniya, Piter, SPb., 2001

[10] Lopes A., Fiadeiro J. L., “Revisiting the Categorical Approach to Systems”, Lecture Notes in Computer Sci., 2422, 2002, 426–440 | DOI | MR

[11] Allen R. J., Garlan D., “A Formal Basis for Architectural Connection”, ACM Trans. on Software Engineering and Methodology, 6:3 (1997), 213–249 | DOI

[12] Adámek J., Herrlich H., Strecker G., Abstract and Concrete Categories, Wiley and Sons, N.Y., 1990 | MR

[13] Bednarczyk M. A., Borzyszkowski A. M., Pawlowski W., Epimorphic Functors, Institute of Computer Science, Gdansk, 2007 http://www.ipipan.gda.pl/andrzej/papers/categ-ipi.ps.gz

[14] Guitart R., van den Bril L., “Décompositions et Lax-complétions”, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 18:4 (1977), 333–407 | MR | Zbl

[15] Sannella D., “A Survey of Formal Software Development Methods”, Software Engineering: A European Prospective, IEEE Computer Society Press, 1993, 281–297

[16] Kovalëv S. P., “Aspektno-orientirovannyi podkhod k proektirovaniyu sistem monitoringa krupnomasshtabnykh ob'ektov”, Problemy informatiki, 2009, no. 3(4), 5–18 | MR

[17] Kovalëv S. P., “Formalnyi podkhod k aspektno-orientirovannomu modelirovaniyu stsenariev”, Sib. zhurn. industr. matematiki, 13:3 (2010), 30–42 | MR | Zbl

[18] Sorensen I., “Yazyk spetsifikatsii”, Trebovaniya i spetsifikatsii v razrabotke programm, Mir, M., 1984, 223–239

[19] Carboni A., Janelidze G., Kelly G. M., Paré R., “On Localization and Stabilization for Factorization Systems”, Applied Categorical Structures, 5 (1997), 1–58 | DOI | MR | Zbl

[20] Hanenberg S., Unland R., “Roles and Aspects: Similarities, Differences, and Synergetic Potential”, Lecture Notes in Computer Sci., 2425, 2002, 507–520 | DOI | Zbl

[21] Le D. T. M., Janicki R., “A Categorical Approach to Mereology and its Application to Modelling Software Components”, Lecture Notes in Computer Sci., 5084, 2008, 146–174 | DOI | MR | Zbl