Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів

• Published in: Проблеми програмування
• Date: 2021
• Main Authors: Андон, П.І., Слабоспицька, О.О.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2021
• Subjects: Моделі і засоби систем баз даних та знань
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/183491
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів / П.І. Андон, О.О. Слабоспицька // Проблеми програмування. — 2021. — № 4. — С. 3-18. — Бібліогр.: 32 назв. — укр.

Розроблений авторами метод динамічної композиції адаптивного семантичного Веб-сервісу розви- нуто алгоритмами узгодженого застосування спеціальної OWL-S-специфікації контексту його виконання на етапах життєвого циклу та опрацювання циклічних залежностей на функціональному рівні композиції за допомогою формалізмів Cервісу-вузла, Cервісу-посередника й Cпрощення – для сталого забезпечення якості формованого Веб-сервісу. Запропоновано засвідчення рівня якості для причетних сторін шляхом динамічної верифікації, зокрема, перевірки відповідності запитаному контексту та живості, з використанням процесного числення контекстно-залежних амбієнтів. Надані алгоритми підвищують відповідність формованого Веб-сервісу очікуванням запитувачів та уможливлюють його стале контекстно-залежне уточнення для уніфікованої підтримки як змінних розподілених ділових процесів сучасних організацій, так і потреб споживачів певної галузі. Author’s Method for Adaptive Semantic Web Service dynamic composition is enriched with the algorithms for both its Context dedicated OWL-S-specification consistent using over its Life Cycle and Cyclic Dependencies at the function level solving with the Formalisms proposed of Knot-service, Proxy-service and Simplification – for sustain Quality implementing of Web Service being formed. Quality assurance for stakeholders is proposed through dynamic verification, in particular meeting the specified context and liveness, with the process Calculus of Context-aware Ambients. The algorithms proposed increase correspondence of Web Service being formed with Customers’ expectations and enable its sustain context-aware tailoring for unified support of both modern organizations’ variable and distributed Business Processes and some problem field Customers’ needs