Керований онтологіею інструмент для застосування стилей програмування
DOI:
https://doi.org/10.18372/2306-1472.71.11751Ключові слова:
дескриптивна логіка, інженерія програмного забезпечення, онтологія, програмування, ризонер, стандарт кодування, стиль програмуванняАнотація
Діяльність програміста буде більш ефективною, а програмне забезпечення зрозумілим коли при створенні програмного забезпечення застосовуються стилі (стандарти) програмування, які забезпечують зрозумілість програмних текстів. Мета: В цьому дослідженні представлено засіб для реалізації нового методу, який застосовує онтології і автоматизує процеси використання стилів програмування. Зокрема розглядається представлення стандартів в формі онтології і застосування ризонеру дескриптивної логіки для програміста. Метою статті є розробка засобу для підтримки керованого онтологією застосування стилів програмування. Методи дослідження: онтологічне представлення стилів програмування; об’єктно-орієнтоване програмування; кероване онтологією застосування стилів програмування. Результати: отримано архітектуру та мовою 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
Downloads
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Автори, які публікуються у цьому журналі, погоджуються з такими умовами:- Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.
- Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати у складі монографії), за умови збереження посилання на першу публікацію роботи у цьому журналі.
- Політика журналу дозволяє і заохочує розміщення авторами в мережі Інтернет (наприклад, у сховищах установ або на особистих веб-сайтах) рукопису роботи, як до подання цього рукопису до редакції, так і під час його редакційного опрацювання, оскільки це сприяє виникненню продуктивної наукової дискусії та позитивно позначається на оперативності та динаміці цитування опублікованої роботи (див. The Effect of Open Access).
