Category-Theoretic Approach to Software Systems Design
- 作者: Kovalyov S.1
-
隶属关系:
- Institute for Control Problems, Russian Academy of Sciences
- 期: 卷 214, 编号 6 (2016)
- 页面: 814-853
- 栏目: Article
- URL: https://journals.rcsi.science/1072-3374/article/view/237513
- DOI: https://doi.org/10.1007/s10958-016-2814-1
- ID: 237513
如何引用文章
详细
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.
作者简介
S. Kovalyov
Institute for Control Problems, Russian Academy of Sciences
编辑信件的主要联系方式.
Email: kovalyov@nm.ru
俄罗斯联邦, Moscow