Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів
Розроблений авторами метод динамічної композиції адаптивного семантичного Веб-сервісу розви- нуто алгоритмами узгодженого застосування спеціальної OWL-S-специфікації контексту його виконання на етапах життєвого циклу та опрацювання циклічних залежностей на функціональному рівні композиції за допомог...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2021 |
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2021
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/183491 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів / П.І. Андон, О.О. Слабоспицька // Проблеми програмування. — 2021. — № 4. — С. 3-18. — Бібліогр.: 32 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862713907417710592 |
|---|---|
| author | Андон, П.І. Слабоспицька, О.О. |
| author_facet | Андон, П.І. Слабоспицька, О.О. |
| citation_txt | Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів / П.І. Андон, О.О. Слабоспицька // Проблеми програмування. — 2021. — № 4. — С. 3-18. — Бібліогр.: 32 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Розроблений авторами метод динамічної композиції адаптивного семантичного Веб-сервісу розви- нуто алгоритмами узгодженого застосування спеціальної 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
|
| first_indexed | 2025-12-07T17:46:44Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-183491 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T17:46:44Z |
| publishDate | 2021 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Андон, П.І. Слабоспицька, О.О. 2022-03-27T17:53:37Z 2022-03-27T17:53:37Z 2021 Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів / П.І. Андон, О.О. Слабоспицька // Проблеми програмування. — 2021. — № 4. — С. 3-18. — Бібліогр.: 32 назв. — укр. 1727-4907 DOI: https://doi.org/10.15407/pp2021.04.003 https://nasplib.isofts.kiev.ua/handle/123456789/183491 519.164:004.14 Розроблений авторами метод динамічної композиції адаптивного семантичного Веб-сервісу розви- нуто алгоритмами узгодженого застосування спеціальної 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 uk Інститут програмних систем НАН України Проблеми програмування Моделі і засоби систем баз даних та знань Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів Means for Quality Implementation and Assurance of Context-Aware Semantic Web Service Composition Article published earlier |
| spellingShingle | Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів Андон, П.І. Слабоспицька, О.О. Моделі і засоби систем баз даних та знань |
| title | Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів |
| title_alt | Means for Quality Implementation and Assurance of Context-Aware Semantic Web Service Composition |
| title_full | Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів |
| title_fullStr | Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів |
| title_full_unstemmed | Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів |
| title_short | Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів |
| title_sort | засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів |
| topic | Моделі і засоби систем баз даних та знань |
| topic_facet | Моделі і засоби систем баз даних та знань |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/183491 |
| work_keys_str_mv | AT andonpí zasobizabezpečennâtazasvídčennââkostíkontekstnozaležnoíkompozicíísemantičnihvebservísív AT slabospicʹkaoo zasobizabezpečennâtazasvídčennââkostíkontekstnozaležnoíkompozicíísemantičnihvebservísív AT andonpí meansforqualityimplementationandassuranceofcontextawaresemanticwebservicecomposition AT slabospicʹkaoo meansforqualityimplementationandassuranceofcontextawaresemanticwebservicecomposition |