ONTOLOGY-DRIVEN PROGRAMMING STYLE ASSISTANT
Keywords:
Software engineering, programming, programming style, ontology, Protégé.Abstract
Programming style is the set of guidelines, and practices, applicable to a specific language, that are used while writing the source code and which are intended to introduce the universal look and feel of the code, improve understandability of the code and assist software engineers to not introduce more mistakes while writing code. Programming styles are different for different languages.
To develop the ontology, one must first perform the extensive research on the topic, basically a domain analysis on the problem, identify the main concepts of programming styles, build a hierarchy of them and define the relationship between the concepts and their members. Ontology-driven programming style assistant was developed with the help of Protégé. Ontology reasoning is a process in any ontology development to ensure that the ontology is of high-quality and does not contain any contradictory relations.
For programming styles ontology was choice HermiTreasoner, because it proved to be one of the fastest, reliable and widely used reasoners in the current state of things in the ontological domain.Protégé tool also automatically collects metrics about the ontologies, which are mostly concerning the numbers of class axioms, object property axioms and other important numbers.Ontology development using modern software tools is one of the key problems ontology domain. It is important that the users are able to create ontologies with ease and operate with description logic expressivity in the very clear and concise manner.
References
Sidorov N.A. Software stylistics [текст] /Sidorov N.A.// Proc. of the National Aviation University, 2005. – №2. – C.98–103.
Railich V., Wilde N. et. al. Software cultures and evolution Computer. – 2001, Sept. – Р. 25 – 28.
Sidorova N. N. Programming styles taxonomy [текст] /Sidorova N. N.// Наук. журнал "Kомп’ютерно-інтегровані технології: освіта, наука, виробництво" – Луцьк.: Луцький національний технічний університе, № 19.– 2015.– C. 79–85.
Sidorova N. Ontology-Driven Method Using Programming Styles [текст] / Sidorova N. // Інженерія програмного забезпечення. – 2015. – № 2 (22). – С. 19 – 28.
C# Coding Standard, Version 2.0, Philips Healthcare, 2009. – 57р.
Grants E.S. Roadmap to a DO-178C Formal Model – Based Software Engineering Methodology // Proc. of the Intern. Multiconf. Of Eng.Comp. Sci. – V.1, IMECS. – March, 2015. – 6p.
Sidorov N., Sidorova N. Programming style ontology-driven tools.[текст]/ Sidorova N., Sidorova N. // Programmable logic integrated circuits and microprocessorteehnignein education and manufacturing. Abstr. of the Intern. Scient. and Pract. Workshop Young Scientists and Students. – Луцьк. – 28-29.04.2016. – P.100 – 101.
The description logic handbook Theory, implementation, and applications, Ed. by F. Baader, Cambridge University Press. – 2003. – 320 р.
Sidorova N.M. Тhe programming style ontology assistant // Тези доповідей Міжнародної науково-практичної конференції аспірантів і студентів"Інженерія програмного забезпечення – 2016" . – Київ. – 2016. – P. 16.
S. Abburu. A Survey on Ontology Reasoners and Comparison // International Journal of Computer Applications (0975 – 8887), Volume 57– No.17, November 2012.
