Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար / Formal verification of changes for business process templates
Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար / Formal verification of changes for business process templates
No Thumbnail Available
Date
2011
Authors
Վարոսյան, Աննա Սերգեյի / Varosyan Anna
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ
Abstract
Բիզնես պրոցեսները (ԲՊ) հանդիսանում են տարբեր տեսակի աշխատանքների հոսքերի(workflow) վարքի նկարագրման և իրականացման կարևոր բաղկացուցիչ մասը / Целью данной работы является формальная верификация изменений в шаблонах бизнес процессов / The aim of the thesis is to solve the formal verification problem of changes made on business process templates
Description
Ե.13.04 «Հաշվողական մեքենաների, համալիրների, համակարգերի ցանցերի մաթեմատիկական և ծրագրային ապահովում» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2011 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Կ. Շուքուրյան ; Պաշտոնական ընդդիմախոսներ՝ Է. Մ. Պողոսյան, Ա. Մ. Վասիլյան ; Առաջատար կազմակերպություն՝ Հայ-Ռուսական (Սլավոնական) համալսարան ; Սեղմագիր՝ 24 էջ։
Keywords
Տեխնիկական գիտություններ / Engineering & Technology