Development of an approach to using a style in software engineering

Abstract

Розроблено пiдхiд керованого онтологiєю застосування сти-лiв в iнженерiї програмного забезпечення. Сутнiсть пiдхо-ду полягає у використаннi онтологiї не тiльки для представ-лення стилiв, но також для контролю застосування стилiв пiд час створення i супроводження програмного забезпечення. При цьому, для представлення стилю створюється вiдповiд-на онтологiя та засоби пiдтримки розробника, а для контро-лю застосування стилю в робочих продуктах фаз життєвого циклу програмного забезпечення створюються засоби (ризо-нери) на основi онтологiчної бази знань. За представленням у дескриптивнiй логiкi база знань мiстить двi складовi – термi-нологiчну (TBox) та фактичну (ABox). Перша складова ство-рюється заздалегiдь, шляхом виконання доменного аналiзу. Друга складова створюється пiд час аналiзу представлення вiдповiдного робочого продукту.З метою типiзацiї, в контекстi пiдходу, що розроблено, створено шаблони стилю онтологiї ядра iнженерiї програм-ного забезпечення, шляхом аналiзу поняття стилю в рiзних доменах. Сформульованi основнi характеристики стилю як доменне незалежного поняття, якi представлено в шаблонах. При цьому, для обрання кiлькостi шаблонiв, що необхiднi для представлення стилю, застосовано паттерн Work Product Pattern Application з Unified Foundational Ontology. Паттерн описує дiї, що можуть iснувати вiдносно стилю робочого про-дукту (Work product). Розглянуто приклад реалiзацiї пiдходу, шляхом дослiджен-ня запропонованого методу, керованого онтологiєю засто-сування стилю програмування в iнженерiї програмного забезпечення та архiтектури засобу, що його реалiзує. З застосуванням Protege показано побудову онтологiї стиля програмування i асистування програмiсту. Розроблено i реалi-зовано архiтектуру засобу контролю застосування стилю в робочому продуктi фази конструювання – текстi програ-ми. Основу архiтектури складає база знань про вiдповiдний стиль. Термiнологiчна складова бази знань мiстить iнформа-цiю вiдносно мов i стилю програмування i створюється заз-далегiдь розробником онтологiї. Фактична складова ство-рюється ризонером для кожного представлення робочого продукту – тексту програми.Засоби, що створено в контекстi запропонованого пiдходу, автоматизують процеси, якi мають мiсце пiд час застосуван-ня стилiв в робочих продуктах фаз життєвого циклу програм-ного забезпечення