Диссертация Ғылыми кеңесші техника ғылымдарының докторы, профессор



бет31/47
Дата06.01.2022
өлшемі10,27 Mb.
#13941
түріДиссертация
1   ...   27   28   29   30   31   32   33   34   ...   47
ino

қызметке қол жеткізу кезінде тек бір операция орындалады. Өтпелі ti -


ino


Вер(tiino}, көшу ықтималдығын орнату қажет, ал 𝛴𝛴𝛴𝛴𝛴𝛴𝑝𝑝�𝑡𝑡𝑖𝑖 � = 1194T .
𝑖𝑖𝑖𝑖𝑖𝑖

Операциялық модель. OWL-S семантикалық сипаттау тілінде атом үрдісінің тұжырымдамасын WDSL жұмысын тиісті веб қызметі енгізілді. OWL- S сәйкес, үрдіс моделі төрт түрлер анықталады <I, О, Р, Е>, мен I - үрдіс кірісті, O - үрдіс шығу, R және Е -алғышарттар және әсерлер. P - үрдісінің алғышарт - домендік объектілері шарттары жүктеген жағдайларды көрсететін оның астында қойылатын логикалық өрнек, үрдістің орындалуы табысты болады. Е



  • үрдісінің әсері - үрдісінің табысты іске асыру нәтижесінде домен объектілермен үрдісі жағдайы кірістерінде қатысты логикалық өрнек.

Жұмыста [51] атом үрдісінің тұжырымдамасы нақтыланды, яғни: төрттікке шығуына енгізу көрсетілген. Атомдық үрдістің осы көзқарасына сәйкес Петри-Марков желісі түрінде орындалған операция үлгісі келесідей көрінеді (сурет 2.3):

Сурет 2.3 - Операциялар моделі
Ішкі желі o_in; fр, tр} - алғышарттарды талдау кезінде жанжалды жағдайды бейнелейді. Операция жұмыстың орындалуының алғышарттары орындалатын болса, жүйелі түрде жүзеге асырылады, яғни дұрыс шығарылым және доменде дұрыс өзгерістер (мысалы, шоттағы қаржының дұрыс дебеттелуі) алынады. Вер(fр) + Вер(tр) = 1өтпелі fр - Вер(fр) ықтималдығын және tp- Вер(1р) өтуді бастау ықтималдығын орнату керек.

Ішкі желі {рr;fe, tr}- әсерлері әзірленіп жатқан кезде туындайтын жанжалды жағдайды бейнелейді. Сыртқы дерекқорды өзгертуге сәтсіз әрекет жасаған кезде fe іске қосылады. Бұл жағдайда Вер( fe),+ Вер(fr) = 1.

Операциялық модельде, домен объектілеріндегі өзгерістер туралы мәліметтерді көрсеткіңіз келсе, әрбір нақты жағдайда әсер ету тәжірибесімен байланысты ішкі желі егжей-тегжейлі әзірлеуді қажет етеді.

Біріктірілген веб-қызметтің үлгісі. Белгілі бір серверде веб-қызметті орнатқан кезде, N үрдістері соңғы болып табылады. Егер қызмет коммерциялық болса, онымен жұмыс істеу клиентті аутентификациялауды талап етеді, егер ол ашық болса, онда оны сұрай алады. Сұрау әрқашан белгілі бір әрекеттің орындалуымен байланысты және жеке үрдісті алады. Операция аяқталғаннан кейін үрдіс босатылып, клиент туралы барлық ақпарат жойылады. Сондықтан, веб-қызметтердің құрамы туралы сөйлескенде, ол іс жүзінде операциялардың құрамына қатысты.

Түрлі қызметтерді бақылау операцияларын және бір сервистің бірнеше операциясы нәтижесінде алынған деректерді туралау үшін қажетті реформаларды іске асыру, - жобалау бизнес қосымшалар технологияларды

дамыту барысында «оркестрдің» веб-қызметтерді тұжырымдамасынан туындаған, сондықтан, сол қызмет бірнеше қызметтер жұмысын немесе бірнеше операцияларды пайдалану керек кезде деректер жүргізу үшін қажеттілігі бар. Деректер бірінші шығу бойынша алынған кезде дәйекті екі қызметтер ағынынан қоңырау басқа қоңырау кезінде, пайдаланылуы тиіс, мысалы арқылы сұрақты қарастырайық.



2.4. суретте әртүрлі (немесе бір) веб-қызметтердің әрекеттерін кезекті түрде шақыратын клиентті көрсетеді (бұл, өз кезегінде, веб-қызмет болуы мүмкін).

Сурет 2.4 - Веб-сервис жұмысын тізбекпен шақыру


C # немесе Java сияқты клиентке объектілі-бағытталған тілде әзірленетінін болжай отырып, деректердің қалай келісілгенін қарастырамыз.

Клиент WS_1 қызметі үшін генерацияланған прокси-кластың oWS_l нысанын және WS_2 қызметі үшін жасалған прокси-сыныптың oWS_2 нысанын жасайды. Қазіргі заманғы даму құралдары WSDL ақпараты негізінде прокси-кластерлерді жасауға мүмкіндік береді.

Бағдарламашы міндеті oWS_2 нысанының кіріс қасиеттерін oWS_l нысанының шығу қасиеттері арқылы көрсету болып табылады. Бұл қажеттілік байланыстағы қызметтерде шығу және енгізу кезінде семантикалық ұқсас хабарлар болса да, әртүрлі хабарлардың синтаксистік таңбалануын қолдануға болады. Мысалы, WS_1 қызметінің шығыс хабары XML элементтерін пайдалану арқылы ұсынылады (мысалы, Листинг 2.1) және WS_2 қызметінің кірісі XML төлсипаттарын (мысалы, 2.2 листингтегі мысалында) бірдей ақпаратты талап етеді.



    1. Достарыңызбен бөлісу:
1   ...   27   28   29   30   31   32   33   34   ...   47




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет