Керований онтологіею інструмент для застосування стилей програмування

Nikolay Sidorov, Nika Sidorova, Alexander Pirog

Анотація


Діяльність програміста буде більш ефективною, а програмне забезпечення зрозумілим коли при створенні програмного забезпечення застосовуються стилі (стандарти) програмування, які забезпечують зрозумілість програмних текстів. Мета: В цьому дослідженні представлено засіб для реалізації нового методу, який застосовує онтології і автоматизує процеси використання стилів програмування. Зокрема розглядається представлення стандартів в формі онтології і застосування ризонеру дескриптивної логіки для програміста. Метою статті є розробка засобу для підтримки керованого онтологією застосування стилів програмування. Методи дослідження: онтологічне представлення стилів програмування; об’єктно-орієнтоване програмування; кероване онтологією застосування стилів програмування. Результати: отримано архітектуру та мовою Java реалізовано засоби які забезпечують інструментальну підтримку методу керованого онтологією застосування стилів програмування. На прикладі іменування стандарту програмування мови Java надано особливості реалізації і застосування засобу. Обговорення: Застосування стандартів програмування при конструюванні програмного забезпечення, відсутність засобів автоматизації процесів застосування стандартів програмування, засіб на основі нового методу керованого онтологією застосування стилів програмування, приклад реалізації архітектури засобу для іменувань стандарту мови Java.


Ключові слова


дескриптивна логіка; інженерія програмного забезпечення; онтологія; програмування; ризонер; стандарт кодування; стиль програмування

Посилання


Sidorov M.O., (2007) Software engineering, Kyiv, NAU, 135p. (In English)

Sidorov N.A., (2005) Software stylistics. Proc. of the National Aviation University, no.2, pp.98-103. doi: 10.18372/2306-1472.24.1152

Philips Healthcare (2009) Philips Healthcare – C# Coding Standard, Philips Healthcare, p. 57.

Blake J., Cirtis P. (2007) CERT C Programming Language Secure Coding Standard Document N1255, Carnegie Mellon University, 488 p.

ESA BSSC (2005) Java Coding Standards, Prepared by: ESA Board for Software Standardization and Control, Issue 1.0, PARIS CEDEX, France, 113p.

Rosen J-P. (2008) A comparison of industrial coding rules. Ada User Journal, vol. 29, no. 4, pp. 1-5.

Stallman R. (2016) GNU Coding Standards, July 25, pp.80.

Coding Standards in the Real World http://submain.com/codeit.rigth

Sidorova N.N. (2015) Ontology-driven method using programming styles, Software engineering, no.2 (22), pp 19-29. (In English)

Haijie Z. (2009) Developing a System to Help Programmers Achieve a Good Coding Style [A dissertation submitted in partial fulfillment of the requirements of Dublin Institute of Technology for the degree of M.Sc. in Computing (Information Technology)], Dublin, 124 p.

Levinson H. L., Librizzi R. M. (2013) Using Software Development Tools and Practices in Acquisition, Technical note CMU/SEI-2013-TN-017, Carnegie Malone University, Software Engineering Institute, 28p.

Sidorov N.A., Sidorova N.N. (2016) [Programming style ontology-driven tools]. Abstracts of the International Scientific and Practice Seminar for Young Scientists and Students, Луцьк – НТУ, с.100. (In English)

Black P. (2009) Static Analyzers in Software Engineering, CrossTalk, The Journal of Defense Software Engineering 16-17 March-April, Software Engineering, pp. 1617,

Protégé at: http://protege.stanford.edu/

Dentler K., Cornet R., Teije A., Keizer N. Comparison of Reasoners for large Ontologies in the OWL 2 EL Profile at: http://www.semantic-web-journal.net/sites/default/files/swj120_2.pdf

Baader F., Calvanese D., McGuinness D., Nardi D., Patel-Schneider P.F. (2003) The Description Logic Handbook, Cambridge University Press, 320р.

OWL API at: http://owlapi.sourceforge.net/

Java API Specifications, at: http://www.oracle.com/technetwork/java/api-141528.html


Повний текст: PDF

Посилання

  • Поки немає зовнішніх посилань.


ISSN 2306-1472 (Online), ISSN 1813-1166 (Print)

Передплатний індекс 86179

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

Ulrich's Periodicals DirectoryIndex CopernicusDOAJSSMРИНЦWorldCatCASCrossRefBASEDRIVERНаціональна бібліотека ім. ВернадськогоНауково-технічна бібліотека НАУ