Диссертация Ғылыми кеңесші техника ғылымдарының докторы, профессор
жүктеу/скачать 10,27 Mb.
|
Диссертация Муслимова А.К.-конвертирован
| P - позициялардың соңғы жиынтығы {р1, р2, ...,pn};
T - соңғы ауысулар жиынтығы {t1, t2, ...,tm}; R = R1∪R2 - бұл басқарылатын доғалардың соңғы жиынтығы, онда R1 ⊆ P × TR - кіріс жиіліктер жиынтығы, ал R2 ⊆ T × P - шығыс доғасының жиынтығы. Желілік позициялар белгіленген немесе таңбаланған, және таңбалау өтпелі үрдістердің нәтижесі ретінде өзгереді. Олар позицияларда желі арқылы жылжи алатын фишкалар орналастырылған деп айтады. Желілік позицияларға байланысты М таңбалауы <т1 >т2,...>тп>, тl≥ 156T 0, бүтін сандар мен сан болып табылады - рi питтегі фишкалар саны ретінде түсіндіріледі. Желінің жұмыс істеуі, өтпелі үрдістің «қосылуы» нәтижесінде оның шығу позицияларына көшудің бастапқы орындарынан фишкалардың қозғалысы ретінде түсіндірілген таңбаның өзгеруімен байланысты. Бұл желідегі сызбалық диаграммада түсіндіру оңай емес. Әрбір кіріс позицияларында кем дегенде бір чип болса, tk көшу белсендірілген болып саналады: ∀𝑖𝑖 < 𝑝𝑝𝑖𝑖, 𝑡𝑡𝑘𝑘 >⊂ 𝑅𝑅𝑖𝑖 → 𝑚𝑚𝑖𝑖 > 0 2.1сурет қақтығыс жағдайын көрсетеді: р2 позициясына t1және t2 позициялары бәсекелеседі, бірақ олардың біреуі ғана жұмыс істеуге тиіс. а) б) в) а)<1, 1, 1> белгілерін іске қосқанда, t1 және t2 өтпелері белсендіріледі, бірақ желі b) <1,0,0,1> жағдайына немесе c) <0,0,1,1 > Сурет 2.1 - Желінің жұмысы анықтаусыз Желінің жұмысын таңбалаудан таңбалауға көшудің «тактикасы» арқылы бақылауға болады. Негізгі ереже - әрбір цикл тек бір ғана өтуді бастайды. Жолақтар бір-біріне қарама-қайшы болса да, олар уақытпен байланыстырыла алмайды - өткелдер бірден орындалады. Классикалық Петри желісінің көптеген кеңейтімі бар. Олардың біреуі «өтпелі кезең» және қақтығыстарды шешу ықтималдығы «жұмыс істейтін» кездейсоқ аралық уақытты енгізумен байланысты. 2.1 суреттегі желі үшін р2 позициясындағы чиптің болуымен туындаған қақтығысты шешкен кезде t1және t2, - вер (t1) = 0.2 және вер (t2) = 0.8 ауысулар ықтималдығын анықтай аласыз. Бұл желі кейде Петри-Марков желісі деп аталады [55]. Петри-Марков желілерін сервистік-бағытталған бағдарламалар мен композиттік қызметтерді талдау кезінде пайдалану пайдалы. Бұдан басқа Петри желілерін талдауға байланысты келесі классикалық мәселерді шешуге ғана емес, сонымен бірге нәтиженің ықтималдық бағалауына қол жеткізуге болады: Қолжетімділікті талдау. Бастапқы белгілеу кезінде Петри торында М1 белгілерінің бар-жоғын анықтау керек және осы оқиғаның ықтималдығын бағалау қажет. Өміршеңдік ауысуларды талдау. Өміршеңдік ауысулар жағдайында Мо бастапқы маркасында оның жұмыс істеу мүмкіндігі түсініледі. Бұл оқиғаның ықтималдығын бағалау қажет. Желінің қауіпсіздігін талдау. Қауіпсіз желі Петри желісі деп аталады, онда әрбір позициядағы бірден көп белгі болуы мүмкін емес. Желінің қауіпсіздігін бағалау қажет, қажет болған жағдайда оның құрылымын өзгерту қажет. Петри желілерін пайдаланып веб-қызметтердің композицияларын талдау өте танымал. Осылайша, композициялық алгебра ұсынылады [56]. Алайда, модельдердің дерексіз алгебралық манипуляциясы семантикалық тұрғыдан мағыналы композицияға әкелуі мүмкін. Әсіресе, WSBPEL арнайы тілдердің бірінде іскерлік қосымшаларды спецификациялаудан алынған үлгілерді талдау тәсілдері жиі кездеседі. Бизнес-үрдістерді ерекшелігі жобалаушы өзіне белгілі веб- қызметтеріне баса назар аударады немесе дамыту, төтенше жағдайларда, оларды табу немесе өңдеу ниетті болғандықтан, нәтижесінде Петри таза семантикалық түсінеді және интерпретациялана алады, және оны талдау ресми түрде даму тұтастығын тексеруге мүмкіндік береді. Веб-қызметтің үлгісі. 2.2. суретте веб-қызметтің жалпы моделін Петри- Марков желісі түрінде ұсынады. Сурет 2.2 - Петри-Марков желісі түріндегі веб-қызметтің жалпы моделі Белгілі бір қызметтің моделі параметрлерін анықтау арқылы айқындалады, атап айтқанда, жанжалды жағдайларды шешу ықтималдығы, операциялардың орындалу уақытын бөлу параметрлері. Бұл модель қызмет көрсетудің статистикалық параметрлерін бағалауды алуға мүмкіндік береді. Ішкі желі {psoар_in;fа, ta} - аутентификация кезінде қақтығыс жағдайын бейнелейді. fа- Вер (tа) өтуінің ықтималдығын және өту ta– Вер(tа) ықтималдығын орнату қажет. Осы уақытта Вер (fа) + Bер (tа) = 1. Ішкі желі {рin; fiino,..., tn } - операцияны таңдау жағдайын бейнелейді. Әр
жүктеу/скачать 10,27 Mb. Достарыңызбен бөлісу:
|