Sydorova N. The ontology-driven method of using programming styles.

The purpose of the study is to solve an important scientific and practical problem of applying programming styles in the development, maintenance and research of software, given the current state of software engineering. The main results obtained by the applicant are as follows: for the first time, a method of ontology-driven application of programming styles has been proposed. Its essence is to use an ontology to represent programming styles when designing programs by creating ontologies, as well as solving tasks of assisting software engineer and controlling the application of programming style in the source text of the program; for the first time, by analyzing the concept of style in various domains, formulating the main characteristics of the style as a domain-independent concept and applying the Work Product Pattern Application with Unified Foundational Ontology, which describes the actions existing in relation to Work product, the ontology pattern of the style core was developed; for the first time, the architecture of the tool of ontology-driven application of programming styles has been proposed. The basis of the architecture is the knowledge base, which according to the descriptive logic contains a terminological component (TBox), which is created in advance by performing a domain analysis, and the actual component (ABox), which is created when analyzing the source text of a program.