Browsing by Author "Polska, Olga V."
Now showing 1 - 14 of 14
Results Per Page
Sort Options
Item DEVS-орієнтована методика валідації композитних веб-сервісів(Запорізький національний технічний університет, 2015) Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Кудерметов, Равіль Камілович; Кудерметов, Равиль Камилович; Kudermetov, Ravil K.; Польська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V.UK: Запропоновано методику валідації композитних веб-сервісів за рахунок синтезу імітаційних дискретно-подійних моделей на основі формалізму DEVS. Це дозволяє виконувати автоматизовану перевірку придатності таких систем до цільового використання при проектуванні шляхом імітаційного моделювання. В якості вхідних даних використано формальну специфікацію на основі темпоральної логіки TLA, що дозволяє математично строго представляти функціональні характеристики композитних сервісів у форматі обчислювальних процесів. За аналітичну модель в основі TLA-специфікації взято структуру Кріпке. У межах методики запропоновано правила синтезу із вихідної TLA-специфікації DEVS-моделі композитного сервісу, призначеної бути засобом валідації. Результуюча DEVS-модель складається із моделей атомарних сервісів, моделі клієнта композитного сервісу та моделі координатора атомарних сервісів, що функціонує згідно специфікації WS-BPEL. Для перевірки методики проведено експериментальні дослідження, що підтвердили адекватність результуючої DEVS-моделі. Перевірку здійснено згідно запропонованого підходу, що полягає у порівнянні результатів валідації шляхом імітаційного моделювання із результатами валідації шляхом тестування. За результатами проведених досліджень обґрунтовано доцільність використання запропонованої методики при проектуванні композитних сервісів, що базується на зменшенні часових витрат на валідацію. Наголошено на доречності використання методики при ітераційній розробці. EN: A technique for Composite Web Services validity checking has been proposed. It is based on discrete-event DEVS-models synthesis, which provides the ability to conduct the automated validation by way of simulation during the design process. Temporal Logic of Actions has been chosen as the basis for input data – formal specification of Composite Web Service. It allows to specify the functional properties of such systems mathematically strictly. Functional properties has been represented as computational processes. The Kripke structure has been used as TLA-specification analytical model. Our technique leans on the proposed rules, aimed at simulation DEVS-model synthesis from given TLA-specification. The resulting coupled Composite Web Service DEVS-model consists of atomic web services models, model of client, simulated as job-requests generator, and coordinator model. Coordinator represents the WS-BPEL-engine, functioning in accordance with centralized orchestration model. A case study has been conducted to verify the proposed technique. Its artifacts confirmed the adequacy of resulting DEVS-model. The technique verification is based on the proposed approach: simulation-driven validation results are compared with the ones, obtained with test-driven validation. Technique expediency has been grounded by Composite Web Services validity checking time costs reduction. RU: Предложена методика валидации композитных веб-сервисов путем синтеза имитационных дискретно-событийных моделей на основе формализма DEVS. Это позволяет осуществлять автоматизированную проверку пригодности таких систем к целевому использованию при проектировании путем имитационного моделирования. В качестве входных данных использована формальная спецификация на основе темпоральной логики TLA, что позволяет математически строго представлять функциональные характеристики композитных сервисов в формате вычислительных процессов. В качестве аналитической модели в основе TLA-спецификации взята структура Крипке. В рамках методики предложены правила синтеза из исходной TLA-спецификации DEVS-модели композитного сервиса, предназначенной быть средством валидации. Результирующая DEVS-модель состоит из моделей атомарных сервисов, модели клиента композитного сервиса и модели координатора атомарных сервисов, функционирующего согласно спецификации WS-BPEL. Для проверки методики проведены экспериментальные исследования, подтвердившие адекватность результирующей DEVS-модели. Проверка выполнена согласно предложенному подходу, состоящему в сравнении результатов валидации путем имитационного моделирования с результатами валидации путем тестирования. По результатам проведенных исследований обоснована целесообразность использования предложенной методики при проектировании композитных сервисов, которая заключается в уменьшении временных затрат на валидацию. Акцентировано внимание на уместности использования методики при итерационной разработке.Item Laboratory guidelines in the discipline “Introduction to multi-criteria decision making methods”(Національний університет «Запорізька політехніка», 2023) Кудерметов, Равіль Камілович; Польська, Ольга Володимирівна; Kudermetov, Ravil K.; Polska, Olga V.UK: В методичних вказівках наводяться рекомендації щодо етапів виконання лабораторних робіт з дисципліни «Вступ до багатокритеріальних методів прийняття рішень». Студентам пропонуються індивідуальні завдання, які потребують самостійного виконання. Окрім цього, є короткі теоретичні відомості. EN: The methodological recommendations offer instructions on the stages of performing laboratory work in the discipline “Introduction to multi-criteria decision-making methods”. Students are offered individual tasks which require self-guided implementation. In addition, there is brief theoretical information.Item Лабораторні роботи з дисципліни "Моделювання систем"(Запорізький національний технічний університет, 2019) Кудерметов, Равіль Камілович; Луценко, Наталя Володимирівна; Польська, Ольга Володимирівна; Kudermetov, Ravil K.; Lutsenko, Natalia V.; Polska, Olga V.; Кудерметов, Равиль Камилович; Луценко, Наталья ВладимировнаUK: Наведені методичні матеріали та індивідуальних домашніх завдань за темою "Дослідження систем масового обслуговування" із дисципліни "Моделювання систем". EN: The methodical materials and instructions for implementation of individual homework on the topic "Research queueing systems" on discipline "Simulation of Systems" are given. RU: Приведены методические материалы и указания к выполнению индивидуальных домашних заданий по теме "Исследование систем массового обслуживания" по дисциплине "Моделирование систем".Item Лабораторні роботи з паралельних та розподілених обчислень. Багатопоточне програмування у С++ та Java. Потоки у паралельних та векторних обчисленнях(2018) Кудерметов, Равіль Камілович; Шкарупило, Вадим Вікторович; Польська, Ольга Володимирівна; Kudermetov, Ravil K.; Shkarupylo, Vadym V.; Polska, Olga V.; Кудерметов, Равиль Камилович; Шкарупило, Вадим Викторович; Польская, Ольга ВладимировнаUK: Наведені методичні матеріали та вказівки до виконання лабораторних робіт з дисципліни " Паралельні та розподілені обчислення ". EN: The methodical materials and instructions for implementation of laboratory work on discipline "Parallel and distributed computing ". RU: Приведены методические материалы и указания к выполнению лабораторных работ по дисциплине "Параллельные и распределенные вычисления".Item Лабораторні роботи з паралельних та розподілених обчислень. Паралельні обчислення з використанням технології MPI. Паралельні обчислення з використанням технології OpenMP.(Запорізький національний технічний університет, 2020) Кудерметов, Равіль Камілович; Шкарупило, Вадим Вікторович; Польська, Ольга Володимирівна; Kudermetov, Ravil K.; Shkarupylo, Vadym V.; Polska, Olga V.; Кудерметов, Равиль Камилович; Шкарупило, Вадим Викторович; Польская, Ольга ВладимировнаUK: Наведені методичні матеріали та вказівки до виконання лабораторних робіт з дисципліни «Паралельні та розподілені обчислення». EN: The methodical materials and instructions for implementation of laboratory work on discipline «Parallel and distributed computing». RU: Приведены методические материалы и указания к выполнению лабораторных работ по дисциплине «Параллельные и распределенные вычисления».Item Лабораторні роботи з програмування на мові С++. Структури, об’єднання. Бітові поля структур і об’єднань.(Національний університет «Запорізька політехніка», 2020) Луценко, Наталя Володимирівна; Польська, Ольга Володимирівна; Lutsenko, Natalia V.; Polska, Olga V.; Луценко, Наталья Владимировна; Польская, Ольга ВладимировнаUK: Наведені методичні матеріали та вказівки до виконання лабораторних робіт із дисципліни "Програмування" EN: Methodical materials and instructions for performing laboratory work on the discipline "Programming" are given. RU: Приведены методические материалы и указания к выполнению лабораторных работ по дисциплине "Программирование".Item Лабораторні роботи з програмування на мові Сі. Базові типи змінних. Оператори вибору,циклу. Масиви і покажчики. Двовимірні та динамічні масиви(Національний університет «Запорізька політехніка», 2021) Луценко, Наталя Володимирівна; Польська, Ольга Володимирівна; Lutsenko, Natalia V.; Polska, Olga V.; Луценко, Наталья Владимировна; Польская, Ольга ВладимировнаUK: Наведено методичні матеріали та вказівки до виконання лабораторних робіт з дисципліни "Програмування" EN: Methodical materials and instructions for performing laboratory work on the discipline "Programming" are given. RU: Приведены методические материалы и указания к выполнению лабораторных работ по дисциплине "Программирование".Item Лабораторні роботи з програмування на мові Сі. Простійші функції. Прийоми використання функцій. Робота з файлами. Багатофайлова компіляція(Запорізький національний технічний університет, 2019) Луценко, Наталя Володимирівна; Польська, Ольга Володимирівна; Lutsenko, Natalia V.; Polska, Olga V.; Луценко, Наталья Владимировна; Польская, Ольга ВладимировнаUK: Methodical materials and instructions for performing laboratory work on the discipline "Programming" are given. EN: Methodical materials and instructions for performing laboratory work on the discipline "Programming" are given. RU: Приведены методические материалы и указания к выполнению лабораторных работ по дисциплине "Программирование".Item Лабораторні роботи з програмування на мові Сі. Типи даних. Введення-виведення. Оператори вибору. Оператори циклу. Масиви і показчики(Запорізький національний технічний університет, 2018) Луценко, Наталя Володимирівна; Польська, Ольга Володимирівна; Lutsenko, Natalia V.; Polska, Olga V.; Луценко, Наталья Владимировна; Польская, Ольга ВладимировнаUK: Наведені методичні матеріали та вказівки до виконання лабораторних робіт з дисципліни "Програмування" EN: The methodical materials and instructions for implementation of laboratory work on discipline "Programming" RU: Приведены методические материалы и указания к выполнению лабораторных работ по дисциплине "Программирование"Item Методичні вказівки до виконання дипломної роботи бакалавра для студентів спеціальності 123 «Комп’ютерна інженерія» всіх форм навчання(Національний університет «Запорізька політехніка», 2020) Кудерметов, Равіль Камілович; Польська, Ольга Володимирівна; Луценко, Наталя Володимирівна; Щербак, Наталя Володимирівна; Зелік, Олена Валеріївна; Kudermetov, Ravil K.; Polska, Olga V.; Lutsenko, Natalia V.; Shcherbak, Natalia V.; Zelik, Elena V.; Кудерметов, Равиль Камилович; Польская, Ольга Владимировна; Луценко, Наталья Владимировна; Щербак, Наталья Владимировна; Зелик, Елена ВалерьевнаUK: Наведені методичні матеріали та вказівки до виконання дипломної роботи бакалавра для студентів спеціальності 123 «Комп’ютерна інженерія». EN: Methodical materials and instructions for the bachelor's thesis for students of 123 «Computer Engineering» are given. RU: Приведены методические материалы и указания к выполнению дипломной работы бакалавра для студентов специальности 123 «Компьютерная инженерия».Item Методичні вказівки до виконання курсового проєкту з дисципліни «Організація баз даних»(2023) Щербак, Наталя Володимирівна; Польська, Ольга Володимирівна; Кудерметов, Равіль Камілович; Shcherbak, Natalia V.; Polska, Olga V.; Kudermetov, Ravil K.UK: В методичних вказівках наводяться рекомендації щодо етапів виконання та вимоги до оформлення курсового проєкту з дисципліни «Організація баз даних» EN: The methodological recommendations offer instructions on the stages of completing and formatting course project in “Organization of Databases”Item Методичні вказівки до виконання лабораторних робіт з дисципліни "Інженерія програмного забезпечення" (I частина)(Запорізький національний технічний університет, 2015) Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Ільяшенко, Матвій Борисович; Ильяшенко, Матвей Борисович; Iliashenko, Matvii B.; Польська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V.UK: Методичні вказівки присвячені роботі із бібліотекою модульного тестування JUnit, системою контролю версій Subversion (SVN) та технологією JAX-WS. EN: Methodical instructions are aimed at work with JUnit library, Subversion control system (SVN) and JAX-WS technology. RU: Методические указания посвящены работе с библиотекой модульного тестирования JUnit, системой контроля версий Subversion (SVN) и технологией JAX-WS.Item Обнаружение и выбор WEB-сервисов(Odessa National Polytechnic University, 2015) Польська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V.; Кудерметов, Равіль Камілович; Кудерметов, Равиль Камилович; Kudermetov, Ravil K.; Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.UK: Проведено аналіз найбільш ґрунтовних оглядів, присвячених дослідженню та класифікації підходів і методів виявлення і вибору Web-сервісів. Описано основні, на нашу думку, перспективні підходи до виявлення та вибору Web-сервісів за їх нефункціональними (Quality of Services, QoS) характеристиками. Розглянуто переваги і недоліки таких підходів, а також труднощі, обумовлені використанням методів виявлення та вибору Web-сервісів. EN: Nowadays Web Services usage is represented by a plethora of specific domains. Such situation causes the necessity of standardized applicable approaches and methods existence. To this end the analysis of the most well-grounded reviews, devoted to Web Services discovery and selection approaches and methods, has been conducted. Those approaches and methods have been described by us basing on Web Services QoS-properties. The advantages and drawbacks of such approaches, and also the challenges caused by the corresponding Web Services discovery and selection methods usage, have been examined. RU: Проведен анализ наиболее содержательных обзоров, посвященных исследованию и классификации подходов и методов обнаружения и выбора Web-сервисов. Описаны основные, по нашему мнению, перспективные подходы обнаружения и выбора Web-сервисов по их нефункциональным (Quality of Services, QoS) характеристикам. Рассмотрены преимущества и недостатки таких подходов, а также трудности, обусловленные использованием методов обнаружения и выбора Web-сервисов.Item Індивідуальні домашні завдання за темою "Дослідження систем масового обслуговування" із дисципліни "Моделювання систем"(Запорізький національний технічний університет, 2019) Кудерметов, Равіль Камілович; Луценко, Наталя Володимирівна; Польська, Ольга Володимирівна; Kudermetov, Ravil K.; Lutsenko, Natalia V.; Polska, Olga V.; Кудерметов, Равиль Камилович; Луценко, Наталья ВладимировнаUK: Наведені методичні матеріали та індивідуальних домашніх завдань за темою "Дослідження систем масового обслуговування" із дисципліни "Моделювання систем". EN: The methodical materials and instructions for implementation of individual homework on the topic "Study of queueing systems" on discipline "Simulation of Systems" given. RU: Приведены методические материалы и указания к выполнению индивидуальных домашних заданий по теме "Исследование систем массового обслуживания" по дисциплине "Моделирование систем".