Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів
Розроблений авторами метод динамічної композиції адаптивного семантичного Веб-сервісу розви- нуто алгоритмами узгодженого застосування спеціальної OWL-S-специфікації контексту його виконання на етапах життєвого циклу та опрацювання циклічних залежностей на функціональному рівні композиції за допомог...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2021 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2021
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/183491 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів / П.І. Андон, О.О. Слабоспицька // Проблеми програмування. — 2021. — № 4. — С. 3-18. — Бібліогр.: 32 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-183491 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів |
| spellingShingle |
Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів Андон, П.І. Слабоспицька, О.О. Моделі і засоби систем баз даних та знань |
| title_short |
Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів |
| title_full |
Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів |
| title_fullStr |
Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів |
| title_full_unstemmed |
Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів |
| title_sort |
засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів |
| author |
Андон, П.І. Слабоспицька, О.О. |
| author_facet |
Андон, П.І. Слабоспицька, О.О. |
| topic |
Моделі і засоби систем баз даних та знань |
| topic_facet |
Моделі і засоби систем баз даних та знань |
| publishDate |
2021 |
| language |
Ukrainian |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Means for Quality Implementation and Assurance of Context-Aware Semantic Web Service Composition |
| 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
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/183491 |
| citation_txt |
Засоби забезпечення та засвідчення якості контекстно-залежної композиції семантичних веб-сервісів / П.І. Андон, О.О. Слабоспицька // Проблеми програмування. — 2021. — № 4. — С. 3-18. — Бібліогр.: 32 назв. — укр. |
| 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 |
| first_indexed |
2025-12-07T17:46:44Z |
| last_indexed |
2025-12-07T17:46:44Z |
| _version_ |
1850872540254175232 |