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

Տեխնոլոգիա

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