|
Formal axiomatic approach to aspect-oriented extension of programming technologies
S. P. Kovalyov Institute of Control Problem, Russian Academy of Sciences, 65 Profsoyuznaya Str., Moscow 117997, Russian
Federation
Abstract:
The procedure of extending modular software systems design technologies by aspect-oriented techniques is considered. The extension is described as enrichment of formal module models by labeling their interfaces by concerns they handle which comprise aspect structure. A novel approach to separation of concerns based on the natural modularizing aspect structure is proposed. Partial modularization of the aspect structure is proposed to generalize this approach. In order to formalize these constructs at the general systems level independently of particular programming paradigms, the category theory is employed. Software engineering technologies are represented as categories with formal models of programs as objects and technological operations as morphisms. The aspect-oriented extension of the technology is axiomatically described as a functor between such categories that has appropriate right and left adjoints. The event-based approach to system modeling is employed as an illustrative case of the aspect-oriented extension.
Keywords:
aspect-oriented programming; traceability; category theory; architecture school; separation of concerns.
Received: 25.08.2014
Citation:
S. P. Kovalyov, “Formal axiomatic approach to aspect-oriented extension of programming technologies”, Inform. Primen., 9:1 (2015), 55–69
Linking options:
https://www.mathnet.ru/eng/ia356 https://www.mathnet.ru/eng/ia/v9/i1/p55
|
Statistics & downloads: |
Abstract page: | 233 | Full-text PDF : | 93 | References: | 38 | First page: | 4 |
|