Category-Theoretic Approach to Software Systems Design
- Autores: Kovalyov S.1
-
Afiliações:
- Institute for Control Problems, Russian Academy of Sciences
- Edição: Volume 214, Nº 6 (2016)
- Páginas: 814-853
- Seção: Article
- URL: https://journals.rcsi.science/1072-3374/article/view/237513
- DOI: https://doi.org/10.1007/s10958-016-2814-1
- ID: 237513
Citar
Resumo
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.
Palavras-chave
Sobre autores
S. Kovalyov
Institute for Control Problems, Russian Academy of Sciences
Autor responsável pela correspondência
Email: kovalyov@nm.ru
Rússia, Moscow