VPELJAVA CELOVITEGA MODELA OBRAVNAVE IZJEM ZNOTRAJ STORITVENO USMERJENE ARHITEKTUREKocbek, Andrej (Avtor) Jurič, Matjaž (Mentor) Rozman, Ivan (Komentor) storitveno usmerjena arhitekturaobravnava izjempolitika obravnave izjemupravljavec izjemposlovni procesBPELStoritveno usmerjena arhitektura predstavlja evolucijo porazdeljenih računalniških sistemov in temelji na konceptih interoperabilnih storitev. Ena izmed vidnejših pomanjkljivosti storitveno usmerjene arhitekture je njena pomanjkljiva podpora obravnavi izjem. To predstavlja precejšnjo oviro pri gradnji kompleksnih in za izvedbo nalog ključno pomembnih aplikacij. Učinkovita obravnava izjem v poslovnih procesih in orkestriranih spletnih storitvah tako predstavlja atribut zanesljivosti izvajanja modelov poslovnih procesov. V doktorski disertaciji se osredotočimo na vpeljavo celovitega modela obravnave izjem znotraj storitvene usmerjene arhitekture. V ta namen predlagamo formalni model za specifikacijo obravnave izjem na osnovi politik in strategij obravnave izjem v modelih poslovnih procesov z namenom vzpostaviti in omogočiti večjo odpornost procesov na izjeme. Predlagani formalni model podamo s pomočjo matematičnega zapisa. S formalnim modelom naslovimo izpostavljene pomanjkljivosti obravnave izjem procesno usmerjenih izvršljivih jezikov v storitveno usmerjeni arhitekturi. Formalni model je zasnovan tako, da je neodvisen od procesnega jezika. Izvedljivost formalnega modela preverimo z njegovo preslikavo v jezik za izvajanje poslovnih procesov (BPEL), ki predstavlja de-facto standard za orkestracijo storitev znotraj storitveno usmerjene arhitekture. Učinkovitost predlaganega formalnega modela preverimo z merjenjem kompleksnosti procesnih modelov ob podpori uporabe procesno usmerjenih metrik. A. Kocbek]20142014-03-17 10:08:22Doktorska disertacija43863UDK: 004.434:005(043.3)COBISS_ID: 273214976NUK URN: URN:SI:UM:DK:FNRTVHD3sl