PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Системи збереження даних для ІТ інфраструктури
Get PDFA review of modern data storage architectures was conducted, the advantages and disadvantages of each of them were given. The data storage systems of the IBM FlashSystem family were analyzed, as well as Spectrum Virtualize software, which is responsible for virtualization, compression, distribution and replication of data stored on the storage system. A mathematical model of the data storage system of IBM Storwize v5030E was developed. Well-known metrics are used to evaluate its performance when using spindle and solid-state drives. The effect of hardware and software data compression on system performance has been experimentally revealed. Recommendations are formulated by which it is possible to determine which media and which technology stack should be used by a business user to complete the tasks assigned to him.Problems in programming 2020; 2-3: 82-93Проведен обзор современных архитектур хранения данных, были приведены преимущества и недостатки каждой из них. Проанализированы системы хранения данных семейства IBM FlashSystem, а также программного обеспечения Spectrum Virtualize которое отвечает за виртуализацию, компрессию, распределения и репликацию данных, которые хранятся на системе хранения. Разработана математическая модель системы сохранения данных компании IBM Storwize v5030E. Применены известные метрики для оценки её производительности при использовании шпиндельных и твердотельных накопителей. Экспериментально выявлено влияние аппаратной и программной компрессии данных на быстродействие системы. Сформулированы рекомендации по которым можно определить какие носители и какой стек технологий следует использовать бизнес-пользователю для выполнения поставленных перед ним задач.Problems in programming 2020; 2-3: 82-93Проведено огляд сучасних архітектур збереження даних, було наведено переваги та недоліки кожної з них. Проаналізовано системи збереження даних сімейства IBM FlashSystem, а також програмного забезпечення Spectrum Virtualize, яке відповідає за віртуалізацію, компресію, розподілення та реплікацію даних які зберігаються на системі збереження. Розроблено математичну модель системи збереження даних компанії IBM Storwize v5030E. Застосовано відомі метрики для оцінки її продуктивності при використанні шпиндельних та твердотільних накопичувачів. Експериментально виявлено вплив апаратної та програмної компресії даних на швидкодію системи. Сформульовано рекомендації за якими можна визначити, які носії та який стек технологій слід використовувати бізнес-користувачу для виконання поставлених перед ним завдань.Problems in programming 2020; 2-3: 82-93
Моделі паралельної програми, що працює в середовищі, обмеженому ресурсами
No full textThe paper considers concurrent program modeling using resource constrained automatons. Several software samples are considered: real time operational systems, video processing including object recognition, neural network inference, common linear systems solving methods for physical processes modeling. The source code annotating and automatic extraction of program resource constraints with the help of profiling software are considered, this enables the modeling for concurrent software behavior with minimal user assistance.Problems in programming 2020; 2-3: 149-156В работе рассмотрено моделирование параллельных программ с помощью автоматов с ресурсными ограничениями. Рассмотрен ряд примеров программ: операционные системы реального времени, обработка видео и распознавание образоив в видеопотоке, вывод в нейросетях, типовые методы решения систем линейных уравнений для моделирования физических процессов. Рассмотрено аннотирование исходного кода и автоматическое получение ресурсных ограничений программы с помощью программ-профилировщиков, что позволяет моделировать поведение параллельно программы с минимальной помощью пользователя.Problems in programming 2020; 2-3: 149-156У роботі розглянуто моделювання паралельних програм за допомогою автоматів з ресурсними обмеженнями. Розглянуто певні приклади програм: операційні системи реального часу, обробка відео та розпізнавання образів у відеопотоці, вивід у нейромережах, типові методи розв’язку систем лінійних рівнянь для моделювання фізичних процесів. Розглянуто анотування вихідного коду та автоматичне отримання ресурсних обмежень програми за допомогою програм-профайлерів, що дозволяє моделювати поведінку паралельної програми з мінімальною допомогою користувача.Problems in programming 2020; 2-3: 149-15
Онтологічні методи і інструменти для семантичного розширення технології медіа-WIKI
No full textPractical aspects of ontological approach to organization of intelligent Wiki-based information resources (IR) are considered. We analyze the main features, capabilities and limitations of MediaWiki as a technological platform for development of the Web-based information resource and suggest main directions of its refinement. We propose an abstract model of MediaWiki architecture that formalizes relations between the main components of this software environment and analyze the ways of its semantic extensions based on ontological representation of domain knowledge. An original algorithm of semantic Wiki pages matching with domain ontology is developed. We propose an ontological model of IR that formalizes its knowledge base structure and explicitly performs main features of typical information objects (TIO) of this IR. Such TIOs depend on domain specifics and purposes of IR, therefore their development has to involve domain experts and knowledge engineers. Use of ontology corresponding to the set of Wiki pages (either with semantic markup or without it) provides new IR functions associated with semantic search and navigation. Other important aspect of intelligent Wiki resource development deals with adaptation of user interface to the specifics of IR: enabling various tools of navigation, visualization and content analysis by processing of TIO features enriches IR functionality, reduces access time to information and makes usage of IR more efficient. Developing additional MediaWiki functionality with new requests to the MediaWiki API using TIO templates, extends data analysis and integration capabilities, and offers different, user-focused, IR content views expands the possibilities of data integration and proposes various user-oriented representations of IR content. Wiki resource semantization allows the use knowledge acquired from such IR by external application, or example, by search engines for intelligent Web retrieval. Domain ontologies based on various subsets of the Wiki pages and generated by them thesauri can be used by various Semantic Web applications, both independently or in general technological chain for personified retrieval focused on individual users and their tasks. Approbation of this approach is demonstrated by MAIPS retrieval system. We consider the use semantic similarity of concepts represented by Wiki-pages of IR as an additional way of intelligent navigation between these pages. Such approach allows to group Wiki pages according to user interests by different aspects of their content and structure. Wiki ontologies are considered as the basis for estimation of semantic similarity between domain concepts pertinent to user task. Such elements of Wiki ontology as classes, property values of class instances and relations between them are used as parameters for the quantitative assessment of semantic similarity of Wiki pages. We propose to use local similarity and generate the sets of semantically similar concepts (SSC) that takes into account some subset of page properties and categories defined by user needs. Such sets of SSCs can be considered as user task thesauri for other applications. In addition, we propose to enrich the basic tools of MediaWiki used for access management to the IR content with specialized software code that performs content classification that take into consideration separate namespaces, categories, templates and semantic properties of TIO acquired from Wiki markup. We demonstrate the software implementation of proposed solutions by developing of portal version of the Great Ukrainian Encyclopedia (e-VUE) that contains heterogeneous multimedia content with complex structure. We analyze the specifics of e-VUE knowledge system and develop its formalized TIO representation based on Semantic Web technologies and ontological analysis. Ontological model of e-VUE and original methods of its processing used for this project extend the functionality of the portal in the area of search, navigation, integration and protection of content based on background domain knowledge. In addition, original user interface of e-VUE is developed with an allowance for Encyclopedia knowledge specifics, substantially differs from the standard Wiki, meets the requirements, goals and objectives of this IR and provides a lot of additional features.Prombles in programming 2020; 2-3: 61-73Рассмотрены практические аспекты онтологического подхода к организации интеллектуальных информационных ресурсов (ИР) на основе Wiki. Проанализированы основные функции, возможности и ограничения MediaWiki как технологической платформы для разработки Web-ориентированных ИР и предложены основные направления ее усовершенствования. Мы используем онтологический подход к управлению знаниями ИР и предлагаем оригинальные алгоритмы сопоставления Wiki-страниц и онтологии предметной области (ПрО). Онтологическая модель ИР формализует структуру его базы знаний и явным образом представляет основные свойства типичных информационных объектов (ТИО) этого ИР. Семантизация Wiki-ресурса позволяет использовать знания, извлеченные из ИР, для интеллектуального поиска в Web внешними поисковыми системами. Онтологии ПрО, построенные на основе различных наборов Wiki-страниц такого ИР, и тезаурусы задач, генерируемые по этим онтологиям, могут использоваться различными приложениями Semantic Web как самостоятельно, так и в составе технологического цепочки для персонифицированного поиска. Кроме того, мы предлагаем обогатить основные инструменты управления доступом MediaWiki к контенту Wiki-ресурса специализированным программным кодом, который выполняет классификацию этого контента с использованием отдельных пространств имен, категорий, шаблонов и семантических свойств TИO, извлеченных из Wiki-разметки.Мы демонстрируем программную реализацию предложенных решений на примере портальной версии Большой украинской энциклопедии (e-VUE), которая содержит гетерогенный мультимедийный контент со сложной структурой. Онтологическая модель e-VUE и методы ее обработки обеспечивают расширение функциональности портала в сфере поиска, навигации, интеграции данных и защиты информации на основе фоновых знаний ПрО. e-VUE имеет оригинальный пользовательский интерфейс, который существенно отличается от стандартного Wiki, соответствует требованиям, задачам и целям энциклопедического издания и предоставляет пользователям портала дополнительные функции.Prombles in programming 2020; 2-3: 61-73Розглянуто практичні аспекти онтологічного підходу до організації інтелектуальних інформаційних ресурсів (IР) на основі Wiki. Проаналізовано основні функції, можливості та обмеження MediaWiki як технологічної платформи для розробки Web-орієнтованих ІР та запропоновано основні напрямки її вдосконалення. Ми пропонуємо абстрактну модель архітектури MediaWiki, яка формалізує відношення між основними компонентами цього програмного середовища, та аналізуємо шляхи її семантичного розширення на основі онтологічного подання знань. Ми використовуємо онтологічний підхід до управління знаннями ІР та пропонуємо оригінальні алгоритми співставлення Wiki-сторінок та онтології предметної області (ПрО) . Онтологічна модель ІР формалізує структуру його бази знань і явно подає основні властивості типових інформаційних об'єктів (ТІО) цього ІР.Вдосконалення засобів навігації, візуалізації та аналізу контенту шляхом обробки TIO збагачує функціональність ІР. Розробка додаткового функціоналу MediaWiki за допомогою запитів до MediaWiki API, які використовують шаблони TIO, розширює можливості аналізу та інтеграції даних і пропонує орієнтоване на користувача подання контенту ІР. Семантизація Wiki-ресурсу дозволяє використовувати знання, що здобуваються з нього, іншими застосуваннями, наприклад, для інтелектуального пошуку у Web зовнішніми пошуковими системами. Ми пропонуємо використовувати семантичну подібність понять для інтелектуальної навігації між сторінками ІР. Wiki-онтології використовуються як основа для оцінки семантичної подібності між поняттями ПрО відповідно до задач користувача. Ми пропонуємо використовувати локальну подібність та генерувати набори семантично подібних понять (СПП), приймаючи до уваги тільки визначену користувачем підмножину їх властивостей та категорій відповідно до його інформаційних потреб. Ми демонструємо програмну реалізацію запропонованих рішень на прикладі розробки портальної версії Великої української енциклопедії (e-VUE), що містить гетерогенний мультимедійний контент зі складною структурою. Онтологічна модель e-VUE та методи її обробки, що використовуються для цього проекту, забезпечують розширення функціональності порталу в сфері пошуку, навігації, інтеграції даних та захисту інформації на основі фонових знань ПрО. Крім того, e-VUE має оригінальний користувацький інтерфейс, який суттєво відрізняється від стандартного Wiki, відповідає вимогам, задачам та цілям енциклопедичного видання і надає користувачам порталу додаткові функції.Prombles in programming 2020; 2-3: 61-73
Автоматизовані методи оцінки когерентності україномовних текстів з використанням методології машинного навчання
Get PDFThe main methods of coherence evaluation of texts with the usage of different machine learning techniques have been analyzed. The principles of methods with the usage of recurrent and convolutional neural networks have been described in details. The advantages of a semantic similarity graph method have been considered. Other approaches to perform the vector representation of sentences for the estimation of semantic similarity between the elements of a text have been suggested to use. The experimental examination of methods has been performed on the set of Ukrainian scientific articles. The training of recurrent and convolutional networks with the usage of early stopping has been performed. The accuracy of the solving of document discrimination and insertion tasks has been calculated. The comparative analysis of the results obtained has been performed.Problems in programming 2020; 2-3: 295-303Проанализированы основные методы оценки когерентности текстов с использованием различных технологий машинного обучения. Детально описаны принципы работы методов с использованием рекуррентной и сверточной нейронных сетей, рассмотрены их преимущества и недостатки. Обосновано целесообразность использования метода графа семантического сходства в сравнении с другими методами. Предложено использование других подходов векторного представления предложений для расчета меры семантического сходства элементов текста. Проведена экспериментальная проверка методов на множества украиноязычных научных статей, осуществлено обучение моделей семантического представления слов и предложений. Исполнено обучение рекуррентной и сверточной нейронных сетей с использованием метода ранней остановки. Посчитана точность решения задач различения документов и вставки для методов, осуществлен сравнительный анализ полученных результатов. Problems in programming 2020; 2-3: 295-303 Проаналізовано основні методи оцінки когерентності текстів з використанням різних технологій машинного навчання. Детально описано принципи роботи методів з використанням рекурентної та згорткової нейронних мереж, розглянуто їх переваги та недоліки. Обґрунтовано доцільність використання методу графу семантичної схожості порівняно з іншими методами. Запропоновано використання інших підходів векторного представлення речень для розрахунку міри семантичної схожості елементів тексту. Проведено експериментальну перевірку проаналізованих методів на множині україномовних наукових статей, здійснено навчання моделей семантичного представлення слів та речень. Виконано навчання рекурентної та згорткової нейронних мереж з використанням методу раннього зупину. Обраховано точність вирішення задач розрізнення документів та вставки для проаналізованих методів, здійснено порівняльний аналіз отриманих результатів.Problems in programming 2020; 2-3: 295-30
Дескриптивна модель екосистеми стилю програмування
No full textIn the process of developing and maintaining a software product, many things are created and used that are called software artefacts. Software artifacts are changed, reused, and change relationships in the development and maintenance processes of a software product. The complexity and variety of software artifact relationships require adequate means of description and management. They may be a software artifact ecosystem. In the article, for the first time, a concept of a software artifact ecosystem is proposed. The concept describes a generalized model of the software artifact ecosystem, which is the Cornerstone ecosystem type and consists of three actors – the platform, the software, and the artifact. The roles of actors in the ecosystem are indicated, the relationships between actors are described. As an example, based on the generalized model of the software artifact ecosystem, a declarative model of the programming style ecosystem has been developed.Problems in programming 2020; 2-3: 74-81В процессах разработки и сопровождения программного продукта создается и используется множество вещей, которые называются артефактами программного обеспечения. Артефакты изменяются, повторно используются и меняют связи в процессах разработки и сопровождения программного продукта. Сложность и разнообразие связей артефактов программного обеспечения требуют адекватных средств описания и управления. Ими может быть экосистема артефактов программного обеспечения. В статье, впервые, предлагается концепция экосистемы артефакта программного обеспечения. В рамках концепции описана обобщенная модель экосистемы артефакта программного обеспечения, которая относится к типу Cornerstone и состоит из трех актеров: платформа, программное обеспечение и артефакт. Указаны роли актеров в экосистеме, описаны связи между актерами. Применение концепции показывается на примере экосистемы стиля программирования.Problems in programming 2020; 2-3: 74-81 У процесах розробки і супроводу програмного продукту створюється і використовується безліч речей, які називаються артефактами програмного забезпечення. Артефакти змінюються, повторно використовуються і змінюють зв’язки в процесах розробки і супроводу програмного продукту. Складність і різноманітність зв'язку артефактів програмного забезпечення вимагають адекватних засобів опису та управління. Таким засобом може бути екосистема артефактів програмного забезпечення. У статті, вперше пропонується концепція екосистеми артефакту програмного забезпечення. В рамках концепції описана узагальнена модель екосистеми артефакту програмного забезпечення, яка відноситься до типу Cornerstone і складається з трьох акторів: платформа, програмне забезпечення та артефакт. Вказані ролі акторів в екосистемі, описані зв'язки між акторами. Застосування концепції показується на прикладі екосистеми стилю програмування.Problems in programming 2020; 2-3: 74-8
Криптосистема на основі абелевих груп і кілець
Get PDFA simple encryption system is based on properties of abelian group an associative and commutative rings with unit is proposed. The algorithms with quadratic time complexity and memory complexity are proposed. The examples of using such system and the generalization of this system for using of gomofons are considered. To show how to appear the set of gomofons by natural way is used a simple example of massage. Tab. 5. Ref. 3 titles.Problems in programming 2020; 2-3: 270-277В работе предлагается простая криптосистема на основе свойств абелевых групп и ассоциативно-коммутативных колец с единицей. Приведены алгоритмы с квадратичной временной и квадратичной сложностью по памяти для построения таблиц сложения и умножения для этих алгебр. Рассмотрены примеры использования этой системы, а также ее расширение на случай работы с гомофонами. Показано каким образом естественным путем находятся гомофоны с иллюстрацией их использования на простом примере сообщения. Табл. 5. Библиогр.: 3 назв.Problems in programming 2020; 2-3: 270-277 В роботі пропонується проста криптосистема на основі властивостей абелевих груп та асоціативно-комутативних кілець з одиницею. Приводяться алгоритми побудови таблиць додавання та множення для цих алгебр. Розглянуті приклади використання цієї системи, а також її розширення на випадок роботи з гомофонами. Показано яким чином природним способом знаходяться гомофони з ілюстрацією їх використання на простому прикладі повіломлення. Табл. 5. Бібліогр.: 3 назв.Problems in programming 2020; 2-3: 270-277
Система підтримки прийняття рішень в середовищі електронної демографії
No full textThe article suggests an approach to the development of an electronic demographic decision support system using data warehouse and interactive analytical processing OLAP. This makes it possible to conduct research on demographic processes at a high level and to support decision makers in the field of demography. Due to the presence of many types of demography and a large number of indicators, proposed in the article, a Data Mart Bus Architecture with Linked Dimensional Data Marts is proposed as a Data Warehouse architecture. The article also shows the practical application of this approach using two Data Marts as an example. Based on these Data Marts, OLAP-cubes are built. OLAP operations provide the ability to view cubes in various slices, as well as provide aggregate data.Problems in programming 2020; 2-3: 228-236В статье предложен подход к разработке электронной демографической системы поддержки принятия решений с использованием технологий хранилища данных и интерактивной аналитической обработки OLAP. Это дает возможность проводить исследования демографических процессов на высоком уровне и оказывать поддержку лицам, принимающим решения в области демографии. Из-за наличия множества видов демографии и большого количества индикаторов, предложенных в статье, в качестве архитектуры хранилища данных предлагается шина взаимосвязанных витрин данных. В статье также показано практическое применение данного подхода на примере двух витрин данных. На базе этих витрин данных построены OLAP-кубы. Операции OLAP дают возможность рассматривать кубы в различных срезах, а также предоставляют агрегатные данные.Problems in programming 2020; 2-3: 228-236У статті запропоновано підхід до розробки електронної демографічної системи підтримки прийняття рішень з використанням технологій сховища даних і інтерактивної аналітичної обробки OLAP. Це дає можливість проводити дослідження демографічних процесів на високому рівні і надавати підтримку особам, які приймають рішення в області демографії. Через наявність безлічі видів демографії та великої кількості індикаторів, запропонованих в статті, як архітектури сховища даних пропонується шина взаємопов'язаних вітрин даних. У статті також показано практичне застосування даного підходу на прикладі двох вітрин даних. На базі цих вітрин даних побудовані OLAP-куби. Операції OLAP дають можливість розглядати куби в різних зрізах, а також надають агрегатні дані.Problems in programming 2020; 2-3: 228-23
Про використання особливих структур даних в алгоритмах покриття
No full textThe aim of this work is to increase the efficiency of methods and algorithms for solving the problem of finding coverage. Efficiency is understood as the minimum delay of the procedure that implements this method. To increase the efficiency of the “Columnization” method, a characteristic vector (CV) is introduced into the decision tree construction procedure, obtained by summing the units in columns / rows of the coverage table (CT); it characterizes the current state of the coverage table. The idea of this method is to gradually decompose CT into sub-tables using their reduction according to certain rules. We consider 3 ways to reduce the original table / current sub-tables in the methods: 1) "Border search over a concave set"; 2) "Using the properties of the coverage table"; 3) "The minimum column is the maximum row." In the latter method, CV was used for the first time, which made it possible to accelerate the coating finding procedure up to one and a half times. The complexity estimates for the considered coating methods are calculated; we have: S1 = O (n ^ 3); S2 = O (2 ^ n); S3 = O (n ^ 2), where n is the determining parameter of the coverage problem (number of columns), and the applicability limits of these methods are determined. It is shown that the use of CV in methods 1 and 2 is impractical.Problems in programming 2020; 2-3: 138-148Цель данной работы – это повышение эффективности методов и алгоритмов решения задачи нахождения покрытия. Под эффективностью понимается минимальная задержка процедуры, которая реализует данный метод. Для повышения эффективности метода «Разложение по столбцу» в процедуру построения дерева решения вводится характеристический вектор (ХВ), полученный суммированием единиц в столбцах/строках таблицы покрытия (ТП); он характеризует текущее состояние таблицы покрытия. Идея этого метода состоит в поэтапном разложении ТП на подтаблицы с использованием их сокращения по определённым правилам. Рассматриваются 3 способа сокращения исходной таблицы/текущих подтаблиц в методах: 1) «Граничный перебор по вогнутому множеству»; 2) «Использование свойств таблицы покрытия»; 3) «Минимальный столбец – максимальная строка». В последнем способе впервые применен ХВ, который позволил до полутора раз ускорить процедуру нахождения покрытия. Вычисляются оценки сложности для рассмотренных методов покрытия; имеем: S1=O(n^3); S2=O(2^n); S3=O(n^2), где n – определяющий параметр задачи о покрытии (количество столбцов), и определяются границы применимости данных методов. Показывается, что применение характеристических векторов в методах 1 и 2 нецелесообразно.Problems in programming 2020; 2-3: 138-148Мета даної роботи – це підвищення ефективності методів і алгоритмів вирішення задачі знаходження покриття. Під ефективністю розуміється мінімальна затримка процедури, яка реалізує даний метод. Для підвищення ефективності методу «Розкладання по стовпцю» в процедуру побудови дерева рішення вводиться характеристичний вектор (ХВ), отриманий підсумовуванням одиниць в стовпцях/рядках таблиці покриття (ТП); він характеризує поточний стан таблиці покриття. Ідея цього методу полягає в поетапному розкладанні ТП на підтаблиці з використанням їх скорочення за певними правилами. Розглядаються 3 способи скорочення вихідної таблиці / поточних підтаблиць в методах: 1) «Граничний перебір по увігнутій множини»; 2) «Використання властивостей таблиці покриття»; 3) «Мінімальний стовпець – максимальний рядок». В останньому способі вперше застосований ХВ, який дозволив до півтора разів прискорити процедуру знаходження покриття. Обчислюються оцінки складності для розглянутих методів покриття; маємо: S1 = O (n ^ 3); S2 = O (2 ^ n); S3 = O (n ^ 2), де n – визначальний параметр завдання про покриття (кількість стовпців), і визначаються межі застосування даних методів. Показується, що застосування характеристичних векторів в методах 1 і 2 недоцільно.Problems in programming 2020; 2-3: 138-14
Контекстне співставлення ВЕБ-сервісів у вирішенні задачі виявлення. Онтологічні підходи
Get PDFMatching is integral part of all web services tasks. The effective implementation of the process of matching services with a search query, or with each other, ensures successful resolving of the problems of service discovery, building the best coverage of the search query and a complex composite service that implements the business task. All web services have own characteristics, solve different problems, use different methods, but they all also have a certain set of characteristics: functional and process models, formal description language, communication protocol, a common set of element types, such as identifiers, service messages, parameters and etc. This allows to classify services in a certain way, the analysis of these characteristics permits to define the elements and aspects of the comparison process. Today there is a huge number of services, and their number is constantly growing, and the process of services discovery is very complex and multifaceted. It should take into account the structural, syntactic, but, first of all, the semantic suitability of services, to ensure their comparative analysis according to the maximum possible number of characteristics that are significant for matching. It should be step-by-step process and it has be designed in such a way that each step reduces the set of candidates, leaving services with a greater degree of compliance. This requires algorithms that return quantitative estimates for each step, each type of matching, and algorithms that effectively generalize these estimates to define the final values of the proximity of services and the request. These researches are devoted to problems of using the descriptive logics formalisms for web services matching by their contexts, which, as a rule, contain information about the services purposes, the area of use, business functions, etc. That is, it is information representing the semantics of the service, but in text form, that is not convenient for automated processing. There are many studies that try to solve this problem by applying standard text analysis methods to contextual service descriptions. This study proposes an ontological approach to matching web services by context. It is determined the extension of the previously proposed the top-level service DL ontology. It also involves the use of a special ontology of the general textual service description, a fragment of the taxonomy of which is presented in the paper. This ontology should cover all important semantic aspects of contextual descriptions. It have not only promote to determining the matching a service and a request, but it also have to allow semantically categorizing the available services: by subject area, implemented functions, etc.Problems in programming 2020; 2-3: 39-49Сопоставление (matching) – неотъемлемая составляющая фактически всех задач веб сервисов. Эффективная реализация процесса сопоставления сервисов с поисковым запросом, или друг с другом гарантирует успешное решение задач нахождения нужных сервисов, построения наилучшего покрытия поискового запроса и сложного композитного сервиса, реализующего поставленную бизнес-задачу. Все веб сервисы имеют свои особенности, решают разные задачи, используют разные методы, однако они все также имеют определенный набор характеристик: функциональную и процессную модели, формальный язык описания, протокол взаимодействия, общий набор типов элементов, таких как идентификаторы, служебные сообщения, параметры и т. д. Это позволяет классифицировать их определенным образом, а анализ этих характеристик – выделить элементы и аспекты процесса сопоставления. На сегодняшний день существует огромное количество сервисов, и их число постоянно растет, а процесс нахождения сервисов, соответствующих запросу, очень сложный и многогранный. Он должен учитывать структурное, синтаксическое, но, прежде всего, семантическое соответствие сервисов, обеспечивать их сравнительный анализ по максимально возможному числу характеристик, значимых для сопоставления. Процесс должен быть пошаговым и построенный таким образом, чтобы каждый шаг сокращал множество сервисов-кандидатов, оставляя сервисы с большей степенью соответствия. Для этого нужны алгоритмы, которые возвращают количественные оценки соответствия при выполнении каждого шага, каждого типа сопоставления, и алгоритмы, эффективно обобщающие эти оценки для вывода конечных значений близости сервисов и запроса. Данные исследования посвящены вопросам использования аппарата дескриптивных логик для сопоставления веб сервисов по описаниям их контекстов, которые, как правило, содержат информацию о назначении сервисов, про область их использования, бизнес-функции и т. д. То есть это как раз информация, представляющая семантику сервиса, но в текстовой форме, не удобной для автоматизированной обработки. Существует немало исследований, которые пытаются решить эту проблему, применяя к контекстным описаниям сервисов стандартные методы текстового анализа. В данной работе предлагается онтологический подход к сопоставлению веб сервисов по контексту. Определено расширение ранее предложенной ДЛ онтологии сервиса верхнего уровня. Данный подход предусматривает также использование специальной онтологии общего текстового описания сервиса, фрагмент таксономии которой представлен в работе. Эта онтология должна охватывать все важные семантические аспекты контекстных описаний, и не только способствовать определению соответствия сервиса и запроса, но и позволять семантически категорировать имеющиеся сервисы: по предметной области, реализуемым функциям и т. д.Problems in programming 2020; 2-3: 39-49Співставлення є невід’ємною складовою всіх задач веб сервісів. Ефективна реалізація процесу співставлення сервісів та пошукового запиту, або сервісів один з одним гарантує успішне вирішення задачі виявлення сервісів, побудови найкращого покриття пошукового запиту та складного композитного сервісу, що забезпечує реалізацію поставленої бізнес-задачі. Всі веб сервіси мають власні особливості, вирішують різні задачі, використовують різні методи, але всі вони також мають певні характеристики: функціональну та процесну моделі представлення, мову формального опису, протокол взаємодії, спільні типи елементів, такі як ідентифікатори, повідомлення, параметри тощо. Це дозволяє класифікувати їх певним чином, а аналіз цих характеристик – виділити елементи та аспекти процесу співставлення. Процес знаходження сервісів повинен враховувати структурну, синтаксичну та семантичну відповідність сервісів, містити порівняльний аналіз сервісів за максимально можливою кількістю характеристик, що є значимими для співставлення. Він має бути покроковим та побудований таким чином, щоб кожний крок скорочував множину сервісів-кандидатів, залишаючи сервіси з більшим ступенем відповідності. Для цього необхідні алгоритми, які повертають кількісні оцінки відповідності при виконанні кожного кроку, кожного типу співставлення, та алгоритми, що в змозі ефективно узагальнити ці оцінки для виведення кінцевих значень близькості сервісів та запиту. Дані дослідження присвячені питанням використання апарату дескриптивних логік (ДЛ) для співставлення веб сервісів за їх контекстними описами, що, як правило, містять інформацію про призначення сервісів, їх область застосування, бізнес-функції тощо. Тобто це інформація, яка представляє семантику сервісу, але в текстовій формі, не зручній для автоматизованої обробки. В даній роботі пропонується онтологічний підхід до співставлення веб сервісів за контекстом. Визначено розширення раніше запропонованої ДЛ онтології сервісу верхнього рівня. Даний підхід також передбачає використання спеціальної онтології загального текстового опису сервісу, фрагмент таксономії якої наведений у роботі. Ця онтологія повинна охоплювати всі важливі семантичні аспекти контекстних описів, і не лише сприяти визначенню відповідності сервісу та запиту, але й дозволяти семантично категорізувати наявні сервіси: за предметною областю, за функціями, що реалізуються тощо.Problems in programming 2020; 2-3: 39-49
Ефективне збільшення оцінки мутації під час генерації набору тестів на основі моделі
No full textThe purpose of the method is to increase the sensitivity of an automatically generated test suite to mutations of a model. Unlike existing methods for generating test scenarios that use the mutational approach to assess the resulting test set, the proposed method analyzes the possibility of detecting mutations on the fly, in the process of analyzing the model’s behavior space, by adding of special coverage goals. Two types of mutants manifestation are considered: deviations in the behavior of paths for (weak case) and in the observed output (strong case). A new algorithm is proposed for efficient search of a path with observable effect of a mutation.Problems in programming 2020; 2-3: 331-340Цель метода – повысить чувствительность автоматически генерируемого тестового набора к мутациям модели. В отличие от существующих методов генерации тестовых сценариев, которые используют мутационный подход для оценки полученного тестового набора, предложенный метод анализирует возможность обнаружения мутаций «на лету», в процессе анализа пространства поведения модели, добавляя специальные цели покрытия. Рассматриваются два вида проявления мутаций: отклонение в поведении путей (случай слабого обнаружения) и в наблюдаемых выходных сигналах (случай сильного обнаружения). Предложен новый алгоритм для эффективного поиска пути ведущего к наблюдаемому эффекту мутации.Problems in programming 2020; 2-3: 331-340Мета методу – підвищити чутливість автоматично генерованого тестового набору до мутацій моделі. На відміну від існуючих методів генерації тестових сценаріїв, які використовують мутаційний підхід для оцінки отриманого тестового набору, запропонований метод аналізує можливість виявлення мутацій «на льоту», в процесі аналізу простору поведінки моделі, додаючи спеціальні цілі покриття. Розглядаються два види прояву мутацій: відхилення в поведінці шляхів (випадок слабкого виявлення) і в спостережуваних вихідних сигналах (випадок сильного виявлення). Запропоновано новий алгоритм для ефективного пошуку шляху до спостереження ефекту мутації.Problems in programming 2020; 2-3: 331-34