Վարոսյան, Աննա Սերգեյի

Վարոսյան, Աննա Սերգեյի

menu_book View materials

Books by this author (1)

Online

Technology

Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար

Աշխատությունը նվիրված է բիզնես գործընթացների շաբլոնների (workflow/process templates) փոփոխությունների ֆորմալ վերիֆիկացիայի մեթոդների ուսումնասիրությանը՝ ընդգծելով գործընթացների ճշգրտության, համատեղելիության և անվտանգության ապահովման խնդիրները։ Հեղինակը վերլուծում է բիզնես գործընթացների մոդելավորման հիմնական մոտեցումները՝ BPMN և նման ձևաչափեր, ինչպես նաև դրանց վրա հիմնված շաբլոնների կիրառումը տարբեր կազմակերպչական համակարգերում։ Գրքում դիտարկվում են փոփոխությունների ազդեցությունը գործընթացների վարքագծի վրա՝ ներառյալ կառուցվածքային փոփոխությունները, պայմանների փոփոխումը և կատարողական քայլերի վերադասավորումը։ Հատուկ ուշադրություն է դարձվում ֆորմալ վերիֆիկացիայի մեթոդներին՝ մոդել-ստուգում (model checking), Պետրի ցանցեր (Petri nets) և ժամանակային տրամաբանություններ, որոնք օգտագործվում են համակարգերի ճիշտության և անփոփոխ հատկությունների ստուգման համար։ Հեղինակը ներկայացնում է նաև փոփոխությունների ավտոմատ ստուգման ալգորիթմներ, որոնք թույլ են տալիս հայտնաբերել հակասություններ, փակուղիներ և անսահման ցիկլեր բիզնես գործընթացներում։ Աշխատությունը ընդգծում է գործընթացների հուսալիության և կառավարելիության բարձրացման նշանակությունը թվային փոխակերպման համատեքստում։ Այն օգտակար է ծրագրային ճարտարագետների, համակարգային անալիտիկների և բիզնես գործընթացների մոդելավորման մասնագետների համար։

Updated: 2026-08-29
Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար

Free

