ONTOLOGY-DRIVEN TOOL FOR UTILIZING PROGRAMMING STYLES
Journal Title: Вісник Національного Авіаційного Університету - Year 2017, Vol 71, Issue 2
Abstract
Activities of a programmer will be more effective and the software will be more understandable when within the process of software development, programming styles (standards) are used, providing clarity of software texts. Purpose: In this research, we present the tool for the realization of new ontology-based methodology automated reasoning techniques for utilizing programming styles. In particular, we focus on representing programming styles in the form of formal ontologies, and study how description logic reasoner can assist programmers in utilizing programming standards. Our research hypothesis is as follows: ontological representation of programming styles can provide additional benefits over existing approaches in utilizing programmer of programming standards. Our research goal is to develop a tool to support the ontologybased utilizing programming styles. Methods: ontological representation of programming styles; objectoriented programming; ontology-driven utilizing of programming styles. Results: the architecture was obtained and the tool was developed in the Java language, which provide tool support of ontology-driven programming styles application method. On the example of naming of the Java programming language standard, features of implementation and application of the tool are provided. Discussion: application of programming styles in coding of program; lack of automated tools for the processes of programming standards application; tool based on new method of ontology-driven application of programming styles; an example of the implementation of tool architecture for naming rules of the Java language standard.
Authors and Affiliations
Nikolay Sidorov, Nika Sidorova, Alexander Pirog
INVESTIGATION OF INTERFERENCE INFLUENCE OF BLADE ROWS ON LOSSES IN AXIAL COMPRESSOR STAGE
Purpose: the purpose of this work is to investi gate the total pressure losses in the input guide vane s, in the rotor wheel and the guide vanes of the axial compressor stage ta king into account their gas-dynamic int...
FEATURES OF CLIMATE CHANGE ON UKRAINE: SCENARIOS, CONSEQUENCES FOR NATURE AND AGROECOSYSTEMS
Purpose: The aim of this study is to investigate the basic features of climate change in Ukraine at 20th–21st centuries and to obtain an estimation of possible regional ecological consequences under influence of global w...
COMPLETE SEPARATION OF THE VERTICAL AND HORIZONTAL INDEPENDENT COMPONENTS OF THE FLIGHT IN POLICOPTER UAV NAU PKF "AURORA" AND MATHEMATICAL MODEL OF THIS FLIGHT
Purpose: This article presents a mathematical model and the experimental results of automatic flights of the policopter UAV NAU PKF "Aurora" of oktacopter scheme with additional elektroimpeler engines of horizontal thrus...
METHOD FOR OPTIMAL RESOLUTION OF MULTI-AIRCRAFT CONFLICTS IN THREE-DIMENSIONAL SPACE
Purpose: The risk of critical proximities of several aircraft and appearance of multi-aircraft conflicts increases under current conditions of high dynamics and density of air traffic. The actual problem is a development...
REMOTELY PILOTED AIRCRAFT SYSTEMS OPERATIONS UNDER UNCERTAINTY CONDITIONS
The article deals with the analysis of the research conducted in the field of influence of uncertainty fac- tors on remotely piloted aircraft systems operations. We revi ewed the models suitable for estimation of uncerta...