Unified process for adaptive Semantic Web service composition
New technological for the Process of Semantic Web service on-line composition, that is adaptive (able to change its behavior to meet new requirements and to fit new (un)foreseen situations) and usable by third parties, to maintain (non)anticipatory changeable business processes model is elaborated....
Збережено в:
| Дата: | 2018 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2018
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/239 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programming| id |
pp_isofts_kiev_ua-article-239 |
|---|---|
| record_format |
ojs |
| resource_txt_mv |
ppisoftskievua/66/2995c3d41be6f0081d26b521c30a1566.pdf |
| spelling |
pp_isofts_kiev_ua-article-2392024-04-28T11:34:16Z Unified process for adaptive Semantic Web service composition Унифицированный процесс композиции адаптивного сервиса в среде Семантического Веба Уніфікований процес композиції адаптивного сервісу в семантичному Веб-середовищі Slabospitskaya, О.A. service-oriented software system; Semantic Web service; adaptiveness; dynamic software product line; dynamic variability; Semantic Web service run time composition method; process for adaptive Semantic Web service composition; adaptation operation UDC 519.164:004.4 сервис-ориентированная программная система; семантический Веб-сервис; адаптивность; динамическая линия программных продуктов; динамическая вариабельность; метод композиции выполняемых семантических Веб-сервисов; процесс композиции адаптивного семантическ УДК 519.164:004.4 сервіс-орієнтована програмна система; семантичний Веб-сервіс, адаптивність; динамічна лінія програмних продуктів; динамічна варіабельність; метод композиції семантичного Веб-сервісу; під час виконання; процес композиції адаптивного семантичного Веб-серві УДК 519.164:004.14 New technological for the Process of Semantic Web service on-line composition, that is adaptive (able to change its behavior to meet new requirements and to fit new (un)foreseen situations) and usable by third parties, to maintain (non)anticipatory changeable business processes model is elaborated. Consistently with the adaptive service’s previous model as Dynamic Line of Semantic Services for providing business processes’ actors with anticipated Functions over the stages between the alterations of these actors’ needs, the Process being modeled is considered as the sequence of stages for the above Line’s Services composing that are unified as for composition method (at the functional and process level). The stage is composed with the Line’s Variability Management functions’ operations (forming/adapting Functions Model and Service Platform, composing Services for these Functions, Variability services for this functions, diagnostic monitoring) in the common information environment governed with the Functions Model. Implementing of the described Process within business processes with unstable and heterogeneous contexts will enhance their usage and re-engineering.Problems in programming 2018; 1: 65-76 Разработана новая технологическая модель процесса on-line композиции семантического Веб-сервиса, адаптивного (пригодного к изменениям поведения для удовлетворения новых требований и приспособления к новым (не)предусмотренным ситуациям) и применимого третьими сторонами, для поддержки (не)предусмотрено изменчивых деловых процессов. В соответствии с ранее предложенной моделью адаптивного сервиса как динамической линии сервисов предоставления субъектам деловых процессов предусмотренных функций на этапах между изменениями их потребностей, моделируемый процесс представлен последовательностью этапов композиции таких сервисов из линии, унифицированных относительно ее метода (функционального и процессного уровня). Этап реализует композицию операций функций управления вариабельностью линии (формирования/адаптации модели функций и платформы сервисов, композиции сервисов для этих функций, диагностического мониторинга вариабельности) в общей информационной среде, структурированной по модели функций. Развертывание описанного процесса в среде деловых процессов с изменчивыми и разнородными контекстами будет содействовать повышению эффективности их использования и реинжиниринга.Problems in programming 2018; 1: 65-76 Розроблено нову технологічну модель процесу on-line композиції семантичного Веб-сервісу, адаптив-ного (здатного до змін поведінки для задоволення нових вимог і пристосування до нових (не)передбачених ситуацій) і застосовного третіми сторонами, на підтримку (не)передбачено змінних ділових про-цесів. Згідно з попередньою моделлю адаптивного сервісу як динамічної лінії сервісів надання суб’єк-там ділових процесів передбачених функцій на етапах між зміненнями їх потреб, модельований процес подано послідовністю етапів композиції цих сервісів з лінії, уніфікованих щодо її методу (функціона-льного й процесного рівня). Етап реалізує композицію операцій функцій керування варіабельністю лінії (формування/адаптування моделі функцій і платформи сервісів, композиції сервісів для цих функцій, діагностичного моніторингу варіабельності) в спільному інформаційному середовищі, структурованому за моделлю функцій. Розгортання описаного процесу в середовищі ділових процесів із змінними й різнорідними контекстами сприятиме підвищенню ефективності їх застосування й реінжинірингу.Problems in programming 2018; 1: 65-76 Інститут програмних систем НАН України 2018-10-09 Article Article application/pdf https://pp.isofts.kiev.ua/index.php/ojs1/article/view/239 10.15407/pp2018.01.065 PROBLEMS IN PROGRAMMING; No 1 (2018); 65-76 ПРОБЛЕМЫ ПРОГРАММИРОВАНИЯ; No 1 (2018); 65-76 ПРОБЛЕМИ ПРОГРАМУВАННЯ; No 1 (2018); 65-76 1727-4907 10.15407/pp2018.01 uk https://pp.isofts.kiev.ua/index.php/ojs1/article/view/239/235 Copyright (c) 2018 PROBLEMS OF PROGRAMMING |
| institution |
Problems in programming |
| baseUrl_str |
https://pp.isofts.kiev.ua/index.php/ojs1/oai |
| datestamp_date |
2024-04-28T11:34:16Z |
| collection |
OJS |
| language |
Ukrainian |
| topic |
service-oriented software system Semantic Web service adaptiveness dynamic software product line dynamic variability Semantic Web service run time composition method process for adaptive Semantic Web service composition adaptation operation UDC 519.164:004.4 |
| spellingShingle |
service-oriented software system Semantic Web service adaptiveness dynamic software product line dynamic variability Semantic Web service run time composition method process for adaptive Semantic Web service composition adaptation operation UDC 519.164:004.4 Slabospitskaya, О.A. Unified process for adaptive Semantic Web service composition |
| topic_facet |
service-oriented software system Semantic Web service adaptiveness dynamic software product line dynamic variability Semantic Web service run time composition method process for adaptive Semantic Web service composition adaptation operation UDC 519.164:004.4 сервис-ориентированная программная система семантический Веб-сервис адаптивность динамическая линия программных продуктов динамическая вариабельность метод композиции выполняемых семантических Веб-сервисов процесс композиции адаптивного семантическ УДК 519.164:004.4 сервіс-орієнтована програмна система; семантичний Веб-сервіс адаптивність; динамічна лінія програмних продуктів; динамічна варіабельність; метод композиції семантичного Веб-сервісу; під час виконання; процес композиції адаптивного семантичного Веб-серві УДК 519.164:004.14 |
| format |
Article |
| author |
Slabospitskaya, О.A. |
| author_facet |
Slabospitskaya, О.A. |
| author_sort |
Slabospitskaya, О.A. |
| title |
Unified process for adaptive Semantic Web service composition |
| title_short |
Unified process for adaptive Semantic Web service composition |
| title_full |
Unified process for adaptive Semantic Web service composition |
| title_fullStr |
Unified process for adaptive Semantic Web service composition |
| title_full_unstemmed |
Unified process for adaptive Semantic Web service composition |
| title_sort |
unified process for adaptive semantic web service composition |
| title_alt |
Унифицированный процесс композиции адаптивного сервиса в среде Семантического Веба Уніфікований процес композиції адаптивного сервісу в семантичному Веб-середовищі |
| description |
New technological for the Process of Semantic Web service on-line composition, that is adaptive (able to change its behavior to meet new requirements and to fit new (un)foreseen situations) and usable by third parties, to maintain (non)anticipatory changeable business processes model is elaborated. Consistently with the adaptive service’s previous model as Dynamic Line of Semantic Services for providing business processes’ actors with anticipated Functions over the stages between the alterations of these actors’ needs, the Process being modeled is considered as the sequence of stages for the above Line’s Services composing that are unified as for composition method (at the functional and process level). The stage is composed with the Line’s Variability Management functions’ operations (forming/adapting Functions Model and Service Platform, composing Services for these Functions, Variability services for this functions, diagnostic monitoring) in the common information environment governed with the Functions Model. Implementing of the described Process within business processes with unstable and heterogeneous contexts will enhance their usage and re-engineering.Problems in programming 2018; 1: 65-76 |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2018 |
| url |
https://pp.isofts.kiev.ua/index.php/ojs1/article/view/239 |
| work_keys_str_mv |
AT slabospitskayaoa unifiedprocessforadaptivesemanticwebservicecomposition AT slabospitskayaoa unificirovannyjprocesskompoziciiadaptivnogoservisavsredesemantičeskogoveba AT slabospitskayaoa unífíkovanijproceskompozicííadaptivnogoservísuvsemantičnomuvebseredoviŝí |
| first_indexed |
2024-09-16T04:07:37Z |
| last_indexed |
2024-09-16T04:07:37Z |
| _version_ |
1818527835088748544 |
| fulltext |
Формальні методи розробки програмного забезпечення
© О.О. Слабоспицька, 2018
ISSN 1727-4907. Проблеми програмування. 2018. № 1 65
УДК 519.164:004.14
О.О. Слабоспицька
УНІФІКОВАНИЙ ПРОЦЕС КОМПОЗИЦІЇ
АДАПТИВНОГО СЕРВІСУ
В СЕМАНТИЧНОМУ ВЕБ-СЕРЕДОВИЩІ
Розроблено нову технологічну модель процесу on-line композиції семантичного Веб-сервісу, адаптив-
ного (здатного до змін поведінки для задоволення нових вимог і пристосування до нових (не)передба-
чених ситуацій) і застосовного третіми сторонами, на підтримку (не)передбачено змінних ділових про-
цесів. Згідно з попередньою моделлю адаптивного сервісу як динамічної лінії сервісів надання суб’єк-
там ділових процесів передбачених функцій на етапах між зміненнями їх потреб, модельований процес
подано послідовністю етапів композиції цих сервісів з лінії, уніфікованих щодо її методу (функціона-
льного й процесного рівня). Етап реалізує композицію операцій функцій керування варіабельністю лінії
(формування/адаптування моделі функцій і платформи сервісів, композиції сервісів для цих функцій,
діагностичного моніторингу варіабельності) в спільному інформаційному середовищі, структуровано-
му за моделлю функцій. Розгортання описаного процесу в середовищі ділових процесів із змінними й
різнорідними контекстами сприятиме підвищенню ефективності їх застосування й реінжинірингу.
Ключові слова: сервіс-орієнтована програмна система, семантичний Веб-сервіс, адаптивність, динаміч-
на лінія програмних продуктів, динамічна варіабельність, метод композиції семантичного Веб-сервісу,
під час виконання, процес композиції адаптивного семантичного Веб-сервісу, операція адаптування.
Постановка проблеми
На сучасному етапі розвитку інфо-
рмаційного суспільства в світі та Україні
on-line композиція виконуваних Веб-
сервісів, відшукуваних в Інтернет, є де-
факто стандартом корпоративних інфор-
маційних систем, званих сервіс-орієнтова-
ними програмними системами (СоПС) [1,
2]. У жорстко формалізованих предметних
областях (ПрО) СоПС ефективно підтри-
мують усталений перебіг ділових процесів
організації-споживача, передбачений під
час їх проектування. Однак в актуальних
наразі слабко формалізованих ПрО, де ді-
лові процеси розподілені, їх структури, ро-
лі й очікування суб’єктів та параметри ін-
фраструктури доступу до Веб-сервісів різ-
норідні й непередбачувано змінні [3], ви-
моги до якості сервісів дедалі жорсткіші, а
ресурси розроблення обмеженіші, – цього
недостатньо [1–7]. В таких ПрО дійсне
стійке досягнення декларованих переваг
СоПС – зниження трудомісткості з дотри-
манням запитаної якості й окупності [1, 4,
7] – додатково вимагає принаймні їх адап-
тивності й on-line застосовності третіми
сторонами на підставі стандартизованих
описів у реєстрах Інтернет.
Адаптивність СоПС визначено як
його здатність до змінення поведінки для
задоволення нових вимог і пристосування
до нових (не)передбачених ситуацій під
час виконання [2, 4, 6–8]. Очевидні ситуа-
ції такого типу – недоступність і незадові-
льність якості компонентного сервісу в
СоПС – вимагають якомога швидше й
ефективніше перекомпонувати її з серві-
сом-замінником. Тому обов’язковою пере-
думовою адаптивності СоПС стає підтри-
мка якомога швидкого й узгодженого ба-
гаторазового on-line виконання (званого
далі динамічним): виявлення (discovery),
добору (selection) і композиції відібраних
сервісів за поточними вимогами до компо-
зитного сервісу [2, 9, 10].
В роботі [11] на підставі аналізу
обмежень показових підходів до динаміч-
ної композиції семантичних Веб-сервісів
автором обґрунтовано актуальність й за-
пропоновано установчі рішення нового
підходу до неї, зорієнтованого на підтрим-
ку розподілених і змінних процесів сучас-
них організацій. Він надає сервіс, який має
зазначені властивості адаптивності та за-
стосовності й тому названий адаптивним
композитним семантичним Веб-сервісом
(АКС).
Стаття, презентована наразі, є без-
посереднім продовженням [11]. Її мета –
Формальні методи розробки програмного забезпечення
66
обґрунтування додаткової вимоги уніфіка-
ції процесу динамічної композиції АКС
щодо широкого класу методів композиції
семантичних Веб-сервісів та формалізація
його технологічної моделі як другого
складника запропонованого підходу (пер-
шим є модель самого АКС).
Стаття підсумовує доробок автора
в проекті ДР 0112U002764 ІПС НАН Ук-
раїни під керівництвом академіка НАН
України, д. фіз.-мат. н. П.І. Андона в
2016–2018 рр.
Актуальність уніфікації процесу
композиції АКС
Аналіз актуального доробку інже-
нерії СоПС на підставі доступних автору
джерел [4–10, 12–28] висвітлюють розгляд
виявлення (й інколи добору) семантичних
Веб-сервісів [9, 10] та їх композиції [12] за
певним запитом як автономних одноразо-
вих дій у життєвому циклі сервіс-
орієнтованого застосунку, а також істотне
розмежування двох зазначених груп мето-
дів та їх значну змістовну різнорідність.
Зокрема, поширені методи композиції се-
мантичних Веб-сервісів можна розподіли-
ти по чотирьох (перетинних) класах:
– подання композитного сервісу
орієнтованим ациклічним графом [13–16]
( 1C );
– подання композитного сервісу
розв’язком спеціальної задачі планування
через перевірку моделей [17–19] ( 2C );
– на підставі шаблонів, розробле-
них архітектором композитного сервісу
[20, 21] ( 3C );
– на підставі показників якості
(QoS) композитного сервісу [22, 23] ( 4C ).
Узгоджене динамічне виявлення й
композицію безпосередньо підтримують
лише методи класу 1C . Вони передбача-
ють семантичне анотування на функціона-
льному рівні:
– входів і виходів сервісів
(P. Rodríguez-Mier [13, 14]);
– входів, виходів, перед- і пост-
умов (S. Bansal [15]), а також долучення до
подання [15] елементів опису сервісу на
процесному рівні – множин побічних
впливів його операцій та об’єктів цих
впливів [16].
Для решти методів, насамперед
[17], де застосовано семантичне анотуван-
ня станів компонентних сервісів твер-
дженнями дескриптивної логіки у тради-
ційному форматі T-box і A-box на процес-
ному рівні, необхідне додаткове форму-
вання множини компонентних сервісів, яке
імітує їх виявлення.
Але привабливі функціональні мо-
жливості методів класів 2C – 4C з підтрим-
ки змінних і контекстно-залежних ділових
процесів зумовлюють нагальну потребу
забезпечення їх спільної застосовності під
час композиції адаптивного семантичного
Веб-сервісу, тобто її уніфікації щодо за-
стосованого методу.
У свою чергу, доробок з підтримки
адаптивності сервіс-орієнтованого засто-
сунку поєднує два класи підходів:
– зорієнтовані на певний метод
композиції (зокрема, планування через пе-
ревірку моделей [24, 25]; віртуальну адап-
тивну організацію сервісів [26]);
– універсальні, інваріантні до ме-
тоду композиції й зорієнтовані на п’яти-
рівневу структуру сервіс-орієнтованого
застосунку [1, 2, 4, 7].
Показовими прикладами універса-
льних підходів є:
– каркас моніторингу й адапту-
вання сервіс-орієнтованого застосунку в
його життєвому циклі (проект S-Cube1) [4,
7, 8], що підтримує проактивне узгоджене
змінення всіх структурних рівнів застосу-
нку – від ділових процесів і потреб спожи-
вачів до операційних систем;
– подання сервіс-орієнтованого
застосунку динамічною лінією проміжних і
термінальних сервісів на підтримку поточ-
но передбачених потреб споживачів [5, 6];
– побудова сервіс-орієнтованого
застосунку на засадах повно-аспектного
управління його спеціально визначеною
варіабельністю – здатністю до ефективно-
го розвитку, зміни, налаштування або кон-
1Офіційний сайт: http://www.s-cube-network.eu/
Формальні методи розробки програмного забезпечення
67
фігурування для використання в певному
контексті [27];
– використання шаблонів адапту-
вання на засадах модельно-орієнтованої
інженерії [28].
На жаль, навіть зазначені універса-
льні підходи потребують доступу до внут-
рішньої структури формованого за стосун-
ку. Вони реалізують його адаптування пос-
тачальником [6, 8, 26] та, в обмеженому
обсязі, передбаченим підписувачем [24,
27], не забезпечуючи незалежної застосов-
ності третіми сторонами.
Урахування змінності підтримува-
них ділових процесів, очікувань, обізна-
ності й кваліфікації їх суб’єктів та широ-
кого (й наразі поповнюваного) кола засто-
совних методів динамічної композиції се-
мантичних Веб-сервісів зумовлює додат-
кову вимогу уніфікації його етапів за
структурою та способом застосування рі-
зних методів динамічної композиції сема-
нтичних Веб-сервісів функціонального й
процесного рівня. На підставі проведено-
го аналізу загальновживаної підмножини
цих методів прийнято природну вимогу
до них: якщо два Веб-сервіси, скомпоно-
вані певним методом з двох різних мно-
жин компонентних сервісів, надають спо-
живачам одні й ті самі функції, то їх надає
й сервіс, скомпонований з елементів
об’єднання цих множин.
Технологічна модель процесу
динамічної композиції АКС
Конструктивне подання АКС. У
руслі запропонованого підходу [11] АКС
подано динамічною лінією програмних
продуктів [29]. Ці продукти – семантичні
Веб-сервіси, названі цільовими (ЦС). ЦС
стало надають поточно передбаченим
суб’єктам змінних ділових процесів у ці-
льовій ПрО передбачені для них (можливо,
змінні) функції, поки вони відповідають
потребам споживачів та умовам виконання
АКС. У разі діагностування невідповіднос-
ті її усувають шляхом автоматизованого
адаптаційного змінення – узгодженого
оновлення складу і взаємозв’язків функцій
та складу і структури ЦС для них за допо-
могою визначених в [11] операцій адапту-
вання. Після відновлення задовільної від-
повідності розпочинається наступний пе-
ріод сталого надання оновлених функцій
поточним споживачам.
Конструктивну формалізацію наве-
деного змістовного опису АКС надає
Визначення 1. Формальна модель
АКС у певний момент ];( )1( nn- ttt після
останнього й до наступного адаптаційного
змінення – це набір усіх попередніх уніфі-
кованих подань АКС між зміненнями:
...,1),,()( uEMIMtAM uu
)(,(,1,... tEMIMn u , (1)
, ,,,, = uuuuuu APVMSMFMIМ
nu ,…1,= ; (2)
][];[];[ );(;)( = )( vmscfetEStTStEM , (3)
де uIМ – інтенсіональне подання АКС [11]
упродовж часу ];( )1( uu- ttt , складене від-
повідно моделями функцій, ЦС, інтегрова-
ною моделлю варіабельності, платформою,
застосованим методом композиції сервісів;
)(tEM – екстенсіональне подання
АКС у момент ];( )1( uu- ttt , утворене на-
даними композитними термінальними сер-
вісами з платформи, ЦС для функцій з
uFM й необов’язковими технічними сер-
вісами – редагування функцій ( fe ), дина-
мічної композиції ( sc ), діагностичного
моніторингу задовільності варіабельності
(vm ).
Склад і структуру актуального по-
дання АКС ( nIМ , )(tEM ) формально ви-
значено в [11] і показано на рис. 1. Як за-
значено на рисунку, в довільному u-му пе-
ріоді сталого надання функцій запрова-
джене відображення ( u ,·) їх перетво-
рення в ЦС за допомогою поточного мето-
ду u реалізує ізоморфізм між множинами
функцій і ЦС, забезпечуючи повноту й од-
нозначність їх надання споживачам.
Формальні методи розробки програмного забезпечення
68
Простір рішеньПростір проблеми
Моделі композитних
сервісів для конфігурацій і
відношення між сервісами
SMn
д
о
м
е
н
у
Інтенсіональне подання
Екстенсіональне подання
Ресурси
Семантичного
Вебу
Технічні сервіси:
· редагування моделі
функцій fe
· динамічної композиції
sc
· діагностичного
моніторингу
варіабельності vm
Припустимі
конфігурації
функцій
Дерево
функцій АКС
з відношен-
нями зумов-
леності,
зіставлення,
виключення
FMn
Метод композиції сервісів
для функцій із сервісів
платформи (n) [11]
Платформа АКС APn:
·моделі композитних
сервісів для
термінальних функцій
·описи атомарних сервісів
з
а
с
т
о
с
у
н
к
ів
Надані
композитні
сервіси для
конфігурацій
функцій
ESn(t)
Інтегрована модель
задовільності варіабельності VMn
Поточні
сервіси
платформи
TSn(t)
П
р
о
ц
е
с
и
к
о
н
с
т
р
у
ю
в
а
н
н
я
:
Реєстри
семантичних
сервісів
Інтернет
(n)
Реєстр
UDDI
Композиція термінальних
сервісів платформи методом n
(n)
Надання моделей для композиції
Публікування сервісів
реалізації функцій АКC
Рис. 1. Подання АКС у певний момент між (n-1)-м і n-м адаптаційними зміненнями
Змістовний опис процесу компо-
зиції АКС. Розроблена технологічна
модель процесу динамічної композиції
АКС узагальнює попередні технологічні
моделі процесів автоматизованого виро-
бництва сімейств програмних систем [31]
та адаптивної композиції «несемантич-
них» Веб-сервісів [32] згідно з рішення-
ми [11].
Цей процес модельовано як процес
керування варіабельністю [27, 29] динамі-
чної лінії ЦС { 0),( ttAM } (1). Його по-
дано поповнюваною послідовністю етапів
1],;(, )1( utttET uu-u , (4)
обмежених моментами )1(u-t і ut послідо-
вних адаптаційних змінень АКС. Ці етапи
уніфіковано за способом застосування по-
точно вибраного метода композиції серві-
сів u у відображенні перетворення
( u ,·) [11] і внутрішньою структурою.
З одного боку, етапи uET , u 1 з (4)
уніфіковано реалізують процес керування
варіабельністю традиційної лінії програм-
них продуктів для відповідних їм у часі
“фрагментів” АКС
.1,];()),(,( )1( uttttEMIM uu-u (5)
Формальні методи розробки програмного забезпечення
69
Тому, згідно з рамковою структурою про-
цесу керування варіабельністю [30] й
установчими рішеннями запропонованого
підходу до побудови АКС [11], кожний
етап uET , u 1 подано композицією опера-
цій універсальних функцій керування варі-
абельністю лінії [31, 32] в їх спільному ін-
формаційному середовищі uENV , структу-
рованому на підставі моделі функцій uFM
і результатів попередніх етапів.
Ці функції разом реалізують відо-
мий цикл Дьомінга для керування варіабе-
льністю традиційної лінії програмних про-
дуктів [31]. Вони охоплюють:
– планування варіабельності в
структурі й артефактах лінії ( 1F );
– реалізацію запланованої варіа-
бельності в артефактах і продуктах ( 2F );
– діагностичний моніторинг задо-
вільності варіабельності ( 3F );
– адекватну еволюцію лінії за
результатами моніторингу ( 4F ).
Для модельованого процесу функції
1F – 4F доповнено сервісною функцією йо-
го технологічного підготування ( 0F ), опе-
рації якої мають бути виконані одноразово
на початку процесу. Спеціальну роль за-
проваджених функцій 0F – 4F та їх операції
в процесі композиції АКС схарактеризова-
но в наступному пункті статті.
З іншого боку, кожний етап uET ,
1u з (4) реалізує для відповідного “фра-
гмента” АКС (5) рамковий життєвий цикл
(ЖЦ) [9] композитного семантичного Веб-
сервісу, що стало підтримує потреби пе-
редбачених споживачів, зафіксовані в
uFM , поки зміни цих потреб і/або умов
виконання не призведуть до невідповідно-
сті їм надаваних функцій. Тоді розпочина-
ється новий етап )1( uET – ЖЦ “нового”
Веб-сервісу з адаптованими функціями
і/або ЦС.
Розглянуту внутрішню структуру
модельованого процесу динамічної компо-
зиції АКС показано на рис. 2.
F4
№ адаптаційного
змінення
Момент
адаптації
t0 t1
Загальні
технологічні
регламенти
F0
E11
F1
E21
F3
NS1
E1u
F1
E2u
E4u F3
NSu
F4
...
...
t(u-1) tu
...
Уточнені
технологічні
регламенти
...
1
u
E11
E3n
E2n
E4n
F3
NSn
F4
Уточнені
технологічні
регламенти
...
...
...
t(n-1) tn
n
F0 ENV1 ENVu ENVn
...
E31
F2
E3u
F2
F1
F2 E41
ET1 ETu ETn
Рис. 2. Внутрішня структура й середовище уніфікованого процесу композиції АКС
Формальні методи розробки програмного забезпечення
70
Формалізація технологічної мо-
делі АКС. Як показано на рис. 2, опера-
ції функцій керування варіабельністю
0F – 4F поділяють етап uET на чотири під-
етапи:
1) встановлення/актуалізація техно-
логічних регламентів, зокрема періодично-
сті й параметрів діагностичного монітори-
нгу задовільності варіабельності АКС
( uMR ) та умов її задовільності ( uSC ) для
етапу uET , низки наступних етапів, проце-
су в цілому (під-етап підтриманий функці-
єю 0F для 1u , 4F для 1u );
2) визначення/актуалізація складу
математичного апарату (постановок задач
uPS , методів їх розв’язання uMT , відсте-
жуваних метрик uME ) і засобів )( feTu ,
)(scTu , )(vmTu надання технічних сервісів
fe, sс, vm з (3) та вибір методу композиції
Веб-сервісів u для етапу uET (під-етап
підтриманий функцією 0F для 1u , 4F
для 1u );
3) узгоджене визначення/адапту-
вання моделі uFM обов‘язкових і зміню-
ваних функцій АКС для суб’єктів підтри-
муваних ділових процесів у цільовій ПрО,
передбачених на поточному етапі, інтегро-
ваної моделі варіабельності uVM і плат-
форми АКС uAP для реалізації функцій у
процесі конструювання домену для етапу
uET (змінення uFM підтримано функцією
0F для 1u , F4 для 1u , а змінення uAP
– 1F );
4) надання функцій з uFM перед-
баченим споживачам за допомогою ство-
рених ЦС і підтримка непередбаченого
змінення й зовнішнього компонування ЦС
поза межами АКС третіми особами до мо-
менту порушення умов задовільності варі-
абельності uSC (під-етап підтриманий фу-
нкціями 2F , 3F ).
Операції композиції окремих ЦС і
діагностичного моніторингу задовільності
варіабельності АКС на цьому під-етапі
співвідносяться між собою згідно з регла-
ментом моніторингу uMR (на рис. 2 пока-
зано типову ситуацію, коли спочатку
створено всі ЦС для надання функцій з
uFM , а потім відстежується задовільність
їх варіабельності для споживачів). Поряд
з діагностуванням потреби в узгодженому
адаптаційному зміненні моделей функцій
і платформи (позначеному на рис. 2 чор-
ним квадратиком), операції композиції
ЦС забезпечують також діагностування
поточної недоступності або незадовільної
якості (QoS) певних атомарних сервісів
uAPaw та дії з її опрацювання, названі
адаптаційним налаштуванням (показані
на рис. 2 білими кружечками). На відміну
від адаптаційного змінення, це налашту-
вання виконується у процесі конструю-
вання за стосунків, залишаючи незмінним
поточний опис aw (у процесі конструю-
вання домену).
Схарактеризовані вище продукти
розглянутих під-етапів етапу uET , крім
першого, утворюють чотири відносно ав-
тономні впорядковані шари uE1 – uE4 .
Як показано на рис. 2, разом з ре-
зультатами непередбачених змінень (за
допомогою відповідних операцій [11]) і
зовнішньої композиції ЦС на третьому
етапі ( uNS ), вони складають актуальний
(«верхній») фрагмент інформаційного се-
редовища етапу uET (позначений чотирма
великими шарами на рис. 2), де другий і
третій шари утворюють актуальний для
uET фрагмент АКС (5) і тому виділені на
рис. 2 жирним контуром.
У залежності від поточної стратегії
використання артефактів поточного етапу
на подальших етапах ( u ), ці фрагменти
повністю або частково впорядковано на-
копичуються, утворюючи «нижні» шари їх
інформаційного середовища (позначені на
рис. 2 маленькими «циліндрами»).
Отриману структуру фіксує
Визначення 2. У певний момент
];( )1( uu- ttt після останнього й до наступ-
ного адаптаційного змінення АКС (1) ін-
формаційне середовище етапу uET має ви-
гляд
Формальні методи розробки програмного забезпечення
71
))(()( i1,....,1i AEtENV uuu
uu NSAE ; (6)
uu EAE i4,....,1i ;
uuuu MEMTPSE1
)}(),(),({ vmtsctfet uuu ;
};;;{2 uuuu APVMFME
)};();(;{)(33 tEStTSSMtEE uuu
де )( iAEu – результат застосування стра-
тегії u до iAE ;
uE4 – ретроспектива етапу в складі
прийнятих стратегій і регламентів, прото-
колів операцій композиції ЦС, адаптацій-
ного налаштування, профілів застосовності
функцій, ЦС, термінальних композитних й
атомарних сервісів і протоколів монітори-
нгу (що містять профілі варіабельності [31,
32] згідно з її діагностичною моделлю [11]
і рекомендації щодо вдосконалення або
адаптаційного змінення).
У свою чергу, внутрішню структуру
моделі довільного етапу динамічної ком-
позиції АКС надає
Визначення 3. Модель певного n-го
етапу динамічної композиції АКС – це че-
твірка моделей його під-етапів для реалі-
зації функцій керування варіабельністю:
,1,3,2,1,4,
;1,3,2,1,0,
niSSM
niSSM
SM
in
in
n (7)
),,( inininiin RGCRSTRGSSM ;
o iO o = pp,,a,in,ot,c,ps,m,t,
де iii OOG – граф операцій функції
iF ;
У (7) застосовано такі позначення:
,, inin CRSTR inRG – відповідно,
множини стратегій, критеріїв оптимально-
сті й регламентів для цих операцій, задані
на першому під-етапі;
операція o визначена ролями вико-
навців ( AGa ), входами, результатами й
контекстом (in,out,с )(tENVu ), формаль-
ними постановками ( PSps ) і методами
( MTmt ) розв’язання необхідних задач,
застосовними засобами автоматизації
( ))()()()( MTTvmTscTfeTt .
AG – множина ролей суб’єктів
процесу (архітектор АКС, представник ор-
ганізації-постачальника, передбачений
споживач, підписувач (tenant), брокер,
член групи якості організації-
постачальника й організації-споживача,
третя особа ПрО);
PS – множина постановок задач,
розв’язуваних в операціях процесу (вияв-
лення оптимальних структур на графах, за-
дач про ранець і про призначення; іденти-
фікації структури багатовимірних даних;
експертно-аналітичного оцінювання з ви-
користанням дерева цінності, аналітичної
ієрархії, мережі Байєса як моделі переваг);
MT – перспективні методи
розв’язання задач за їх постановками з
PS .
)(),(),(),( MTTvmTscTfeT – перс-
пективні інструментальні засоби надання,
відповідно, сервісів редагування моделі
функцій (наприклад, FeatureIDE2 ), дина-
мічної композиції (наприклад, iServe +
ComposIT [13]), експертно-аналітичного
оцінювання (наприклад, програмний ком-
плекс «Діагностична експертиза» [33]) та
реалізації методів MT (наприклад,
МАТЛАБ).
Обов’язковими елементами – «яд-
рами» відповідних множин ,, inin CRSTR
inRG у виразі (7) є:
– стратегії: поповнення/перестук-
турування моделі функцій uFM , збере-
ження елементів актуального середовища
nAE для повторного використання, вико-
нання адаптаційного налаштування; ком-
позиції ЦС для передбачених функцій і
публікування ЦС в реєстрах Інтернет; ви-
користання даних діагностичного моніто-
рингу варіабельності;
2 https://github.com/FeatureIDE/FeatureIDE/wiki/Tutorial
Формальні методи розробки програмного забезпечення
72
– критерії: оптимальності складу й
структури композитного сервісу; задовіль-
ної використовності функції, ЦС, сервісу
платформи, визначення сервісів-клонів;
– регламенти: умови задовільності
варіабельності АКС, порушення яких іні-
ціює адаптаційне змінення, регламенти
початку й завершення операцій, регламен-
ти виконання й звітності операцій діагнос-
тичного моніторингу.
Нарешті, поєднання визначень 2 і 3
дозволяє формально описати розглянуту
вище (і показану на рис. 2) технологічну
модель за допомогою
Визначення 4. Технологічна модель
уніфікованого процесу динамічної компо-
зиції АКС (1) у деякий момент
];( )1( uu- ttt , 0n після останнього й до
наступного адаптаційного змінення – це
четвірка
ITSMtENVMAAGtTM nn , ),( , ,)( , (8)
MTPSMA ,
)( )( )( )(= MTTvmTsсTfeTIT ,
де збережено позначення з визначень 2 і 3.
Надана структура моделей етапу
процесу динамічної композиції nSM (7) і
його середовища )(tENVn (6) забез-
печують дотримання для запропонованої
підсумкової моделі (8) раціональних вимог
до операцій процесу, прийнятих для
моделей – її попередників [31, 32]:
– обґрунтованості – надання
підстав прийняття рішень щодо функцій;
– узгодженості способів вироб-
лення й реалізації цих рішень на п’яти
рівнях АКС [1, 2] і на всіх етапах його
композиції;
– масштабовності – незалежності
способу вироблення й реалізації зазначе-
них рішень від обсягу функційних
можливостей і призначення АКС;
– трасовності – можливості про-
стеження зв’язків між проявами варіа-
бельності різних типів [27] на п’яти рівнях
і на всіх етапах композиції АКС.
Висновки
Надано подальший розвиток запро-
вадженого автором підходу до ефективної
автоматизованої підтримки (не)передбаче-
но змінних розподілених ділових процесів
сучасних організацій за рахунок автомати-
зованого відбору й компонування викону-
ваних семантичних Веб-сервісів згідно з
виявленими потребами суб’єктів підтриму-
ваних процесів на етапах між їх змінення-
ми. Формалізовано технологічну модель
процесу композиції, який надає адаптив-
ний (здатний до змін поведінки для задо-
волення нових вимог і пристосування до
нових (не)передбачених ситуацій) і засто-
совний третіми сторонами семантичний
сервіс за його моделлю у руслі розвинуто-
го підходу.
Цей сервіс модельовано динаміч-
ною лінією (композитних) сервісів надан-
ня передбачених на етапах функцій, а про-
цес композиції – процесом керування варі-
абельністю такої лінії. Він поданий попов-
нюваною послідовністю етапів, обмежених
моментами адаптаційних змінень формо-
ваного адаптивного сервісу. Етапи уніфі-
ковано щодо методу композиції сервісів-
складників на функціональному й процес-
ному рівні.
Розроблена модель етапу подає йо-
го композицією операцій функцій керу-
вання варіабельністю адаптивного сервісу
як «лінії» (формування/адаптування пе-
редбачених функцій і платформи сервісів
їх реалізації, композиції сервісів надання
цих функцій, діагностичного моніторингу
варіабельності). Спільне інформаційне се-
редовище операцій поєднує: банки даних
постановок і методів для розв’язуваних
математичних задач, застосовних метрик
та описів інструментальних засобів; пото-
чне подання адаптивного сервісу як «лі-
нії»; ретроспективу етапу.
Розгортання запропонованого про-
цесу динамічної композиції адаптивного
семантичного Веб-сервісу в сучасних ор-
ганізаціях сприятиме підвищенню ефекти-
вності використання й реінжинірингу ді-
лових процесів з різнорідними й нестабі-
льними контекстами. Необхідна для цього
інтеграція до розглянутих моделей онтоло-
гічно базованої моделі функцій та їх уточ-
Формальні методи розробки програмного забезпечення
73
нення принаймні для відомого «мінімалі-
стського» методу компонування семанти-
чних Веб-сервісів, семантично анотованих
за допомогою дескриптивної логіки – пре-
дмет подальших досліджень автора.
Література
1. Андон П.І., Бабенко Л.П. Проблеми і мож-
ливості програмування в середовищі
SEMANTIC WEB. Проблеми програму-
вання. 2012. № 2-3. С. 363–373.
2. Андон П.І., Слабоспицька О.О. Збіркове
програмування компонентних і сервіс-
орієнтованих прикладних програмних сис-
тем. Проблеми програмування. 2017. № 3.
P. 31–51.
3. La Rosa M., Van der Aalst W.M.P., Dumas
M., Milani F.P. Business Process Variability
Modeling: A Survey. J.ACM Computing
Surveys (CSUR). 2017. Vol. 50. Is. 1.
P. 1–51.
4. Kazhamiakin R., Benbernou S., Baresi L. et
al. Adaptation of Service-Based Systems / //
In: M. Papazoglou et al. (Eds.): Service
Research Challenges and Solutions, LNCS
6500. Springer-Verlag Berlin Heidelberg,
2010. P. 117–156.
5. Alférez G.H., Pelechano V. Facing
uncertainty in Веб service compositions. Int.
J. of Services Computing. 2014. Vol. 2. N. 2.
P. 1–16.
6. Alférez G., Pelechano V., Mazo R. Dynamic
Adaptation of Service Compositions with
Variability Models. J. of Syst. and Software.
Vol. 91. 2014. P. 24–47.
7. Bucchiarone A. et al. Design for Adaptation
of Service-Based Applications: Main Issues
and Requirements. A. Dan, F. Gittler, and F.
Toumani (Eds.): ICSOC/ServiceWave 2009.
LNCS 6275. Springer-Verlag Berlin
Heidelberg, 2010. P. 467–476.
8. Zeginis C., Plexousakis D. Веб Service
Adaptation: State of the art and Research
Challenges. Technical Report 410. ICS-
FORTH, 2010. 66 p.
9. Moghaddam M., Davis J. Service Selection in
Web Service Composition: A Comparative
Review of Existing Approaches. In:
Bouguettaya A. Веб Services Foundations –
Springer: Science & Business Media, 2013.
P. 321–346.
10. Klusch M., Kapahnke P., Schulte S., Lecue F.
et al. Semantic Web Service Search: A Brief
Survey. 2015. [Electronic resourse]. Mode of
access: http://www.zora.uzh.ch/id/eprint/
134977/1/KI-SI_SemServ15.pdf.
11. Слабоспицька О.О. Рамкова модель адап-
тивного композитного сервісу в семантич-
ному Веб-середовищі. Проблеми програ-
мування. 2017. № 4. С. 51–65.
12. Mohr F. Automated Software and Service
Composition. A Survey and Evaluating
Review. SpringerBriefs in Computer Science,
2016. 120 p.
13. Rodriguez-Mier P., Pedrinaci C., Mucientes
M., Lama M. An Integrated Semantic Web
Service Discovery and Composition
Framework. 2015. [Electronic resourse].
Mode of access: https://arxiv.org/pdf
/1502.02840.pdf.
14. Rodriguez-Mier P., Mucientes M., Lama M.
Hybrid Optimization Algorithm for Large-
Scale QoS-Aware Service Composition. IEEE
Trans. on Services Comp., 2015. [Electronic
resourse]. Mode of access: https://arxiv.org/
pdf/1509.06254.pdf.
15. Kona S., Bansal A., Blake M.B., Gupta G.
Generalized semantics-based service
composition. IEEE Int. Conf. on web services
(ICWS), 2008. P. 219–227.
16. Bansal S., Bansal A., Gupta G., Brian Blake
M. Generalized semantic Web service
composition. Service Oriented Computing
and Applications. 2016. Vol. 10. Is. 2.
P. 111–133.
17. Pistore M., Spalazzi L., Traverso P. A
Minimalist Approach to Semantic
Annotations for Web Processes Compositions.
Proc. 3rd European SemanticWeb Conf.,
ESWC 2006. Budva, Montenegro, June 11-
14, 2006. P. 620–635.
18. Di Pietro I., Pagliareze F., Spalazzi L.
Semantic Annotation for Web Service
Processes in Pervasive Computing. 2009.
[Electronic resourse]. Mode of access:
https://www.researchgate.net/publication/22097
3856_Semantic_Annotation_for_Web_Service
_Processes.
19. Di Pietro I., Pagliareze F., Spalazzi L. Model
Checking Semantically Annotated Services.
IEEE Trans. Soft. Eng. 2012. Vol. 38. N 3.
P. 592–608.
20. Rodriguez-Mier P., Mucientes M., Lama M.,
Couto M.I. Composition of web services
through genetic programming. Evolutionary
Intelligence. 2010. N 3(3-4). P.171–186.
21. Sohrabi S., McIlraith S.A. Preference-Based
Web Service Composition: A Middle Ground
Формальні методи розробки програмного забезпечення
74
between Execution and Search. 2010.
[Electronic resourse]. Mode of access:
https://pdfs.semanticscholar.org/9f6a/4bb0b15
cb2a5381c4d574381ab461326827e.pdf.
22. Feng Y., Ngan L.D., Kanagasabai R.
Dynamic service composition with service-
dependent QoS attributes. // Proc. IEEE 20th
Int. Conf. on web services (ICWS). – 2013. –
P. 10–17.
23. Immonen A., Pakkala D. A survey of methods
and approaches for reliable dynamic service
compositions. Serv Oriented Comput Appl.
2014. N 8(2). P. 129–158.
24. Bucchiarone A. et al. Domain Objects for
Dynamic and Incremental Service
Composition / A.Bucchiarone, M. De Sanctis,
M. Pistore // In: Villari M.et al. (Eds.) Proc.
ESOCC 2014, Manchester, UK – LNCS 8745,
2014. – P. 62–80.
25. Kazhamiakin R., Marconi A., Pistore M.
Data-Flow Requirements for Dynamic
Service Composition. Proc. IEEE 20th
International Conference on Веб Sevices.
2013. P. 243–250.
26. Kapuruge M., Han J., Colman A. Service
orchestration as organization: Building multi-
tenant service applications in the Cloud. 2014.
363 p.
27. Nguyen T., Colman A., Han J.
Comprehensive Variability Modeling and
Management for Customizable Process-Based
Service Compositions. In: Bouguettaya A.
Веб Services Foundations – Springer: Science
& Business Media, 2013. P. 507–534.
28. Staikopoulos A., Cliffe O., Popescu R.,
Padget J., Clarke S. Template-Based
Adaptation of Semantic Web Services with
Model-Driven Engineering. IEEE Trans. on
Services Computing. 2010. Vol. 3. Is. 2.
P. 116–130.
29. Capilla R. et al. An overview of Dynamic
Software Product Line architectures and
techniques: Observations from research and
industry. J. Syst. Software. 2014. P. 1–21.
30. ISO/IEC 26550:2015 Software and systems
engineering. Reference model for product line
engineering and management. Ed. 2. 2015.
35 p.
31. Слабоспицька О.О. Технологічна модель
процесу автоматизованого виробництва
сімейств програмних систем. Проблеми
програмування. 2011. № 1. С. 39–48.
32. Слабоспицька О.О. Технологічна модель
процесу побудови та використання адап-
тивної композиції Веб-сервісів. Проблеми
програмування. 2015. № 2. С. 52–62.
33. Комп’ютерна програма “Програмний ком-
плекс формування та інтелектуального
узагальнення багатокритеріальних експер-
тних оцінок”. Настанова користувача. –
Свідоцтво про реєстрацію авторського
права на твір № 31357 від 14.12.2009. Київ:
Державний департамент інтелектуальної
власності МОНУ.
References
1. Andon P.I. The Problems and Opportunities
of Programming in SEMANTIC WEB /
P.I.Andon, L.P.Babenko // Problems of
Programming. – 2012. – N 2-3. – P. 363–373.
(In Ukrainian).
2. Andon P.I. Assembly Programming
Component and Service-Oriented Applied
Software Systems / P.I. Andon, О.O.
Slabospitska // Problems of Programming. –
2017. – N 3. – P. 31–51. (In Ukrainian).
3. La Rosa M. Business Process Variability
Modeling: A Survey / M.La Rosa, W.M.P.
Van der Aalst, M.Dumas, F.P.Milani //
J.ACM Computing Surveys (CSUR). – 2017.
– V. 50. – Is. 1. – P. 1–51.
4. Kazhamiakin R. Adaptation of Service-Based
Systems / R.Kazhamiakin, S.Benbernou,
L.Baresi et al. // In: M. Papazoglou et al.
(Eds.): Service Research Challenges and
Solutions, LNCS 6500. Springer-Verlag
Berlin Heidelberg, 2010. – P. 117–156
5. Alférez G.H. Facing uncertainty in Веб
service compositions. / G.H.Alférez,
V.Pelechano // Int. J. of Services Computing –
2014. – V.2. – N. 2. – P. 1–16.
6. Alférez G. Dynamic Adaptation of Service
Compositions with Variability Models /
G.Alférez, V.Pelechano, R.Mazo // J. of Syst.
and Software. – V. 91. – 2014. – P.24–47.
7. Bucchiarone A. et al. Design for Adaptation
of Service-Based Applications: Main Issues
and Requirements // A. Dan, F. Gittler, and F.
Toumani (Eds.): ICSOC/ServiceWave 2009. –
LNCS 6275. – Springer-Verlag Berlin
Heidelberg, 2010. – P. 467–476.
8. Zeginis C. Веб Service Adaptation: State of
the art and Research Challenges. Technical
Report 410 / C.Zeginis, D.Plexousakis – ICS-
FORTH, 2010. – 66 p.
9. Moghaddam M. Service Selection in Web
Service Composition: A Comparative Review
of Existing Approaches / M. Moghaddam, J.
Davis // In: Bouguettaya A. Веб Services
http://ieeexplore.ieee.org/search/searchresult.jsp?searchWithin=%22Authors%22:.QT.Athanasios%20Staikopoulos.QT.&newsearch=true
http://ieeexplore.ieee.org/search/searchresult.jsp?searchWithin=%22Authors%22:.QT.Owen%20Cliffe.QT.&newsearch=true
http://ieeexplore.ieee.org/search/searchresult.jsp?searchWithin=%22Authors%22:.QT.Owen%20Cliffe.QT.&newsearch=true
http://ieeexplore.ieee.org/search/searchresult.jsp?searchWithin=%22Authors%22:.QT.Julian%20Padget.QT.&newsearch=true
http://ieeexplore.ieee.org/search/searchresult.jsp?searchWithin=%22Authors%22:.QT.Julian%20Padget.QT.&newsearch=true
http://ieeexplore.ieee.org/search/searchresult.jsp?searchWithin=%22Authors%22:.QT.Siobhan%20Clarke.QT.&newsearch=true
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=4629386
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=4629386
http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=5503848
Формальні методи розробки програмного забезпечення
75
Foundations – Springer: Science & Business
Media, 2013. – P. 321–346.
10. Klusch M. Semantic Web Service Search: A
Brief Survey / M.Klusch, P.Kapahnke,
S.Schulte, F.Lecue et al. – 2015. 2015.
[Electronic resourse]. Mode of access:
http://www.zora.uzh.ch/id/eprint/134977/1/KI
-SI_SemServ15.pdf.
11. Slabospitska O.O. Reference model for
Semantic Web Adaptive Composite Service /
O.O.Slabospitska // Problems of
Programming. – 2017. – N 4. – P. 51–65. (In
Ukrainian).
12. Mohr F. Automated Software and Service
Composition. A Survey and Evaluating
Review / F.Mohr – SpringerBriefs in
Computer Science, 2016. – 120 p.
13. Rodríguez-Mier P. An Integrated Semantic
Web Service Discovery and Composition
Framework / P.Rodriguez-Mier, C.Pedrinaci,
M. Mucientes, M.Lama, 2015. [Electronic
resourse]. Mode of access:
https://arxiv.org/pdf/1502.02840.pdf.
14. Rodriguez-Mier P. Hybrid Optimization
Algorithm for Large-Scale QoS-Aware
Service Composition / P.Rodriguez-Mier,
M.Mucientes, M.Lama // IEEE Trans. on
Services Comp., 2015. [Electronic resourse].
Mode of access:
https://arxiv.org/pdf/1509.06254.pdf.
15. Kona S. Generalized semantics-based service
composition. / S.Kona, A.Bansal, M.B.Blake,
G.Gupta // IEEE Int. Conf. on web services
(ICWS), 2008. – P. 219–227.
16. Bansal S. Generalized semantic Web service
composition / S.Bansal, A.Bansal, G.Gupta,
M.Brian Blake// Service Oriented Computing
and Applications. – 2016. – V.10. – Is. 2. – P.
111–133.
17. Pistore M. A Minimalist Approach to
Semantic Annotations for Web Processes
Compositions / M.Pistore, L.Spalazzi,
P.Traverso – Proc. 3rd European
SemanticWeb Conf., ESWC 2006. – Budva,
Montenegro, June 11-14, 2006. – P. 620–635
18. Di Pietro I. Semantic Annotation for Web
Service Processes in Pervasive Computing /
I.Di Pietro, F.Pagliareze, L.Spalazzi – 2009.
[Electronic resourse]. Mode of access:
https://www.researchgate.net/publication/22097
3856_Semantic_Annotation_for_Web_Service
_Processes.
19. Di Pietro I. Model Checking Semantically
Annotated Services / I.Di Pietro, F.Pagliareze,
L.Spalazzi // IEEE Trans. Soft. Eng. – 2012 –
V.38. – N3. – P. 592–608.
20. Rodriguez-Mier P. Composition of web
services through genetic programming /
M.Mucientes, M.Lama, M.I.Couto // .
Evolutionary Intelligence. – 2010. – N 3(3-4).
– P.171–186.
21. Sohrabi S. Preference-Based Web Service
Composition: A Middle Ground between
Execution and Search. / S.Sohrabi,
S.A.McIlraith, 2010. [Electronic resourse].
Mode of access: https://pdfs.semantic
scholar.org/9f6a/4bb0b15cb2a5381c4d574381
ab461326827e.pdf.
22. Feng Y. Dynamic service composition with
service-dependent QoS attributes. Y.Feng,
L.D.Ngan, R.Kanagasabai // Proc. IEEE 20th
Int. Conf. on web services (ICWS). – 2013. –
P. 10–17.
23. Immonen A. A survey of methods and
approaches for reliable dynamic service
compositions. / A.Immonen, D.Pakkala //
Serv Oriented Comput Appl. – 2014 – N 8(2)
– P. 129–158.
24. Bucchiarone A. et al. Domain Objects for
Dynamic and Incremental Service
Composition / A.Bucchiarone, M. De Sanctis,
M. Pistore // In: Villari M.et al. (Eds.) Proc.
ESOCC 2014, Manchester, UK – LNCS 8745,
2014. – P. 62–80.
25. Kazhamiakin R. et al. Data-Flow
Requirements for Dynamic Service
Composition / R.Kazhamiakin, A.Marconi,
M.Pistore // Proc. IEEE 20th International
Conference on Веб Sevices – 2013. – P. 243-
250.
26. Kapuruge M. et al. Service orchestration as
organization: Building multi-tenant service
applications in the Cloud. / M.Kapuruge,
J.Han, A.Colman – 2014 – 363 p.
27. Nguyen T. Comprehensive Variability
Modeling and Management for Customizable
Process-Based Service Compositions /
T.Nguyen, A.Colman, J.Han // In:
Bouguettaya A. Веб Services Foundations –
Springer: Science & Business Media, 2013. –
P. 507–534
28. Staikopoulos A. Template-Based Adaptation
of Semantic Web Services with Model-Driven
Engineering / Staikopoulos A., O.Cliffe,
R.Popescu, J.Padget, S.Clarke // IEEE Trans.
on Services Computing. – 2010. – V.3. – Is.2.
– P.116-130.
29. Capilla R. et al. An overview of Dynamic
Software Product Line architectures and
techniques: Observations from research and
industry / R.Capilla // J. Syst. Software. –
2014. – P. 1–21.
http://ieeexplore.ieee.org/search/searchresult.jsp?searchWithin=%22Authors%22:.QT.Athanasios%20Staikopoulos.QT.&newsearch=true
http://ieeexplore.ieee.org/search/searchresult.jsp?searchWithin=%22Authors%22:.QT.Owen%20Cliffe.QT.&newsearch=true
http://ieeexplore.ieee.org/search/searchresult.jsp?searchWithin=%22Authors%22:.QT.Owen%20Cliffe.QT.&newsearch=true
http://ieeexplore.ieee.org/search/searchresult.jsp?searchWithin=%22Authors%22:.QT.Razvan%20Popescu.QT.&newsearch=true
http://ieeexplore.ieee.org/search/searchresult.jsp?searchWithin=%22Authors%22:.QT.Razvan%20Popescu.QT.&newsearch=true
http://ieeexplore.ieee.org/search/searchresult.jsp?searchWithin=%22Authors%22:.QT.Siobhan%20Clarke.QT.&newsearch=true
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=4629386
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=4629386
http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=5503848
Формальні методи розробки програмного забезпечення
76
30. ISO/IEC 26550:2015 Software and systems
engineering. Reference model for product line
engineering and management. Ed. 2. – 2015. –
35 p.
31. Slabospickaya O.О. Technological Model for
Software Family Automated Production
Process / O.О.Slabospickaya // Технологічна
модель процесу автоматизованого вироб-
ництва сімейств програмних систем / О.О.
Слабоспицька // Problems in Programming –
2011. – N 1. – С. 39-48. (in Ukrainian).
32. Slabospitska О.О. Technological Model for
the Process of Adaptive Web Service
Composition Engineering and Use /
О.О.Slabospitska // Problems in Programming
– 2015. – N 2. – P. 52–62. (in Ukrainian).
33. Computer program «Program complex for
multi-criteria expert estimates creating and
smart integrating». User’s guide. – A
certificate for author’s copyright state
registration N 31357 at 14.12.2009. – Kiev:
MESU State department for intellectual
property.
Одержано 15.01.2018
Про автора:
Слабоспицька Ольга Олександрівна,
кандидат фізико-математичних наук,
старший науковий співробітник.
Кількість наукових публікацій в
українських виданнях – більше 50.
Кількість наукових публікацій в
зарубіжних виданнях – 5.
http://orcid.org/0000-0001-6556-0947.
Місце роботи автора:
Інститут програмних систем
НАН України,
03187, Київ-187,
проспект Академіка Глушкова, 40.
Тел.: +38(044) 526 4286.
Е-mail: olsips2017@gmail.com
mailto:olsips2017@gmail.com
|