Основная задача сервис-ориентированной парадигмы – это облегчение автоматизи-рованной композиции сервисов мотивирована сценариями, развиваемыми в электронной коммерции и e-science. Проблема автоматизированной композиции начинается со спецификации цели "goal" сервиса и набора доступных для поиска сервисов. Композиция зависит от обнаружения соответствующих сервисов на семантическом уровне, в основном, через входные и выходные условия активностей, и сборки их в "приложение" целевого сервиса. Мы исследуем проблему полноты композиции, путем усиления запросов поиска сервисов, начиная от условий целевого сервиса. Более сильное условие может найти более релевантный сервис, без которого сборка целевого сервиса может быть невозможной. Проблема усиления условий изучается в различных логических языках, в данном случае, используются условия с порядковыми ограничениями.
Основне завдання сервіс-орієнтированої парадигми полягає у полегшенні автоматизованої композиції сервісів яке мотивоване сценарія-ми, що розвиваються в електронній комерції і e-science. Проблема автоматизованої композиції починається із специфікації мети "goal" сервісу і визначення набору доступних сервісів для пошуку. Композиція залежить від виявлення відповідних сервісів на семантичному рівні, в основному, через вхідні і вихідні умо-ви активностей, і збірки їх в "застосування" цільового сервісу. Ми досліджуємо проблему повноти композиції, шляхом посилення запитів пошуку сервісів, починаючи від умов цільового сервісу. Сильніша умова може знайти більш релевантний сервіс, без якого збірка цільового сервісу може бути неможливою. Проблема посилення умов вивчається в різних логічних мовах, у даному випадку, використовуються умови з порядковими обмеженнями.
A Basic task of the service oriented paradigm/SOA is facilitation the automated composition of services motivated by scenarios developed in electronic commerce and e-science. The problem of the automated composition is begun with the specification of "goal" service and set of accessible for a search existing services. Composition depends on finding out the proper services on semantic level, mainly, through the entry/exit conditions, and assembling them in a "application" as a purpose service. Based on this framework, we study in this paper a tightening problem which strengthens service discovery queries formulated from conditions in the goal service. A tighter condition can find more relevant services while a looser one may exclude the possibility of assembling a goal realization. The tightening problem is studied for conditions is studied in different logical languages, in this case, ones given for both integers and real numbers constraints.