Նար-Դոս (Միքայել Հովհաննիսյան) Նար-Դոս (Միքայել Հովհաննիսյան) 1867 թ․ – 1933 թ․ Նար-Դոսը հայ հոգեբանական արձակի հիմնադիրներից է։ Նրա ստեղծագործություններում մեծ տեղ ունի մարդու ներաշխարհի վերլուծությունը և հոգեբանական հակասությունները։ Նա նկարագրել է քաղաքային կյանքը և հասարակության տարբեր խավերը։ Նրա վեպերն ու պատմվածքները աչքի են ընկնում իրատեսականությամբ։ Նար-Դոսի լեզուն պարզ է, բայց խորքային և դիտողական։ Նրա հերոսները հաճախ կանգնած են բարոյական ընտրությունների առաջ։ Նա մեծ ազդեցություն է ունեցել հայ արձակի զարգացման վրա։ Նրա ստեղծագործությունները մինչ օրս դասական են համարվում։ Նար-Դոսը համարվում է հայ հոգեբանական արձակի հիմնադիրներից մեկը։ Նրա ժառանգությունը շարունակում է ուսումնասիրվել։ menu_book13 Read more Պարույր Սևակ Պարույր Սևակ 1924 թ․ – 1971 թ․ Պարույր Սևակը հայ գրականության ամենախոր և վերլուծական մտածող բանաստեղծներից է։ Նրա ստեղծագործություններում մեծ տեղ ունեն մարդու ներաշխարհը, հասարակությունը և պատմական հիշողությունը։ Սևակը հայտնի է իր «Անլռելի զանգակատուն» պոեմով, որը նվիրված է Կոմիտասին։ Նրա լեզուն համարձակ է, նորարարական և մտավոր։ Սևակը հաճախ քննադատել է հասարակական խնդիրները և կեղծ արժեքները։ Նրա պոեզիան համադրում է զգացմունքներն ու ինտելեկտը։ Նա մեծ ազդեցություն է ունեցել հայ ժամանակակից պոեզիայի վրա։ Նրա ստեղծագործությունները լայնորեն ուսումնասիրվում են։ Սևակը համարվում է 20-րդ դարի ամենաազդեցիկ բանաստեղծներից մեկը։ Նրա ժառանգությունը շարունակում է ոգեշնչել նոր սերունդներին։ menu_book9 Read more Խաչատուր Աբովյան Խաչատուր Աբովյան 1809 թ․ – 1848 թ․ Խաչատուր Աբովյանը նոր հայ գրականության հիմնադիրն է։ Նա առաջիններից էր, ով գրական ստեղծագործություններ գրեց աշխարհաբար հայերենով։ Նրա ամենահայտնի ստեղծագործությունը «Վերք Հայաստանի» վեպն է։ Այդ վեպը նկարագրում է հայ ժողովրդի պայքարը և ազգային ոգին։ Աբովյանը եղել է նաև մանկավարժ և լուսավորիչ։ Նա մեծ ուշադրություն է դարձրել կրթության զարգացմանը։ Իր գործունեությամբ նպաստել է ժամանակակից հայ մշակույթի ձևավորմանը։ Նրա գաղափարները մեծ ազդեցություն են ունեցել հետագա գրողների վրա։ Չնայած կարճ կյանքին՝ նա թողել է հարուստ գրական ժառանգություն։ Նրա անհետացումը մինչև այսօր մնում է հայկական պատմության առեղծվածներից մեկը։ menu_book4 Read more Հրանտ Մաթևոսյան Հրանտ Մաթևոսյան 1935 թ․ – 2002 թ․ Հրանտ Մաթևոսյանը համարվում է 20-րդ դարի հայ արձակի մեծագույն վարպետներից մեկը։ Նրա ստեղծագործություններում խորությամբ ներկայացված են գյուղական կյանքը, մարդկային հարաբերությունները և ազգային մտածողությունը։Հրանտ Մաթևոսյանը հայ արձակի ամենամեծ վարպետներից է։ Նրա ստեղծագործություններում կենտրոնական տեղ ունի գյուղական աշխարհի, մարդու և բնության փոխհարաբերությունը։ Նա հայտնի է իր խորը հոգեբանական դիտարկումներով և յուրահատուկ լեզվով։ Նրա գործերը հաճախ ներկայացնում են մարդու ներքին պայքարը և ազգային մտածողությունը։ Մաթևոսյանի հայտնի գործերից են «Մենք ենք, մեր սարերը» և բազմաթիվ պատմվածքներ։ Նա մեծ ազդեցություն է ունեցել հայ ժամանակակից գրականության վրա։ Նրա լեզուն պատկերավոր և փիլիսոփայական է։ Նրա ստեղծագործությունները մինչ օրս ուսումնասիրվում են։ Նա համարվում է 20-րդ դարի հայ արձակի հիմնասյուներից մեկը։ Նրա ժառանգությունը ազգային արժեք է։ menu_book4 Read more Ներսես Շնորհալի Ներսես Շնորհալի 1102 թ․ – 1173 թ․ Ներսես Շնորհալին եղել է հայ եկեղեցու կաթողիկոս, բանաստեղծ և աստվածաբան։ Նա հայտնի է իր հոգևոր երգերով, աղոթքներով և բանաստեղծություններով։ Նրա ստեղծագործություններում մեծ տեղ են զբաղեցնում բարությունը, սերը և մարդասիրությունը։ Շնորհալին ձգտել է միավորել մարդկանց և ամրապնդել քրիստոնեական արժեքները։ Նրա գրական լեզուն պարզ է, բայց միևնույն ժամանակ խորիմաստ։ Նա նաև գրել է բազմաթիվ եկեղեցական շարականներ։ Ներսես Շնորհալու ստեղծագործությունները մինչ օրս օգտագործվում են հայկական եկեղեցական կյանքում։ Նրա ազդեցությունը զգալի է հայ մշակույթի և կրթության զարգացման մեջ։ Նա համարվում է հայ միջնադարյան գրականության ամենակարևոր դեմքերից մեկը։ Նրա անունը շարունակում է մնալ ազգային հպարտության աղբյուր։ menu_book2 Read more Ալեքսանդր Շիրվանզադե Ալեքսանդր Շիրվանզադե 1858 թ․ – 1935 թ․ Ալեքսանդր Շիրվանզադեն հայ ռեալիստական արձակի մեծագույն ներկայացուցիչներից է։ Նրա ստեղծագործություններում արտացոլված են հասարակության տարբեր խավերի կյանքը և սոցիալական խնդիրները։ Նա գրել է վեպեր, պատմվածքներ և դրամատիկական գործեր։ Շիրվանզադեն մեծ ուշադրություն է դարձրել մարդկային հարաբերություններին։ Նրա հերոսները հոգեբանորեն խորն են մշակված։ Նա համարձակորեն քննադատել է հասարակական անարդարությունները։ Նրա ստեղծագործությունները մեծ ճանաչում են ստացել նաև թատերական բեմերում։ Շիրվանզադեն համարվում է հայ արձակի դասականներից մեկը։ Նրա ազդեցությունը զգալի է հետագա գրողների ստեղծագործություններում։ Նա շարունակում է մնալ հայ գրականության կարևորագույն անուններից մեկը։ menu_book17 Read more