Modelovanie a analýza workflow procesov Diplomová práca FEI Študijný program: Študijný odbor: Aplikovaná informatika Aplikovaná infor

Prepis

1 Modelovanie a analýza workflow procesov Diplomová práca FEI Študijný program: Študijný odbor: Aplikovaná informatika Aplikovaná informatika Školiace pracovisko: Ústav informatiky a matematiky Školiteľ: Ing. Ondrej Gallo Bratislava 2 Bc. Ľubomíra Belicová

2 ANOTÁCIA DIPLOMOVEJ PRÁCE Slovenská technická univerzita v Bratislave FAKULTA ELEKTROTECHNIKY A INFORMATIKY Študijný odbor: Aplikovaná informatika Študijný program: Aplikovaná informatika Autor: Bc. Ľubomíra Belicová Diplomová práca: Modelovanie a analýza workflow procesov Vedúci diplomovej práce: Ing. Ondrej Gallo Mesiac, rok odovzdania: máj 2 Kľúčové slová: BEA Aqua Logic, Petriho sieť, biznis proces, workflow Diplomová práca sa zaoberá modelovacím nástrojom BEA Aqua Logic od spoločnosti Oracle a formálnou notáciou biznis procesov alebo workflow procesov pomocou Petriho sietí. Cieľom práce bolo vytvoriť transformáciu biznis procesov z prostredia BEA Aqua Logic do notácie Petriho sietí. Ako biznis procesy sú uvedené dva príklady. Prvým príkladom je proces štúdia na vysokej škole, ktorý je vytvorený podľa Zákon č. 3/22 Z. z. a druhým príkladom je proces zadávania príkladov do informačného systému. Tieto transformácie boli realizované pomocou simulácie uvedených biznis procesov v prostredí BEA Aqua Logic. Následne podľa vlastností Petriho sieti a správania sa simulácie sa vytvorili preklady jednotlivých aktivít biznis procesov z BEA Aqua Logic do Petriho sietí. Výsledkom tejto práce je prekladový slovník medzi nástrojom BEA Aqua Logic a formálnou notáciou Petriho sietí. iii

3 MASTER THESIS ABSTRACT Slovak University of Technology in Bratislava FACULTY OF ELECTRICAL ENGINEERIG AND INFORMATION TECHNOLOGY Branch of Study: Applied Informatics Study Programme: Applied Informatics Author: Bc. Ľubomíra Belicová Master Thesis: Modelovanie a analýza workflow procesov Supervisor: Ing. Ondrej Gallo Year, Month: May 2 Keywords: BEA Aqua Logic, Petri net, business process, workflow This thesis deals with modeling tools from BEA Aqua Logic, which was created by Oracle, and formal notation of business processes or workflow processes using Petri nets. The objective of this document was to create a transformation of business processes from the environment of BEA Aqua Logic in Petri net notation. There are listed two examples as business processes. The first example is the process of study at college, which is created under the Act No. 3/22 and the second example is the process of entering examples into the information system. These transformations were carried out using the simulation set of business processes in an environment of BEA Aqua Logic. Subsequently according to the characteristics of Petri nets and conduct simulations were created the translation of business process activities from BEA Aqua Logic in Petri nets. The conclusion of this work is a dictionary between the tool BEA Aqua Logic and formal notation of Petri nets. iv

4 Poďakovanie Touto cestou ďakujem odbornému vedúcemu mojej diplomovej práce Ing. Ondrejovi Gallovi a Ing. Fedorovi Lehockému za pomoc, pripomienky a cenné rady poskytnuté pri jej vypracovaní. v

5 ČESTNÉ PREHLÁSENIE Prehlasujem, že som celú diplomovú prácu vrátane všetkých príloh vypracovala samostatne s využitím uvedených zdrojov literatúry. Pri zadaní diplomovej práce som bola oboznámená s predpismi na jej vypracovanie. V Bratislave, dňa 2. mája 2...podpis študenta vi

6 Obsah Úvod.BEA Aqua Logic. Vývojové prostredie BEA Aqua Logic.2 Projekty, procesy a BPM objekty.2. Processes.2.2 Organization.2.3 Catalog.3 Inštancia procesu a jej premenné.4 Aktivity, prechody a ich charakteristiky.4. Aktivita: Begin.4.2 Aktivita: End.4.3 Aktivita: Interactive.4.4 Aktivita: Grab.4.5 Aktivita: Decision.4.6 Aktivita: Automatic.4.7 Aktivita : Process Creation.4.8 Aktivita: Termination Wait.4.9 Aktivita: Process Notification.4. Aktivita: Notification Wait.4. Aktivita: Split a Join.4.2 Aktivita: Split N a Join.4.3 Aktivita: Global Creation.4.4 Aktivita: Global Automatic.4.5 Aktivita: Subflow.4.6 Prechody medzi aktivitami 2.Petriho sieť 2. Základné pojmy 2.2 Petriho siete 2.3 Lineárne - algebraická koncepcia 2.4 Značkovanie a spustenie Petriho sietí 3.Modelovanie biznis procesov 3. Proces : Štúdium na vysokej škole 3.. Popis procesu vii

7 3..2 Proces realizovaný v BEA Aqua Logic 3..3 Proces preložený do Petriho Sietí 3.2 Proces 2: Zadanie príkladu 3.2. Popis procesu Proces 2 realizovaný v BEA Aqua Logic Proces 2 preložený do Petriho sieťach 4.Záver viii

8 Úvod Workflow proces, alebo inak nazývaný aj biznis proces, sa skladá z postupnosti spojených krokov. Môžeme si to predstaviť ako postupnosť operácií alebo úloh, ktoré môžu vykonávať osoby, skupiny. Alebo to môže byť jednoduchý alebo aj komplexný mechanizmus. Workflow procesy sú navrhované tak, aby sme dosiahli určitý zámer alebo výsledok procesu. Medzi jednoduché príklady biznis procesov patrí prijímanie zamestnancov, spracovanie predajných objednávok, alebo úhrada výdavkov podniku. Taktiež môžu byť namodelované komplexnejšie obchodné procesy podľa potrieb konkrétnej organizácie či spoločnosti. Existujú rôzne nástroje na modelovanie biznis procesov. Avšak v záverečnej práci si predstavíme nástroj BEA Aqua Logic alebo inak Aaqua Logic Business Process Management (ALBPM), ktorý umožňuje modelovať biznis procesy pomocou svojich aktivít a prechodov medzi nimi. Avšak tento nástroj neumožňuje žiadnu analýzu biznis procesov. Pomocou tohto nástroja je možné iba simulovať daný biznis proces a takýmto spôsobom analyzovať rôzne nedostatky modelu. Avšak takouto analýzou nie je možné odhaliť všetky nedostatky modelu. Ak by sme mali prípad komplexnejšieho modelu, tak nemusíme odsimulovať všetky možné postupností, ktoré môžu nastať v procese. A zároveň je simulácia náročná na čas. Preto je výhodnejšie vykonať analytickú časť procesu na inom modely a to napríklad pomocou Petriho sietí. V druhej kapitole sa zaoberáme teóriou grafov, ktorej časťou sú aj Petriho siete. Pomocou Petriho sietí je možné modelovať biznis procesy a následne ich podrobiť analýze. Výhodou je to, že takto vyjadrený model je vyjadrený formálnym, matematicky presne definovaným jazykom. V súčasnosti už existujú rôzne analýzy, ktoré môžeme využiť. Tie ale nie sú súčasťou tejto práce. V druhej kapitole zaoberáme teóriou grafov, ktorá sa spája s Petriho sieťami. Petriho sieť je špeciálna skupina grafov, pomocou ktorých je možné modelovať biznis procesy formálnym spôsobom a tak umožňuje aj analýzu modelu podľa známych algoritmov. Lenže neexistuje žiadny prekladací nástroj medzi modelovacím prostredím BEA Aqua Logic a formálnou notáciou Petriho sietí. Preto si v tretej kapitole prestavíme dva procesy vytvorené v prostredí BEA Aqua Logic. Pomocou simulácie a vlastností jednotlivých aktivít nástroja BEA Aqua Logic preložíme do Petriho sietí. V diplomovej práci by sme mali dosiahnuť preklad biznis procesov namodelovaných v BEA Aqua Logic do Petriho sietí a tak vytvoriť prekladový slovník. Pomocou tohto slovníka by bolo možné prekladať biznis procesy z BEA Aqua Logic do Petriho sietí.

9 . BEA Aqua Logic V nasledujúcej kapitole si predstavíme nástroj na modelovanie biznis procesov, ktorého názov je BEA Aqua Logic Business Process Management, ktorý zahŕňa metódy, techniky a nástroje na podporu navrhovania, prijímania, riadenie a analýzu prevádzky biznis procesov. Tento produkt od spoločnosti Oracle je postavený na objektovo - orientovanej platforme Java, ktorý umožňuje vývojárovi vytvárať procesy jednoduchým spôsobom na platforme, ktorá je dnes veľmi preferovaná. Ďalej si predstavíme vývojové prostredie a základné pojmy, ktoré sa spájajú s nástrojom ALBPM, a ktoré budeme používať pri opise, ako sme realizovali navrhnuté procesy.. Vývojové prostredie BEA Aqua Logic Obr. Môžeme vidieť základné vývojové prostredie Bea Aqua Logic Studio. Obr. Prostredie BEA Aqua Logic Prostredie BEA Aqua Logic Studio, si môžeme rozdeliť na týchto päť častí: 2

10 . Ľavý panel prostredia, kde sa nachádzajú dva menšie panely Project Navigator (Navigátor projektu) a Outline (Profil). Pričom Outline je zobrazenie štruktúry aktuálne otvoreného súboru. 2. Pravý panel, kde môžeme vidieť premenné projektu, alebo inštančné premenné. 3. Spodný panel na zobrazenie chýb nazvaný Problems (Problémy), kde môžeme vidieť chyby pri kompilácií alebo upozornenia, ktoré môže spôsobovať nesprávne fungovanie procesu. 4. Pracovné prostredie uprostred celého okna BEA Aqua Logic, ku ktorému patria aj ikony na hornej lište. Tieto ikony predstavujú aktivity programu, ktoré si popíšeme na strane Ikony na hornej lište, ktoré umožňujú nastavenie prostredia v podobe uloženia projektu cez ikonu diskety, spustenie simulácie pomocou zeleného trojuholníka alebo dolaďovanie pomocou ikony zeleného chrobáka. V nasledujúcich podkapitolách si predstavíme bližšie Project Navigator, pracovné prostredie a pravý panel s inštančnými premennými prostredia BEA Aqua Logic..2 Projekty, procesy a BPM objekty Projekty nám poskytujú spôsob ako organizovať, rozvíjať a riadiť rôzne procesy, užívateľov, komponenty procesu. Každý projekt obsahuje nasledujúce zložky, ktoré sú viditeľné v Project Navigátor ako môžeme vidieť na Obr. 2. Zložky (Slovenský preklad) Processes (Procesy) Organization (Organizácia) Simulation (Simulácie) Catalog (Katalóg) webroot Custom Views (Vlastné zobrazenia) External Resources (Vonkajšie zdroje) Charakteristika Obsahuje Procesy, Procedúry, a Screenflotwy definované pre projekt. V rámci časti procesy môžeme vytvárať zložky pre usporiadanie zložiek procesu. Obsahuje organizačné elementy, ktoré sú definované pre projekt. Obsahuje simulácie definované pre celý projekt. Zobrazuje zoznam zložiek, ktoré sú dostupné celému projektu. Obsahuje zložky používateľského rozhrania, ako sú HTML stánky a Java Server stránky. Obsahuje zobrazenia a prezentácie, ktoré sú definované pre lokálne testovanie v ALBPM Studio. Obsahuje informácie o spojení pre externé zdroje ako sú databázy. Tabuľka : Zložky Project Navigator Pre prehľadnosť a zrozumiteľnosť textu budeme ďalej používať anglický vyraz pre zložky Project Navigator. V nasledujúcich podkapitolách si bližšie predstavíme zložku Processes, Organization a Catalog, ktoré používame aj v našich biznis procesoch. 3

11 Obr. 2 Project Navigator.2. Processes V tejto časti Project Navigatora sú zobrazené všetky procesy projektu. Proces je logická reprezentácia biznis procesu rozdelená na niekoľko krokov, ktoré zodpovedajú rôznym úlohám alebo funkciám. Sú zložené z logických krokov, ktoré nazývame aktivity, ktoré si bližšie predstavíme na strane 7. Každej aktivite je priradená rola. Role naznačujú, kto bude vykonávať konkrétnu aktivitu. A aktivity prepájame prechodmi s cieľom logicky definovať workflow sekvenciu z aktivity do aktivity. Prechody môžu byť nepodmienené, podmienené, časové alebo výnimky a tieto prechody si opíšeme na strane 7. V zložke Processes sú aj tzv. Screenflow procesy. Screenflow je interaktívny tok s užívateľom. Screenflow je podobný procesom v tom, že má grafické zobrazenie ako pri procesoch a má Begin a End aktivity (pozri 9). Majú tiež svoje vlastné premenné inštancie. Screenflows sa líšia od biznis procesov v tom, že celý proces je vykonaný jediným účastníkom a sú volané z interaktívnej aktivity. Proces ďalej nepokračuje, kým nie je vykonaný screenflow. Používajú sa na realizáciu interaktívnej aktivity, pretože v nich môžeme volať prezentácie, ktoré sú popísane na strane 6.[4].2.2 Organization Každý proces v projekte musí vždy pracovať s nejakou organizačnou štruktúrou. To znamená, že zložku organization musíme vždy definovať pre každý projekt. V rámci projektu, zložka organization môže predstavovať úplne, alebo sčasti reálne organizačné štruktúry spoločnosti. V nástroji BEA AquaLogic, je zložka organization definovaný týmito prvkami: Organizačné zložky (Organizational Units) Role (Roles) Skupiny (Groups) Účastníci (Participants) 4

12 Dovolenka (Holidays) Kalendáre (Calendars) Biznis Parametre (Business Parameters) Budeme v procesoch používať iba súčasti Role a Účastníci, ktoré si popíšeme nižšie. Role Role používame na reprezentovanie funkcií, ktoré vykonávajú ľudia vo svojej organizačnej štruktúre. Role sú priradené k účastníkom alebo skupinám. A tieto priradenia definujú oprávnenia účastníkov alebo skupín v rámci procesu. Účastníci Účastníci sú ľudia, ktorí sú súčasťou organizačnej štruktúry a zvyčajne sú to koncoví požívatelia. Účastníkom sa priradujú role a každý účastník môže mať jednu alebo viac rolí..2.3 Catalog Projekty vytvorené v BEA Aqua Logic Studio môžu komunikovať s vonkajšími zdrojmi, ukladať komplexné dáta o každej inštancii, alebo v spolupracovať s užívateľom pomocou webového rozhrania. To sa vykonáva pomocou štandardných, alebo užívateľom definovaných BPM objektov. BPM objekty sú súčasťou modulov. Nasledujúce štandardné moduly sú súčasťou každého nového projektu: Fuego Java Plumtree Avšak do týchto štandardných modulov nemôžeme pridávať vlastné BPM Objekty. Môžeme, však pridávať svoje vlastné moduly projektu do zložky Catalog. Ďalej si predstavíme niektoré BPM objekty. BPM objekty BPM Objekt sú vývojárom definované zložky, ktoré obsahujú atribúty, metódy a prezentácie. Objekty BPM môžu byť použité na zapuzdrenie akéhokoľvek typu informácií, ktoré proces vyžaduje. V našich procesoch budeme hlavne používať atribúty a prezentácie. Atribúty sú dátové elementy, ako napríklad premenné slúžiace na ukladanie dát, ktoré definujú a opisujú BPM objekt. Prezentácie BPM objektu sú v podstate HTML formuláre, ktoré buď zobrazujú údaje, alebo umožňujú vložiť dáta do BPM atribútov objektu. Prezentácia môže ukázať všetky alebo iba niektoré z atribútov objektu BPM. Každý objekt BPM môže obsahovať jednu alebo viacero prezentácií. Každé z pole v prezentácií je viazané na jeden z atribútov BPM objektu. Prezentácia poskytuje jednoduchý spôsob ako koncovému používateľovi umožniť 5

13 zobrazenie alebo zadanie atribútov objektu BPM. Ak je vytvorený BPM objekt, je to iba dátový kontajner a nie je možného ho zobraziť až do vytvorenia prezentácie, ktorá ho umožňuje zobraziť.[4] V tabuľke 2 môžeme vidieť dátové typy atribútov BPM objektov. Dátový typ Bool Int Decimal Real String Time Interval Binary Any Charakteristika Boolean (hodnoty TRUE a FALSE) Celé číslo (Integer) Desatinné číslo s definovanou presnosťou Reálne číslo s pohyblivou desatinnou čiarkou Textový reťazec Dátum, čas, dátum a čas hodnoty Časový interval Obsahuje binárne súbory ako obrázok alebo zložka Obsahuje ľubovoľný typ dát ako vo Visual Basicu Tabuľka 2: Dátové typy atribútov BPM objektov.3 Inštancia procesu a jej premenné Zadefinovali sme si pojem biznis proces, aby však mohli byť tieto procesy vykonané potrebujeme inštanciu procesu. Inštancia procesu je špecifický prvok, ktorý prechádza jednotlivými krokmi procesu, vykonáva úlohy a prenáša premenné, ktoré so sebou nesie. Napríklad v biznis procese, ktorý sa zaoberá nákupom prostriedkov, tak jeho inštancia bude každá individuálna objednávka nákupu. V procese môže byť ľubovoľný počet inštancií, ktoré sa križujú, pretože je tam ľubovoľný počet objednávok objednaných v systéme. Každá inštancia má osobitnú históriu a vlastnosti. Každá inštancia má svoj začiatok a koniec, ako sú definované v biznis procese. Keď inštancia prechádza procesom, tak môže byť spracovaná rôznymi účastníkmi, alebo môže byť spracovaná automaticky softvérom. Inštanciu môžeme vytvoriť pomocou aktivít: Global Creation - popísané na strane 6. Subflow popísané na strane 7. Process Creation popísané na strane 2. 6

14 V pravej časti okna BEA Aqua Logic sa nachádza panel s premennými, ktorý nám umožňuje ich spravovať. Premenné sú hodnoty zapísané v pamäti procesu. Každá premenná má svoj názov, popis, typ a hodnotu. ALBPM používa rôzne kategórie premenných podľa toho, kde sú použité. Nasledujúca tabuľka popisuje kategórie premenných v ALBPM projekte: Premenná Inštančná Projektová Preddefinované Lokálne Popis Ukladá informácie premennej z celého procesu. Ukladá informácie premennej z celého projektu. Pri zverejnení projektu je premenná dostupná aj externe. Poskytujú preddefinované informácie na nastavenie alebo získanie informácie z inštancie procesu. Ukladá premenné iba v rámci BP metódy a sú dostupné iba tam, kde sú vytvorené. Tabuľka 3: Kategórie premenných projektu V našich procesoch budeme používať iba inštančné, preddefinované a lokálne premenné. Dátové typy premenných sú také isté ako v tabuľke 2.[4].4 Aktivity, prechody a ich charakteristiky V strednej časti nástroja BEA Aqua Logic sa nachádza pracovné prostredie, kde môžeme realizovať vývoj biznis procesov. Nad pracovným prostredím sa nachádza panel s ikonami aktivít. Biznis procesy si môžeme rozdeliť do týchto aktivít, z ktorých každá môže obsahovať jednu alebo viac úloh. V tabuľke 4. vidíme tri druhy aktivít. Interaktívne, ktoré spolupracujú s rolami. Automatické, tie sú vykonávané bez použitia role a aktivity, ktoré nám vytvárajú kópie inštancie. Aktivity sú rozdelené aj farebne, ako to môžeme vidieť aj v prostredí ALBPM. Ďalej budeme používať anglické výrazy pre aktivity, aby sme zachovali prehľadnosť a zrozumiteľnosť textu. 7

15 Druh aktivity Slovenský výraz Anglický výraz Interaktívne Interactive Uchopenie Grab Interaktívne Rozhodnutie Decision Globálne vytvorenie Global Creation Začiatok Begin Koniec End Automaticky Automatic Proces Vytvárania Process Creation Automatické Čakanie na ukončenie Termination Wait Proces Notifikácie Process Notification Notifikácia Čakanie Notification Wait Podproces Subflow Rozdelenie Split Rozdeľujúce inštanciu Rozdelenie -N / Spojenie Split - N / Join Tabuľka 4: Druhy aktivít Nasledujúca tabuľka popisuje jednotlivé kategórie aktivít. Kategória Popis Aktivity Spustenie procesu / funkcia ako začiatočný a konečný Begin, End skončenie aktivít bod pre proces. Aktivity sú automaticky generované a definujú rozsah procesu. Interakcia ľudskej Umožňuje užívateľovi interakciu Interactive, Grab, Decision aktivity s procesom. Interakcia systémovej aktivity Spracováva automatiky. Automatic Riadenie interaktívnych aktivít Riadenie procesov aktivity Globálne aktivity Pomenovanie aktivít Povoľuje komunikáciu s inými oblasťami a procesmi. Proces riadenia toku inštancií, alebo vytváranie kópií inštancie procesu, aby mohli prechádzať viacerými cestami naraz. Ovládanie globálnych požiadaviek, ktoré nesúvisia s inštanciou procesu. Tabuľka 5: Popis aktivít Process Creation, Termination Wait, Process Notification, Notification Wait, Split, Split n, Join Global Creation, Global Automatic Odporúča sa pomenovať aktivitu slovesom a následne podstatným menom tak, aby sa špecifikovalo, kto a čo robí daná aktivita v procese. Takéto popisné názvy aktivít robí 8

16 proces samo dokumentujúcim. Napríklad vytvoriť objednávku, vyexpedovať produkt, skontrolovať kredity. Ak je aktivita pomenovaná, nemožno ju zmeniť. Avšak, je možné zmeniť menovku aktivity, ktorá je zobrazená koncovému užívateľovi. V procesoch sa tiež budeme snažiť zachovávať toto pravidlo samozrejme vzhľadom na slovenčinu. Charakteristika aktivít V tejto časti si bližšie predstavíme jednotlivé aktivity, ich vlastnosti a možnosti ich spájania v procese s inými aktivitami..4. Aktivita: Begin Aktivita Begin je vstupným bodom do každého procesu a vytvára inštanciu procesu. Premenné inštancie sú nastavené pre každú inštanciu, ktorá prechádza aktivitou Begin. Ak je vytvorený nový proces, ALBPM automaticky vytvorí aktivitu Begin. A v každom procese môže byť iba jedna aktivita Begin. Inštancia môže vstúpiť do aktivity Begin s argumentmi, ktoré sú inicializované pomocou nasledovných aktivít: Global Automatic, ktorú si definujeme na strane 6. aktivita Subflow definovaná na strane 7. Process Creation popísaná na strane 2. Do aktivity Begin nemôžu vstupovať žiadne prechody, musí však mať aspoň jeden prechod, ktorý z nej vychádza. Aktivita Begin nemôže mať vychádzajúci prechod smerujúci do aktivity Grab..4.2 Aktivita: End Obr. 3 Ikona aktivity Begin Ďalšou základnou aktivitou je End. Je vždy posledná aktivita v procese, ktorá predstavuje výstupný bod z procesu. Keď si vytvoríme nový proces, systém ALBPM automaticky vytvorí aktivitu End. Taktiež ako Begin, v jednom procese môže byť iba jedna aktivita End. 9

17 End transformuje premenné inštancie na argumenty, ktoré môžu byť následne poskytnuté iným procesom alebo pre externé aplikácie. Po dokončení môže aktivita End tok inštancie posunúť do niektorých z nasledujúcich aktivít: Do aktivity Subflow, ktorá volá podproces. Ak proces začal iným procesom s použitím aktivity Process Creation, aktivita End môže vrátiť inštanciu volanému procesu pomocou aktivity Termination Wait. Alebo do externej aplikácie. Aktivita End musí mať najmenej jeden vstupujúci prechod a z aktivity Endu môže vystupovať iba prechod smerujúci do aktivity Grab..4.3 Aktivita: Interactive Obr. 4 Ikona aktivity End Obr. 5 Ikona aktivity Interactive Interactive umožňuje pridať interakciu užívateľa do procesu. Môžeme v nej použiť viac metód, aby sa automaticky vyvolali komponenty, ktoré si vyžadujú interakciu koncového užívateľa. Metóda aktivity Interactive môže byť tak zložitá, ako je potrebné na splnenie interaktívnej úlohy a každá interaktívna činnosť môže obsahovať viacero úloh. Úlohy sú zoznamy funkcií, ktoré môžu byť vykonávané, zatiaľ čo je inštancia v aktivite. Každá úloha môže byť vyžadovaná, alebo sa môže opakovať. Interactive aktivita musí byť pridaná vždy nejakej roly. Taktiež musí mať najmenej jeden prichádzajúci a jeden odchádzajúci prechod.

18 .4.4 Aktivita: Grab S aktivitou Grab môžeme pružne riešiť výnimky v procese a môžeme tak prerozdeliť inštancie podľa potreby, aby sme zmenšili počet podmienok a komplikácií. Aktivita Grab je najviac používaná v úlohách, ktoré spravujú vedúce role v rámci procesu. To umožňuje vedúcim rolám v procese sledovať tok inštancie. Aktivita Grab sa môže využiť na ľahké presúvanie inštancií z jednej fronty úloh do inej. Aktivita Grab si vyžaduje aspoň jeden prichádzajúci prechod a rolu, na ktorú sa viaže, ale nevyžaduje si žiadny vystupujúci prechod..4.5 Aktivita: Decision Obr. 6 Ikona aktivity Grab Aktivita Decision je typ interaktívnej aktivity, ktorá predstavuje koncovému užívateľovi Obr. 7 Ikona aktivity Decision zoznam možností a vyzve ich, aby urobili Decision rozhodnutie (t.j. čo robiť ďalej), zatiaľ čo je navrhnutá odpoveď na základe predchádzajúcich skúseností. Aktivita Decision je ideálna v situáciách, kedy užívateľ potrebuje učiniť rozhodnutie o trase inštancie procesu do jednej z viacerých prechodov. Ak pridáme aktivitu Decision do modelu procesu, potom je možné pomôcť užívateľom pri rozhodovaní sa na základe špecifických premenných procesu. Rozhodnutia koncového užívateľa sa zaznamenávajú a robí sa štatistická analýza na návrhy pre budúce rozhodnutia. Tento algoritmus je založený na Support Vector Machines (SVMs) metóde. Zaznamenané rozhodnutia sú vyhodnotené a prezentované koncovému užívateľovi ako súbor percentuálnych pravdepodobností. To umožňuje užívateľom urobiť rozhodnutie založené na základe akcií predchádzajúcich užívateľov.

19 K aktivite Decision musí prislúchať aj rola, ktorá učiní rozhodnutie. Táto aktivita musí mať aspoň jeden prichádzajúci a jeden odchádzajúci prechod..4.6 Aktivita: Automatic Automatické činnosti nevyžadujú žiadny priamy zásah koncového užívateľa. Aplikácie a komponenty s aktivitou Automatic by nemali vyžadovať žiadne zásahy užívateľa. Aplikácie a komponenty zvyčajne bežia na vzdialenom serveri a práca sa vykonáva na pozadí. Niektoré typické použitia sú: Aktualizácia databázy. Obr. 8 Ikona aktivity Automatic Zasielanie ovej notifikácie. Zasielanie ových potvrdení zákazníkom.4.7 Aktivita : Process Creation Obr. 9 Ikona pre aktivitu Process Creation Process Creation aktivita sa používa na asynchrónne volanie iného procesu a používa sa pri nasledujúcich situáciách: Na rýchle splnenie úloh tak, že súčasne je spustených viacero procesov. Na vytvorenie komplexného biznis procesu viac zrozumiteľnejším tak, že sa použije Process Creation ako aktivita na abstraktné predstavenie základného procesu. Aj keď Process Creation je podobná aktivite Subflow v tom, že obe aktivity volajú podproces, Process Creation je odlišný od aktivity Subflow nasledujúcimi spôsobmi: 2

20 Vyvoláva podproces asynchrónne, čo znamená, že proces rodič nemusí čakať na svoj detský proces, aby mohol inštanciu posunúť ďalej. Je zodpovedný za vyvolanie podprocesu, ale podproces nemá žiadnu požiadavku na návrat do volajúceho procesu. Ak potrebujeme zachytiť proces, slúži nám na to aktivita Termination Wait. Process Creation musí mať aspoň jeden prichádzajúci prechod a jeden vystupujúci prechod..4.8 Aktivita: Termination Wait Termination Wait poskytuje voliteľný synchronizačný bod v rodičovskom procese pre Obr. Ikona aktivity Termination Wait detský proces iba, ak "sa udrží vzťah s dieťaťom" a táto vlastnosť je povolená v aktivite Process Creation. Aktivita Terminaton Wait sa používa vždy v kombinácii s aktivitou Process Creation. Kombinácia aktivít Termination Wait a Process Creation je veľmi podobná aktivite Subflow. Výhodou kombinovania aktivít Process Creation a Termination Wait je v tom, že zatiaľ čo podproces beží, v hlavnom procese sa môžu vykonávať ďalšie aktivity až pokiaľ sa nedostaví inštancia k aktivite Termination Wait. Termination Wait je voliteľná aktivita a nie je nutné ju vždy použiť. Iba ak chcete zastaviť chod inštancie, dokiaľ sa detský proces nedokončí. Aktivita Termination Wait musí mať aspoň jeden vystupujúci a jeden vstupujúci prechod..4.9 Aktivita: Process Notification Process Notification a Notification Wait pracujú spoločne, aby umožnili komunikáciu Obr. Ikona aktivity Process Notification medzi procesmi. Inštancia procesu sa zastaví pred aktivitou Notification Wait, kým nedostane notifikáciu od príslušnej aktivity Process Notification. Process Notification 3

21 informuje čakajúcu inštanciu v aktivite Notification Wait, keď združená inštancia dorazí do danej aktivity. Táto notifikácia uvoľní inštanciu z aktivity Notification Wait, aby pokračovala ďalej v procese..4. Aktivita: Notification Wait Aktivita Notification Wait pozastaví proces, kým nedostane notifikáciu od inej aktivity alebo externého programu. Notification Wait čaká na odpoveď z jedného z nasledujúcich akcií: Notification Wait, ako vedľajší proces, je založená na vzťahu dieťa/rodič alebo rodič/dieťa. externý program využívajúci Process Application Program Interface (PAPI). Inštancia čaká v aktivite Notification Wait na aktivitu Process Notification alebo na vonkajšiu udalosť, aby sa poslala správa do aktivity Notification Wait na pokračovanie inštancie procesom. Výnimkou môže byť časový prechod, ktorý môžeme pridať do tejto aktivity. To znamená, že keď nám vyprší čas pre časový prechod, tak inštancia pokračuje ďalej po tomto prechode aj keď neprišla žiadna správa alebo udalosť, na ktorú inštancia mala čakať..4. Aktivita: Split a Join Obr. 2 Ikona aktivity Notification Wait Aktivita Split umožňuje inštancií prechádzať cez niekoľko paralelných ciest v tom istom čase. Počet kópií inštancie, ktoré generuje aktivita Split je súčet odchádzajúcich nepodmienených prechodov plus podmienené prechody, ktoré sa vyhodnotia na TRUE a teda budú vykonané. Obr. 3 Ikona Aktivít Split a Join 4

22 Split je aktivita, ktorá sa musí spájať so zodpovedajúcou aktivitou Join s cieľom dokončiť obvod a pokračovať v procese. Aktivity Split alebo Join vytárajú obvod, z ktorého nemôžu vystupovať, alebo vstupovať prechody mimo tohto obvodu. Výnimkou tohto pravidla je aktivita Grab, ktorá dokáže toto pravidlo obísť. Avšak inštancia, ktorá bola zobratá aktivitou Grab, môže byť poslaná iba do tejto aktivity alebo na koniec procesu, teda do aktivity End a nikdy do žiadnej aktivity mimo obvodu Split / Join. Keď inštancia dôjde k aktivite Split, pôvodná inštancia sa okamžite presunie k zodpovedajúcej aktivite Join a kópie hlavnej inštancie prechádzajú cez aktivity vo vnútri obvodu Split / Join..4.2 Aktivita: Split N a Join Obr. 4 Ikona aktivity Split N a Join Split - N sa používa na rozmnoženie inštancií na N kópií. Najjednoduchší spôsob znázornenia ako funguje Split - N je predstaviť si proces, kde spoločnosť žiada návrhy od externých dodávateľov. Spoločnosť chce získať viac ponúk od rôznych dodávateľov a použije BP - metódu pre výber najnižšej ponuky, ktorá spĺňa požiadavky spoločnosti. BP metóda v aktivite Split N vytvorí individuálne kópie hlavnej inštancie a nastaví ich premenné. Keď hlavná inštancia príde k aktivite Split - N, automaticky prejde do prislúchajúcej aktivity Join a čaká na svoje kópie, ktoré prechádzajú ďalej po aktivitách v obvode Split N / Join. Avšak, existujú štyri výnimky tohto pravidla: Ak je presne stanovený počet kópií, tak pôvodná inštancia opúšťa aktivitu Join, keď dorazí daný počet kópií. Ak je vystupujúci časový prechod z aktivity Join, inštancia musí nasledovať podmienky tohto prechodu. Ak je nastavený čas pre celý proces, tak po jeho uplynutí je hlavná inštancia zrušená. Ak je činnosť premennej nastavená na uvoľnenie inštancie v aktivite Join, potom musí inštancia aktivitu opustiť. Kópie inštancie automaticky zdedia všetky atribúty hlavnej inštanciu, keď opustia Split - N aktivitu. Ak užívateľ pridá, alebo zmení prílohu kópie inštancie, prílohy sa automaticky spoja s hlavnou inštanciou po dosiahnutí aktivity Join. 5

23 Aktivity v rámci časti procesu Split - N /Join, tak ako pri aktivite Split, nemôžu mať žiadne prechody z alebo do tohto obvodu. Výnimkou tohto pravidla je aktivita Grab, tak ako pri aktivite Split uvedenej na strane Aktivita: Global Creation Obr. 5 Ikona aktivity Global Creation Aktivita Global Creation je jedna z možností ako vytvoriť novú inštanciu v procese. Keď spustíme aktivitu Global Creation, inicializujeme tak inštanciu. Každý užívateľ, definovaný v procese môže ovládať aktivitu Global Creation, ak je mu aktivita pridelená. Global Creation má implicitný prechod na aktivitu Begin v danom procese..4.4 Aktivita: Global Automatic Aktivita Global Automatic nemá žiadnu priamu interakciu koncového užívateľa. Aplikácie alebo komponenty sú volané Global Automatic aktivitou a zvyčajne bežia na vzdialenom serveri. Obr. 6 Ikona aktivity Global Automatic Global Automatic aktivity sú užitočné na spracovanie skupinových správ, alebo sťahovanie súborov v nastavených časoch. Global Automatic aktivita môže byť tiež použitá ako poslucháč udalostí v procese. Môžeme ju naprogramovať na počúvanie portu alebo určitej udalosti, ako je kliknutie na tlačidlo myši koncovým užívateľom alebo, zlé pripojenie ku vzdialenej zložke. A potom, na základe takejto udalosti sa vykonajú určité druhy pokynov alebo akcií. Inštancia prechádzajúca procesom nemá žiadnu spojitosť s aktivitou Global Automatic. Global Automatic aktivity: 6

24 Automaticky spúšťajú BP - metódy bez príchodu inštancie, aj keď sa môžu ovplyvňovať s inštanciou v BP - metóde. Tieto druhy BP - metódy nefungujú priamo s inštanciou, ale napríklad môžu jej poslať upozornenie. Nemôžu byť spustené ručne..4.5 Aktivita: Subflow Obr. 7 Ikona aktivity Subflow Aktivitu Subflow používame na volanie podprocesu, ktorý predstavuje iný proces v spoločnosti, alebo je to proces v inej spoločnosti. Subflow nám umožní urobiť nasledovné: Robí zložitý proces zrozumiteľnejším. Umožňuje opakované použitie podprocesu a jeho aktivít. Môžeme navrhnúť, aby sa podprocesy vykonávali medzi rôznymi servermi na zlepšenie výkonu..4.6 Prechody medzi aktivitami Ďalej si predstavíme spojenia medzi aktivitami nazvané prechody. Prechod je most medzi dvoma aktivitami, ktorý používa orientované šípky na zobrazenie smeru toku inštancie. Inštancia logicky prechádza procesom podľa orientovaných prechodov. Typy prechodov BEA Aqua Logic ponúka mnoho typov prechodov. Najbežnejšie prechody sú v tabuľke 6. 7

25 Prechod Nepodmienený Podmienený Časový Popis Inštancia prechádza prechodom bez podmienok. Inštancia prechádza prechodom, ak sú splnené určité podmienky. Inštancia prechádza prechodom závisle od času. Nepodmienený prechod Tabuľka 6: Typy prechodov Keď si proces vyžaduje neobmedzený chod medzi dvomi aktivitami, mal by sa použiť nepodmienený prechod. Tento typ predstavuje prechod inštancie medzi dvomi aktivitami bez podmienok. Každá aktivita by mala mať aspoň jeden vystupujúci prechod, avšak aktivity Global Creation, Global, Global Automatic a End nemajú žiadne vystupujúce prechody. Ďalej platí, že prechod bez podmienky a podmienený prechod nemôže smerovať do rovnakej aktivity. Podmienené prechody Na obmedzený prestup medzi dvomi aktivitami je v ALBPM určený podmienený prechod. Podmienený prechod znamená, že inštancia prejde do ďalšej aktivity alebo iba vtedy, ak sú splnené zadané podmienky. Aktivity nemôžu mať prechody s podmienkou a bez podmienky v rovnaký čas do rovnakej aktivity. Časový prechod Časový prechod sa využíva, keď je v procese potrebné, aby sa inštancia posunula do ďalšej aktivity po určitom čase. Tento typ prechodov sa využíva pri spracovávaní procesu do termínu. Aktivita môže mať iba jeden časový prechod do druhej aktivity.[4] 8

26 2. Petriho sieť V predchádzajúcej kapitole sme predstavili modelovací nástroj BEA Aqua Logic, ktorý nám pomocou svojich aktivít umožňuje vytvárať biznis procesy. Avšak, tento nástroj nám umožňuje iba simulovanie namodelovaného procesu a neumožňuje žiadnu analýzu. A tak nám môžu vzniknúť situácie, kde inštancia začne opakovane prechádzať po určitých aktivitách a nikdy nedosiahne svoj cieľ, lebo sa zacyklí. Pomocou simulácie to môžeme, ale aj nemusíme odhaliť, preto si v tejto kapitole predstavíme matematické riešenie modelovania biznis procesov pomocou Petriho sietí. Zadefinujeme si základné pojmy a vysvetlíme si výhody v rámci použitia v biznis procesoch, aby sme ich mohli používať v ďalšej kapitole pri preklade procesov z ALBPM do Petriho sietí. Pri pohľade na biznis procesy, vieme že sa skladajú z interaktívnych uzlov. Každý uzol môže byť systém, alebo môže byť súčasťou nejakých biznis procesov. Tieto komponenty môžu pracovať súčasne, t.j. jeden komponent môže plniť jednu zo svojich funkcií zatiaľ, čo iný komponent vykonáva svoje funkcie. Napríklad zákazník pri bankomate môže vykonávať vklad zatiaľ, čo iný zákazník pri inom bankomate v rovnakej sieti môže vyberať hotovosť. Ak sa pozrieme z pohľadu systému, tak tieto dve aktivity nie sú nezávislé: zmenia stav v systéme tým, že zmenia výšku vkladu (aktív) v banke. Zoberme si teraz prípad, keď dvaja zákazníci pristupujú k rovnakému účtu - manžel a manželka, ktorí majú spoločný účet. Synchronizáciou dvoch operácií vznikajú problémy. Všimnime si, že tam nie je žiadny pevne stanovený postup, aby nedošlo ku kolízií. Vklad môže byť vykonávaný pred výberom hotovosti alebo naopak. Avšak presný postup by mohol viesť k rôznym výsledkom, preto banky vyvinuli podrobné predpisy týkajúce sa načasovania a nastavenia sekvencií vkladov a výberov. Takéto problémy súbežnosti v systémoch zaujala Carla Adama Petriho, ktorý ich v roku 962 predstavil vo svojej dizertačnej práci, ako špeciálnu triedu všeobecných grafov alebo sietí, ktoré sa dnes nazývajú Petriho siete. Použitie Petriho sietí vedie k formálnemu opisu štruktúry biznis procesov, ktoré potom môžu byť skúmané analyticky. [] 2. Základné pojmy Petriho siete sú zvláštnym typom grafov, preto začneme s niektorými základnými pojmami z teórie grafov. Graf sa skladá z dvoch typov základných elementov: prechody alebo vrcholy a hrany. Definícia: graf G = (V, E, Φ) sa skladá z neprázdnej množiny V, ktorá sa nazýva množina vrcholov grafu, množina E nazývaná ako súbor hrán grafu, a zobrazenie Φ z množiny hrán E do množiny dvojíc prvkov V.[2] 9

27 Obr. 8 Príklad grafov Ak je dvojica vrcholov spojená hranou a je určený smer, potom hrana je orientovaná a šípka je umiestnená na okraji a ukazuje smer odkiaľ kam. Ak sú všetky hrany grafu orientované, potom graf sám je nazývaný orientovaný graf alebo digraf. Tri príklady grafov sú znázornené na Obr. 8. Všimnime si, že prvý z nich, sa skladá iba z dvoch nespojených hrán, preto ho možno považovať za neorientovaný graf. Dva vrcholy, ktoré sú spojené hranou v grafe, sa volajú priľahlé vrcholy. Vrcholy nemusia byť znázornené len ako body, môžu byť zastúpené ako kruhy, štvorce, alebo akýkoľvek iný vhodný symbol pre konkrétne aplikácie. Keď graf obsahuje paralelné hrany, t.j. hrany, ktoré spájajú rovnakú dvojicu vrcholov, a sú rovnako orientované, potom tento graf voláme multigraf. Príklady multigrafov sú uvedené na obrázku Obr. 9. Obr. 9 Príklad multigrafu My sa však ďalej budeme zaoberať iba obyčajnými grafmi. V mnohých aplikáciách sú paralelné hrany veľmi užitočné a vlastnosť multigrafu v Petriho sieťach vieme využiť. Druhou charakteristikou Petriho sietí je, že používa aj bipartitný graf. To znamená, že majú dva druhy vrcholov. Dva rôzne symboly je možné použiť na rozlíšenie dvoch typov 2

28 vrcholov. Podľa konvencie prvý typ vrcholu sa volá miesto a je označovaný kruhom alebo elipsou. Druhý typ sa nazýva prechod a zvyčajne sa označuje ako vyplnený obdĺžnik. Spojnice medzi uzlami Petriho siete sa nazývajú hrany a vždy sú orientované. Znaky sú uvedené na Obr. 2. Obr. 2 Označenia miest, hrán a prechodov Bipartitný graf má špeciálne vlastnosti: hrana môže spojiť iba dva vrcholy, ktoré patria do rôznych typov (miesto alebo prechod). Preto môže byť hrana z miesta do prechodu, z prechodu do miesta, ale nie z miesta na miesto alebo z prechodu do prechodu. 2.2 Petriho siete Definícia: Petriho sieť je bipartitný orientovaný graf reprezentovaný štvoricou množín PN = (P, T, I, O), kde: P = {p,..., p n } je konečná množina miest. T = {t,..., t m } je konečná množina prechodov. I (p, t), je zobrazenie P T {,}, zodpovedajúce množine orientovaných hrán z miest do prechodov. O (t, p), je zobrazenie T P {,} zodpovedajúce množine orientovaných hrán z prechodov do miest. A m a n sú z množiny prirodzených čísel.[3] () 2

29 Obr. 2 Petriho sieť PN Siete s I a O množinou, ktorých obor hodnôt je alebo, sa nazývajú Petriho siete. Príklad Petriho siete je uvedený na Obr. 2, ktorý môžeme označiť ako PN. Miesta sú znázornené ako kružnice a prechody ako čierne obdĺžniky. Štruktúra siete PN, môže byť zapísaná aj takto: (p, t ) = I(p 2, t ) = I(p 3, t ) = I(p 4, t ) = I(p 5, t ) = I(p, t 2 ) = I(p 2, t 2 ) = I(p 3, t 2 ) = I(p 4, t 2 ) = I(p 5, t 2 ) = I(p, t 3 ) = I(p 2, t 3 ) = I(p 3, t 3 ) = I(p 4, t 3 ) = I(p 5, t 3 ) = I(p, t 4 ) = I(p 2, t 4 ) = I(p 3, t 4 ) = I(p 4, t 4 ) = I(p 5, t 4 ) = I(p, t 5 ) = I(p 2, t 5 ) = I(p 3, t 5 ) = I(p 4, t 5 ) = I(p 5, t 5 ) = O(p,t ) = O(p,t ) = O(p,t ) = O(p,t ) = O(p,t ) = O(p,t 2 ) = O(p,t 2 ) = O(p,t 2 ) = O(p,t 2 ) = O(p,t 2 ) = O(p,t 3 ) = O(p,t 3 ) = O(p,t 3 ) = O(p,t 3 ) = O(p,t 3 ) = O(p,t 4 ) = O(p,t 4 ) = O(p,t 4 ) = O(p,t 4 ) = O(p,t 4 ) = O(p,t 5 ) = O(p,t 5 ) = O(p,t 5 ) = O(p,t 5 ) = O(p,t 5 ) = Ďalej si označíme t ako množinu všetkých vstupných miest t a nazveme ju množina presetov t a t je množina všetkých výstupných miest t a nazveme ju postset množiny t. Obdobné to platí aj pre zápis miest p a p, kde p je množina presetov miesta p a p je množina postsetov množiny p. Pre Petriho sieť PN z Obr. 2 platia nasledujúce vzťahy: p = {t, t 3 }, t 2 = {p 2, p 3 } pre preset p a postset t 2. 22

30 Ak zadefinujeme množinu miest, prechodov, presetov a postsetov tak zo všetkých miest alebo všetkých prechodov dostaneme ekvivalentnú reprezentáciu štruktúry Petriho sieti. Koncept presetov a postsetov nám slúži pri opise Petriho siete, aby sme ju potom mohli analyzovať.[2] Slučky a jednoduché Petriho siete Miesto p a prechod t vytvárajú slučku, ak miesto p je vstupom aj výstupom pre prechod t. Petriho sieť je jednoduchá, ak neobsahuje slučky. Petriho sieť PN na Obr. 2 je jednoduchá zatiaľ čo Petriho sietí na Obr. 22, ktorú môžeme nazvať PN2, nie je, pretože obsahuje slučku (t 2, p 3 ). Podsiete Petriho sietí Obr. 22 Petriho sieť PN2 Podsiete Petriho siete PN = (P, T, I, O) je Petriho sieť PN S = (P s, T s, I s, O s ) taká, že: P_P s ; T_T s, I s a O s sú obmedzenia pre I a O do P s T s a T s P s, resp. slučka PN2 na Obr. 22 je jedna z možných podsietí: PN2 = (P, T, O, I ), kde P = { p 3 }; T = {t 2 } Cesty I (p 3, t 2 ) = a O (t 2, p 3 ) = Cesta je množina k uzlov a k- hrán, kde k je prirodzené číslo, a i - ta hrana je pripojená z i - teho uzlu do i + uzla, alebo naopak z i + uzla do i - teho uzla, kde pre všetky i =, 2,..., k a uzly predstavujú prechody alebo miesta. Cesta, v ktorej sa prechádza cez hranu iba raz, sa nazýva jednoduchá cesta. Cesta, v ktorej sa prechádza uzlom iba raz, sa nazýva elementárna cesta. Ako sme si mohli všimnúť, tak všetky elementárne cesty sú aj jednoduché cesty, ale naopak to nefunguje. Napríklad na Obr. 22 je cesta (p, t, p 2, t 2, p 4, t 3,p 5 ) elementárna cesta a zároveň jednoduchá cesta. Ale cesta (p, t, p 2, t 2, p 3, t 2, p 4, t 3, p 5 ) je síce jednoduchá, ale nie elementárna, pretože prechodom t 2 sa prechádza dvakrát. 23

31 Súvislá Petriho sieť Petriho sieť je súvislá, vtedy a len vtedy, ak existuje cesta z ľubovoľného uzla k inému uzlu a nie je dôležité, či je orientovaná. Silne súvislá Petriho sieť Petriho sieť je silne súvislý graf práve vtedy, keď existuje orientovaná cesta z ľubovoľného uzla do iného uzla. Na Obr. 2, PN, je súvislý graf, ale nie je silne súvislý: nie je tam žiadna orientovaná hrana z p na t. Graf s rovnakými uzlami a väzbami ako PN s výnimkou uzla t a jeho hranou do p by bol silne súvislý graf. Petriho sieť PN2 na Obr. 22 je tiež súvislá a môžeme si všimnúť, že nie je silne súvislá. Avšak tieto Petriho siete, PN a PN2, majú niečo spoločné. Na Obr. 2, prechod t nemá žiadny preset, nevidíme tam žiadne prichádzajúce hrany. Taktiež na Obr. 22, miesto p nemá zasa žiadny preset, žiadne prichádzajúce hrany. Keď má uzol iba odchádzajúcu hranu, hovoríme tomuto uzlu zdroj alebo source. Ak má iba prichádzajúcu hranu, tak ho nazývame konzument alebo sink. Ak má graf iba jeden uzol, ktorý je začiatok alebo koniec, tak nemôže byť silne súvislý. Orientovaná slučka je orientovaná cesta z jedného uzla späť do seba samého. 2.3 Lineárne - algebraická koncepcia V predchádzajúcej časti sme predstavili Petriho siete pomocou teórie grafov. Avšak, Petriho siete môžeme opísať aj v celočíselnej aritmetike. Tieto schopnosti Petriho sietí reprezentovať svoju štruktúru, ako v grafickej podobe tak aj v celočíselnej aritmetike, dáva možnosť navrhovať grafy pomocou vizuálnych nástrojov v počítači, a taktiež v ten istý čas, pomocou čísel ich aj vyhodnocovať a analyzovať. Na takúto analýzu nám slúži matica incidencie. Matica incidencie Topologické štruktúry Petriho siete môžu byť reprezentované aj celočíselnou maticou C, tzv. maticou incidencie. Matica C má rozmer n m, kde m je počet stĺpcov, ktoré sa rovnajú počtu prechodov a n je počet riadkov, ktoré sa rovnajú počtu miest. Matica C je definovaná takto: C ij = O (t j, p i ) - I (p i, t j ), kde i=,2,3,.n, j=,2,3, m. Pre maticu incidencie môžeme použiť iba jednoduché Petriho siete, pretože v prípade ak by sa tam vyskytovala slučka, tak ju nevieme zapísať do matice C: - a by sa navzájom vynulovali a do matice C by sa zapísala a tým by sme stratili hranu, ktorá by vychádzala a zároveň vchádzala to toho istého uzla. Zobrazenie množín O a I môžeme vytvoriť nasledujúcim spôsobom: (2) 24

32 O (t j, p i ) = max {C ij, } I (p i, t j ) = min {C ij, }. (3) Matica incidencie Petriho siete PN, ktorá je uvedená na Obr. 23. C = Obr. 23 Matica incidencie pre PN 2.4 Značkovanie a spustenie Petriho sietí Petriho siete by neboli veľmi užitočné, ak sme mohli iba nakresliť diagram a popísať vzťahy medzi uzlami. Preto je základnou vlastnosťou Petriho sietí to, že ich môžeme spustiť, a tým pozorovať interakcie medzi uzlami a študovať dynamiku systému, ktorý bol namodelovaný pomocou Petriho sietí. V tejto časti si predstavíme značkovanie v Petriho sieťach a opíšeme si spúšťanie značiek cez prechody. Petriho sieť obsahuje dva typy vrcholov: miesta a prechody, ďalej hrany v podobe orientovaných šípok a ďalším objektom, ktorý môžeme pridať za účelom popísania dynamiky jednoduchých Petriho sietí, je značka, ktorú znázorňujeme bodkou.budeme ju používať tak, že ju označíme do vnútra kruhu, ktorý symbolizuje miesto. V Petriho sieťach, značky nepredstavujú konkrétne informácie a nie sú rozdeliteľné. Sú to len značky, označujúce prítomnosť alebo neprítomnosť niečoho, čo predstavuje napríklad podmienku, signál a pod. Miesta môžu mať ľubovoľný počet značiek, alebo môžu byť obmedzené číslom teda kapacitou miest. Podmienkou spustiteľnosti prechodu, ktorý je spojený s miestom je prítomnosť dostatočného počtu značiek v tomto mieste. Dostatočný počet značiek je daný násobnosťou hrany vedúcej z miesta do prechodu. V multigrafoch, násobnosť hrany označujeme počtom značiek vedúcich z miesta do prechodu, aby bol aktivovaný. Predpokladajme, že žiadne obmedzenie v počte znakov v danom mieste neexistuje, a budeme predpokladať, že násobnosť hrany je jedna. Značkovanie Značkovanie Petriho sietí sa označuje M a je to zobrazenie: P {,,2,...n}, kde n je kladné celé číslo, ktoré priraďuje počet značiek každému miestu v sieti. Toto označenie môže byť reprezentované n - rozmerným vektorom, ktorý zodpovedá miestam v sieti. Na obrázkoch Obr. 2 a Obr. 22 sú uvedené Petriho siete bez značiek. Tieto Petriho siete môžeme označiť takýmto vektorom: 25

33 PN: M = [ ] T. PN2: M = [ ] T. Značkovací vektor reprezentuje stav Petriho siete, t.j. rozdelením značiek do miest v Petriho sieti, tak definujeme jeho stav. Stav systému sa zmení, keď sa zmení aj stav značiek. Tak si môžeme všimnúť, že počet stavov Petriho siete je veľmi veľký. Napríklad v sieti, v ktorej miesta môžu mať iba jednu značku, existuje n miest v sieti, potom počet stavov tejto siete je 2n. Proces, pri ktorom sa pohybuje značka z miesta na miesto sa volá spustenie. Pri tomto procese budeme myslieť na to, že miesta môžu mať ľubovoľný počet značiek a násobnosť hrany je jedna. Potom môžeme proces spustenia definovať takto: Aktivácia a spustenie Prechod t je aktívny tým, že je označený značkovaním M, vtedy a len vtedy, ak existuje aspoň jedna značka v každom mieste, z ktorého sa vstupuje do prechodu t. Keď je prechod aktívny, tak sa môže spustiť. Potom je značka odstránená z každého vstupného miesta prechodu t (preset prechodu t) a je vytvorená v každom výstupnom mieste prechodu t (postset prechodu t). Tak vznikne nové značenie M', ktoré dosiahneme po spustení prechodu t. A toto značenie je definované nasledovne: p P; M, ( p) = M ( p) + O( t, p) I( p, t) V Petriho sieti PN na Obr. 2 je prechod t jediný prechod, ktorý je aktivovaný. Jeho množina presetov je nulová, a preto je vždy aktivovaný. Preto môže byť spustený nekonečný počet krát. Ale žiadny iný prechod, okrem t, nie je aktivovaný v tomto značení. Pozrime sa však na Petriho sieť PN2 na Obr. 22 s počiatočným značením: PN2: M = [ ] T ako je aj znázornené na Obr. 24. Prechod t je aktivovaný, ale t 2 nie je aktivovaný, pretože jeden z jeho vstupných miest, p 2, neobsahuje značku. Keď sa spustí t, tak sa značka odstráni z p a nová značka sa objaví v p 2 ako je na Obr. 25. Teraz je prechod t 2 aktivovaný, pretože má značku v každom zo svojich vstupných miest, p 2 a p 3. Keď sa spustí prechod t 2, značky v p 2 a p 3 sú odstránené a nové sa vytvoria v miestach p 3 a p 4, ako je znázornené na Obr. 26. Môžeme si všimnúť, že označenie miesta p 3 sa nemení po spustení z prechodu t 2. Všimnime si, že p 3 a t 2 tvoria slučku. (4) 26

34 Obr. 24 PN2 s počiatočným značením Obr. 25 Stav PN2 po prvom spustení ( t sa spustil, t2 je aktivovaný) Obr. 26 Stav PN2 po druhom spustení ( t 2 sa spustil, t 3 je aktivovaný) Prechod t 3 je teraz aktivovaný a môže sa spustiť. Po jeho spustení sa značka z miesta p 4 odstráni a je vytvorená v mieste p 5 ako je na Obr. 27. Ďalšie prechody nie sú aktivované a vykonávanie tejto siete je ukončené. Tento proces, ako sme práve videli, je len ako značkovacia hra. 27

35 Obr. 27 Stav PN2 po treťom spustení (t 3 sa spustil, žiadny prechod nie je aktivovaný) Sekvencia spustenia Postupné spustenie prechodov t, t 2,..., t s budeme označovať takto: σ s = t t2... ts- ts. Množina všetkých sekvencií spustenia PN bude označovaná T*. Napríklad, pre PN2 na Obr. 24Obr. 27, je sekvencia spustenia σ 3 = t t 2 t 3. Pre Petriho sieť PN, jediná možná sekvencia spustenia m - násobné t, t m, kde m je kladné celé číslo. Dosiahnuteľnosť Vzhľadom na počiatočné značenie M Petriho siete PN, dosiahnuteľnosť označujeme κ (M ) - je to množina všetkých možných znační, ktoré môžeme dosiahnuť. Inými slovami, označenie M patrí k κ (M ), ak existuje sekvencia spustenia σ vedúca z M do M. Dosiahnuteľnosť pre Petriho sieť PN, vzhľadom na počiatočné značenie M, je: κ (M ) = {[n ] T n kladné celé číslo}. Prechod t je vždy aktivovaný a môže byť spustená značka do p. Žiadne ďalšie prechody nie sú aktivované a tak sa značka ďalej neposúva. Dosiahnuteľnosť pre Petriho sieť PN2, vzhľadom na počiatočné značenie M = [ ] na Obr. 22, sa skladá z nasledujúcich troch značení: Obr. 25: M = [ ]T Obr. 26: M2 = [ ]T Obr. 27: M3 = [ ]T Dosiahnuteľnosť je dôležitým nástrojom v teoretickom vývoji Petriho sietí. Už sme videli, že značenie Petriho siete môže byť reprezentovaný n - rozmerným vektor, kde n je celé číslo. To isté označenie M môže byť použité aj pre značkovanie a aj pre vektorovú reprezentáciu Petriho sietí. Ak σ s je sekvencia spustenia spojená s vektorom spustenia N s, kde každý prvok N s je číslo, ktoré predstavuje koľkokrát sa daný prechod spustí 28

36 29 v sekvenčnom spustení, značenie M' dosiahneme z počiatočného značenia M po spustení σ s, takýmto vzorcom: M' = M + C. N s, (5) kde C je matica incidencie. Rovnica 5 by sme mali používať opatrne, majúc na pamäti, že niektoré informácie by mohli byť stratené v procese, kde dostávame zo sekvencie spustenia vektor spustenia. Napríklad, na Petriho sieť PN na Obr. 2 aplikujeme vzťah 5 s nasledovným počiatočným značením a vektorom spustenia: = =, s N M. Potom = + = + = s N C M M M je vektor s celými kladnými číslami zodpovedajúci značeniu Petriho sieti PN. Ako vidíme, M je značkovanie z dosiahnuteľnej množiny M. N s zodpovedá spusteniu postupnosti prechodov t, t 2, t 3, t 4 a t 5. V skutočnosti, t je jediný prechod, ktorý je vždy aktivovaný od počiatočnej značenia M. Táto skutočnosť je skrytá v algebraickom vzťahu 5. Všimnime si, že vektor spustenia: N 2 S = [ ] T, čo zodpovedá legitímne sekvencie spustenia z PN pozostávajúcej zo spustenia iba t a výsledné značenie je potom takéto: M 2 = [ ] T. Zvážme tiež Petriho sieť PN2. Môžeme si všimnúť, že slučka v treťom riadku matice incidencie je rovná nule. To znamená, že počiatočné značenie p 3 nebude ovplyvnené žiadnym vektor spustenia.

37 3 = + = + = 2 3 s N C M M Vysvetlili sme si základné pojmy Petriho sietí, ktoré budeme potrebovať pri preklade biznis procesov z prostredia ALBPM do Petriho sietí, aby sme rozumeli, prečo sa niektoré vlastnosti ALBPM neprekladajú a teda sa neprejavia v Petriho sieťach.[]

38 3. Modelovanie biznis procesov V tejto kapitole si predstavíme procesy, ktoré budú namodelované v nástroji BEA Aqua Logic. Popíšeme si, ako sme vytvárali procesy v tomto nástroji a pomocou simulácie prekladali do Petriho sietí. 3. Proces : Štúdium na vysokej škole Tento proces je vytvorený podľa zákona č.3/22 Z. z. o vysokých školách, kde sú vybrané paragrafy, ktoré sa týkajú štúdia na vysokej škole. Ďalej budú spomínané iba paragrafy, ktorých daná časť procesu týka. 3.. Popis procesu Šťastná cesta procesu Najpoužívanejším výrazom v takomto modelovaní je pojem šťastná cesta, ale v anglickom jazyku happy path. Je to najjednoduchšia alebo "najviac očakávaná" cesta procesom. Táto cesta vedie od začiatku procesu priamo k cieľu procesu. Pri návrhu procesu je zvyčajne najlepšie začať so šťastnou cestou, a postupne pridávať zložitejšie podmienky k procesu. Ak chceme, aby bol model prehľadný, tak je praktickejšie vytvoriť šťastnú cestu ako priamku zľava doprava a cesty, ktoré sú menej pravdepodobné znázorniť ako výchylky od šťastnej cesty. Vysoká škola alebo fakulta, ak sa študijný program uskutočňuje na fakulte, zverejní včas, najneskôr do 2. septembra v akademickom roku, ktorý predchádza akademickému roku, v ktorom sa má štúdium začať bakalársky študijný program alebo študijný program podľa 53 ods. 3, lehotu na podanie prihlášok na štúdium, podmienky prijatia, termín a spôsob overovania ich splnenia, a ak je súčasťou overovania schopností na štúdium prijímacia skúška, aj formu a rámcový obsah skúšky a spôsob vyhodnocovania jej výsledkov, informáciu o počte uchádzačov, ktorý plánuje prijať na štúdium príslušného študijného programu podľa 57 ods. 5. Vysoká škola môže prijímať uchádzačov len na štúdium akreditovaných študijných programov podľa 55 ods. 6. Uchádzač si podá prihlášku na bakalárske štúdium alebo na štúdium podľa 53 ods.3 na vysokú školu na základe práva podľa 55 ods., 2, kde môže byť prijatý za podmienky, že získal úplne stredoškolské vzdelanie alebo stredné odborné vzdelanie podľa 56 ods.. Môže sa prihlásiť na denné štúdium alebo externé štúdium podľa 6 ods., 2, 3. A môže študovať buď prezenčnou, dištančnou alebo kombinovanou formou podľa 6 ods.4, 5, 6. Ak danú formu vysoká škola otvorila podľa 55 ods. 6.Uchádzač si podá prihlášku na študijný program, ktorý je akreditovaný, kde uvedie: meno, priezvisko, tituly, rodné číslo, dátum narodenia u cudzincov, 3

39 miesto narodenia, rodinný stav a miesto trvalého pobytu študenta, pohlavie, bydlisko v Slovenskej republike, národnosť, štátne občianstvo, číslo občianskeho preukazu, číslo pasu u cudzincov, údaje o predchádzajúcom zamestnaní, prípadne o súčasnom zamestnaní; uchádzač o štúdium v externej forme, ktorý vykonáva prácu vo verejnom záujme podľa osobitného predpisu, alebo je v štátnozamestnaneckom pomere, alebo v služobnom pomere podľa osobitných predpisov k prihláške doloží aj potvrdenie zamestnávateľa o trvaní pracovného pomeru, štátnozamestnaneckého pomeru alebo služobného pomeru v čase podania prihlášky na štúdium, údaje o dosiahnutom vzdelaní vrátane prospechu a o výsledkoch v záujmovej činnosti súvisiacej so študijným programom, na ktorý sa uchádzač hlási podľa 58 ods. 3. K prihláške prikladá poplatok za materiálne zabezpečenie prijímacieho konania podľa 92 ods., ak to vysoká škola vyžaduje. Vysoká škola alebo fakulta, ak sa študijný program uskutočňuje na fakulte, môže určiť na prijatie na štúdium jednotlivých študijných programov podmienky, ktoré umožnia výber uchádzačov, ktorí prejavia najvyššiu mieru schopností na štúdiu alebo overuje podmienky splnenia prijímacou skúškou. Vysoká škola nesmie prijatie na štúdium podmieniť žiadnym finančným plnením. Ďalšie podmienky určené vysokou školou na prijatie na štúdium nesmú z hľadiska obsahu vedomostí prekročiť obsah úplného stredného vzdelania podľa 57 ods.,2,3 zákona č.3/22 Z. z. o vysokých školách. Po doručení prihlášky v termíne určenom vysokou školou sa pre uchádzača začína prijímacie konanie podľa 58 ods. 2. Po úspešnom absolvovaní prijímacej skúšky rozhoduje o prijatí na štúdium na fakultu dekan a na vysokú školu rektor 58 ods. 6. Do 3 dní od overenia splnenia podmienok prijatia na štúdium sa posiela rozhodnutie o výsledku prijímacieho konania. Ak dostane uchádzač kladné rozhodnutie o prijatí na štúdium, je povinný do začiatku akademického roku informovať fakultu alebo vysokú školu o tom, či sa na danú školu zapíše a taktiež mu vzniká právo sa zapísať na dané štúdium. Škola je povinná určiť termín, miesto a spôsob zápisu podľa 59 ods.. Pri zápise študent určuje akú časť povinností predpísanú študijným programom chce absolvovať v nasledujúcom období štúdia podľa 59 ods. 2. Uchádzač prijatý na štúdium sa stáva študentom odo dňa zápisu na štúdium podľa 69 ods.. Študent bakalárskeho štúdia začína prvým semestrom akademického roka podľa 6 ods., 2, 3. Študent za svoju prácu získava kredity a štandardný počet kreditov za rok je 6, pričom na jeden semester je 3 kreditov podľa 62 ods., 2. Vysoká škola a rámcove 32

40 usmernenie ministerstva určuje koľko kreditov je potrebných na ukončenie stupňa podľa 62 ods. 3, 4. Študent je ďalej povinný uhrádzať školné a poplatky spojené so štúdiom podľa tohto zákona, a to výlučne a priamo vysokej škole, na ktorej je zapísaný, a pravdivo uviesť skutočnosti rozhodujúce na ich určenie podľa 7 ods. 3. K úspešnému ukončeniu štúdia musí študent absolvovať štátnu skúšku podľa 63 ods.. Pred pripustením študenta k obhajobe záverečnej práce a k štátnej skúške musí zaslať svoju prácu v elektronickej forme do centrálneho registra záverečných prác, kde sa overí miera originality podľa 63 ods. 7. Štátna skúška sa vykoná pred skúšobnou komisiou. Rozhodovanie skúšobnej komisie o výsledkoch štátnej skúšky sa uskutoční na neverejnom zasadnutí skúšobnej komisie 63 ods. 2. Právo skúšať na štátnej skúške a na rigoróznych skúškach majú iba vysokoškolskí učitelia pôsobiaci vo funkciách profesorov a docentov, vysokoškolskí učitelia vo funkcii odborného asistenta s vysokoškolským vzdelaním tretieho stupňa podľa 63 ods. 3. Ako členov do skúšobných komisií určuje na fakulte dekan, na vysokej škole rektor, pričom najmenej jeden vysokoškolský učiteľ pôsobiaci vo funkcii profesora alebo vo funkcii docenta musí byť členom komisie podľa 63 ods. 4 a členov má najmenej štyroch podľa 63 ods. 6. Štúdium sa riadne skončí absolvovaním štúdia podľa príslušného študijného programu a získaní vysokoškolského diplomu a vysvedčenia o štátnych skúškach podľa, pričom nesmie byť prekročená štandardná dĺžka štúdia viac ako dva roky. 65 ods., 2, 3. Prijímacie konanie na inžinierske štúdium je obdobné ako na bakalárske štúdium iba s týmito výnimkami: Ak uchádzač absolvoval prvý stupeň vysokoškolského štúdia, tak môže byť prijatý na štúdium študijného programu druhého stupňa podľa 56 ods. 2 zákona č.3/22 Z. z. o vysokých školách. Ďalej Vysoká škola alebo fakulta, ak sa študijný program uskutočňuje na fakulte, zverejní včas, najneskôr dva mesiace pred posledným dňom určeným na podanie prihlášok, lehotu na podanie prihlášok na štúdium, podmienky prijatia podľa odseku, termín a spôsob overovania ich splnenia, a ak je súčasťou overovania schopností na štúdium prijímacia skúška, aj formu a rámcový obsah skúšky a spôsob vyhodnocovania jej výsledkov podľa 57 ods. 5. Zápis a priebeh štúdium je obdobné ako na bakalárskom štúdiu s nasledujúcim rozdielom: Zloženie skúšobných komisií na vykonanie štátnych skúšok má najmenej dvoch členov, ktorí sú vysokoškolskí učitelia pôsobiaci vo funkciách profesorov alebo docentov podľa 63 ods

41 Výnimky, ktoré môžu nastať: Avšak môže nám vzniknúť situácia, keď sa nedosiahne hlavný cieľ procesu. Preto je dôležité, aby biznis procesy mali alternatívne ukončovacie podmienky, výnimky. Výnimky sú zvláštne situácie, kedy nie je možné dosiahnuť jeden z možných predefinovaných cieľov procesu. Avšak, proces môže zahŕňať spôsob spracovania týchto udalostí, a to zvyčajne tak, že sa spustia upozorňujúce volania na vzniknutú situáciu, ktoré potom môže vyriešiť niektorí z účastníkov procesu. Ak dostane uchádzač rozhodnutie o neprijatí na štúdium, môže podať žiadosť o preskúmanie tohto rozhodnutia podľa 58 ods.. Žiadosť sa podáva orgánu, ktorý rozhodnutie vydal, v lehote do ôsmich dní odo dňa jeho doručenia. Ak je tým orgánom dekan, môže sám žiadosti vyhovieť, ak zistí, že rozhodnutie sa vydalo v rozpore so zákonom, vnútorným predpisom vysokej školy alebo fakulty alebo podmienkami ustanovenými podľa 57 ods.. Inak postúpi žiadosť rektorovi. Rektor zmení rozhodnutie, ak sa vydalo v rozpore so zákonom, vnútorným predpisom vysokej školy alebo podmienkami ustanovenými podľa 57 ods.. Inak žiadosť zamietne a pôvodné rozhodnutie potvrdí. Ak rozhodnutie o neprijatí na štúdium vydal rektor, môže sám žiadosti vyhovieť, ak zistí, že rozhodnutie sa vydalo v rozpore so zákonom, vnútorným predpisom vysokej školy alebo podmienkami ustanovenými podľa 57 ods.. Inak postúpi žiadosť akademickému senátu vysokej školy. Akademický senát vysokej školy zmení rozhodnutie, ak sa vydalo v rozpore so zákonom, vnútorným predpisom vysokej školy alebo podmienkami ustanovenými v 57 odsek. Inak žiadosť zamietne a pôvodné rozhodnutie potvrdí. Odpoveď žiadateľovi o preskúmanie rozhodnutia musí byť odoslaná do 3 dní od doručenia žiadosti o preskúmanie rozhodnutia o neprijatí na vysokú školu alebo fakultu podľa 58 ods. 8. Okrem riadneho skončenia štúdia sa štúdium skončí: ) zanechaním štúdia 2) neskončením štúdia v termíne určenom podľa 65 ods. 2 3) vylúčením zo štúdia pre nesplnenie požiadaviek, ktoré vyplývajú zo študijného programu a zo študijného poriadku vysokej školy 4) vylúčením zo štúdia podľa 72 ods. 2 písm. c) 5) zrušením študijného programu podľa 87 ods. 2, ak študent neprijme ponuku vysokej školy pokračovať v štúdiu iného študijného programu, 6) smrťou študenta podľa 66 ods.. Ďalej ak sa študent nedostaví na zápis do nasledujúceho obdobia štúdia alebo sa nedostaví po prerušení na opätovný zápis, vysoká škola písomne vyzve študenta na dostavenie sa k zápisu v lehote desiatich pracovných dní od doručenia tejto výzvy. Ak sa študent po doručení výzvy v určenej lehote k zápisu nedostaví a ani nepožiada o predĺženie tejto 34

42 lehoty pre zdravotné dôvody, ktoré mu bránia dostaviť sa na zápis, deň, do ktorého sa mal študent zapísať do ďalšieho obdobia štúdia alebo v ktorom sa mal opätovne zapísať, sa považuje za deň, v ktorom študent zanechal štúdium podľa 66 ods. 3, Proces realizovaný v BEA Aqua Logic V tejto časti si opíšeme ako sme vytvorili celý projekt StudiumNaVS, jeho procesy, moduly, premenné inštancie. V prvom kroku si, však, predstavíme role, ktoré v našom projekte figurujú. Role Sú to nasledovné role: Akademický senát Dekan Predseda SK (Skúšobnej komisie) Predseda SK Fakulty Referentka PGO (Pedagogického oddelenia) Rektor Študent Bakalár Študent Inžinier Magister Uchádzač Učiteľ Zamestnanec Komponenty Catalogu Ďalšou zložkou je modul s názvom KomponentyStudia, kde sú vytvorené nasledujúce objekty: InfoOPK -informacie : string -InfoOPKP: prezentacia Kredity -zapisanekredity : int -zapisatkredityp : prezentacia PrihlaskaNaVs -adresa : string -cisloop : string (8) -forma : string -meno : string -miestonarodenia : string -narodnost : string -obcianstvo : string -pohlavie : string -priezvisko : string -rodinnystav : string -rodnecislo : string -studiumna : string -titul : string -udajeovzdelani : string -udajeozamestnani : string -PrihlaskaP : prezentacia -prihlaskapingmrg: prezentacia 35

43 Atribúty jednotlivých objektov InfoOPK, Kredity a PrihlaskaNaVs sú súčasťou prezentácií InfoOPKP, KredtyP, PrihlaskaP a prihlaskapingmrg, ktoré sú na Obr. 28. Ukážka prezentácií v PrihlaskaP, KredityP, InfoOPKP. Obr. 28 Ukážka prezentácií v PrihlaskaP, KredityP, InfoOPKP Procesy, podprocesy a screenflowy Následne, sme si celý proces štúdia na vysokej škole rozdelili na niekoľko procesov. Keďže v zadaní sa spomína fakulta aj vysoká škola, rozdelili sme si procesy podľa toho, kde sa jednotlivé procesy dejú. Na procesy na vysokej škole a tie, ktoré sa dejú na fakulte. Hlavným procesom je StudiumNaVS. Procesy môžeme rozdeliť do štyroch skupín, pretože majú veľmi podobné inštančné premenné, aktivity a nastavenia aktivít. 36

44 Procesy sme pomenovali nasledovne: Skupina Hlavný proces Skupina Skupina 2 Skupina 3 Názov procesu StudiumNaVS Podanie Prihlasky Podat prihlasku na Ing./Mgr Prijimacie konanie na VS Prijimacie konanie na VS (Ing./Mgr. Prijimacie konanie na fakultu Prijimacie konanie na fakultu (Ing./Mgr.) Denne studium na Fakulte (Bc.) Denne studium na Fakulte (Ing./Mgr.) Denne studium na VS (Bc.) Denne studium na VS (Ing./Mgr.) Externe studium na Fakulte (Bc.) Externe studium na VS V tomto projekte sa nachádzajú aj screenflowy, ktoré môžeme vidieť v tabuľke 7. Popisuje nám názov screenflowu, proces, v ktorom sa používa a prezentáciu, s ktorou sa viaže. Č. Názov screenflowu Proces Prezentácia PodaniePrihlasky Podanie Prihlasky PrihlaskaP 2 PodaniePrihlaskyIngMgr Podat prihlasku na Ing/Mgr prihlaskapingmgr 3 VlozenieInformacii StudiumNaVS InfoOPKP 4 ZapisatKredity Denne studium na Fakulte (Bc. Denne studium na Fakulte (Ing./Mgr.) Denne studium na VS (Bc.) Denne studium na VS (Ing./Mgr.) ZapisatKredityP Externe studium na Fakulte (Bc.) Externe studium na VS) Tabuľka 7: Screenflowy projektu 37

45 Hlavný proces: StudiumNaVS Zadefinovali sme si nasledujúce inštančné premenné: Premenné inštancie procesu StudiumNaVS -disciplinarnek : string -informacie :InfoOPK -nesplnilp : string -odvolanier : string -odvolanieu : string -podanavcas : string -prihlaska : PrihlaskaNaVs -rozhodnutieas : string -rozhodnutieu : string -ukonceness : string -ukonceniebc : string -zapisany : string Obr. 29 Inštančné premenné procesu StudiumNaVS Proces StudiumNaVS môžeme vidieť na Obr. 3 a v nasledujúcej tabuľke vidíme všetky aktivity tohto procesu, typy aktivít, podprocesy, ktoré volajú a nepodmienené prechody. Každej aktivite je priradené číslo, ktoré používame na označenie vystupujúcich prechodov. 38

46 Č. Názov aktivity Typ aktivity Podproces Prechody Begin Begin 3 2 InformacieOPK Global Creation 2 3 Prihlasenie Na VS Subflow Podanie Prihlasky Prijimacie konanie na Fakultu Subflow Prijimacie konanie na fakultu Prijimacie konanie na VS Subflow Prijimacie konanie na VS Denne studium Subflow Denne studium na Fakulte (Bc.) 6 7 Denne studium na VS Subflow Denne studium na VS (Bc.) 7 8 Externe 6 rocne studium na VS 9 Externe studium Subflow Process Creation Externe studium na VS Externe studium na Fakulte (Bc.) Prihlasenie na Ing/Mgr Subflow Podat prihlasku na Ing/Mgr 2 3 Prijimacie Konanie na VS (Ing./Mgr.) Prijimacie konanie na Fakultu (Ing./Mgr.) Studium na Fakulte (Ing./Mgr.) Subflow Subflow Process Creation 4 Studium Ing/Mgr na VS Process Creation 5 Ukoncit cakanie na proces 6 Ukoncit cakanie na proces 2 7 Ukoncit cakanie na proces 3 8 End End Termination Wait Termination Wait Termination Wait Prijimacie konanie na VS (Ing./Mgr.) Prijimacie konanie na fakultu (Ing./Mgr.) Denne studium na Fakulte (Ing./Mgr.) Denne studium na VS (Ing./Mgr.) Denne studium na VS (Ing./Mgr.) Denne studium na Fakulte (Ing./Mgr.) Externe studium na VS Tabuľka 8: Charakteristika procesu StudiumNaVS Medzi aktivitami sa nachádza Global Creation s názvom InformácieOPK, ktorej úlohou je spúšťať screenflow s názvom VlozenieInformacii a je riadená rolou zamestnanca. Tento screenflow používa prezentáciu InfoOPKP, ktorý je zobrazený na Obr. 28. Pri volaní tohto screenflowu sa využíva inštančná premenná informacie, ktorá je typu InfoOPK definovanom v KomponentochStudia. Inak sme inštančné premenné používali hlavne pri podmienených prechodoch, ktoré sú zobrazené v tabuľke 9. 39

47 Podmienené prechody Názov Neskoro podana prihlaska Prihlaska na Fakultu Nesplnene PK Volba externeho studia Nesplnene podmienky Nesplnene podmienky Nesplnene PK Volba 6 rocneho externeho studia Prihlaska na fakultu Neskoro podana prihlaska Nesplnene podmienky ukoncenie PK Podmienka podanavcas == false prihlaska.studiumna == "2" rozhodnutieu == "nie" or odvolanier == "nie" or ukonceness = "nie" or odvolanieu = "nie" or rozhodnutieu == "" prihlaska.forma == "2" disciplinarnek == "ano" or nesplnilp = "nesplnil" or zapisany == "nie" or nesplnilp = "false" disciplinarnek == "ano" or nesplnilp = "nesplnil" or zapisany == "nie" or nesplnilp = "false" rozhodnutieu == "nie" or odvolanier == "nie" or ukonceniebc = "nie" or odvolanieu = "nie" or rozhodnutieu == "" prihlaska.forma == "2" prihlaska.studiumna == "2" podanavcas == false disciplinarnek == "ano" or nesplnilp = "nesplnil" or zapisany == "nie" or nesplnilp = "false" rozhodnutieu == "nie" or odvolanier == "nie" or ukonceniebc = "nie" or odvolanieu = "nie" or rozhodnutieu == "" Tabuľka 9: Podmienené prechody procesu StudiumNaVS Každá aktivita subflow umožňuje preniesť hodnoty inštančných premenných hlavného procesu a podprocesu pomocou vstupných a výstupných argumentov. Vstupné a výstupné argumenty sú rovnakého typu ako inštančné premenné. Slúžia na prenášanie hodnôt inštancie medzi procesmi. Nasledujúce argumenty prenášame z podprocesov, aby sme vyhodnocovali podmienené prechody hlavného procesu. V tabuľkách sú uvedené názvy subflowov, argumenty, 4

48 pomocou ktorých sa prenášajú hodnoty a premenné hlavného procesu, do ktorých sa hodnota ukladá. Názov Subflowov = Premenná inštancie hlavného procesu Prihlasenie na VS Prihlasenie na Ing/Mgr Výstupný argumenty podprocesu podanavcas Prihlaska <= podanavcasarg <= prihlaskaarg Názov Subflowu = Prijimacie konanie na VS Premenná inštancie hlavného procesu odvolanieu rozhodnutieas rozhodnutieu ukonceness Výstupný argumenty podprocesu <= odvolanieuarg <= rozhodnutieasarg <= rozhodnutieuarg <= ukonceniessarg Názov Subflowov = Prijimacie konanie na fakultu Premenná inštancie hlavného procesu odvolanieu odvolanier rozhodnutieu ukonceness Výstupný argumenty podprocesu <= odvolanieuarg <= rozhodnutierarg <= rozhodnutieuarg <= ukonceniessarg 4

49 Názov Subflowov = Externe studium, Denne studium, Denne studium na VS Premenná inštancie hlavného procesu Výstupný argumenty podprocesu disciplinarnek nesplnilp zapisany <= disciplinarnekonaniearg <= nesplnilarg <= zapisanyarg Názov Subflowov = Prijimacie konanie na Fakultu (Ing./Mgr.) Premenná inštancie hlavného procesu Výstupný argumenty podprocesu odvolanieu odvolanier rozhodnutieu ukoncenebc <= odvolanieuarg <= rozhodnutierarg <= rozhodnutieuarg <= ukonceniessarg Názov Subflowov = Prijimacie Konanie na VS (Ing./Mgr.) Premenná inštancie hlavného procesu Výstupný argumenty podprocesu odvolanieu rozhodnutieu ukoncenebc rozhodnutieas <= odvolanieuarg <= rozhodnutieuarg <= ukonceniessarg <= rozhodnutieasarg Názov Subflowov = Prihlasenie na VS Vstupný Argument podprocesu informacieopkarg Premenná inštancie hlavného procesu = informacie 42

50 Obr. 3 Hlavný proces StudiumNaVS 43

51 Skupina : Podanie Prihlasky a Podat prihlasku na Ing/Mgr Tieto dva procesy sú veľmi podobné. Proces Podanie Prihlasky má vstupný argument ako sme spomínali na strane 42, ktorý sa ukladá do premennej informacieopk, aby si mohol uchádzač pozrieť informácie, ktoré uviedla Vysoká škola o prijímacích skúškach. Túto možnosť nemá proces Podat prihlasku na Ing./Mgr, pretože je to nahradené interaktívnou aktivitou Poslat Info o PK ako vidíme na Obr. 3. Premenné inštancie podprocesov Podanie Prihlasky a Podat prihlasku na Ing./Mgr: Premenné inštancie procesu Podanie Prihlasky -podanavcas : bool -potvrditprihlasku : bool -prihlaska : PrihlaskaNaVs -informacieopk : InfoOPK Premenné inštanie procesu Podat prihlasku na Ing./Mgr. -podanavcas : bool -podatprihlasku : bool -poslatinfo : bool -potvrditprihlasku : bool -prihlaska : PrihlaskaNaVs V nasledujúcej tabuľke znázorňujeme jednotlivé názvy aktivít, typ aktivity, priradenú rolu, premenné, ktoré používa daná aktivita a vystupujúce nepodmienené prechody procesu Podanie Prihlasky. Č. Nazov aktivity typ aktivity Rola Premenné Prechody Begin Begin 2 2 Podat Prihlasku Interactive Uchadzač 3 Potvrdit Prihlasku 4 End End Interactive Referentka PGO Screenflowy PodaniePrihlasky, Vlozenie informacii podanavcas, potvrditprihlasku Tabuľka : Charakteristika procesu Podanie Prihlasky Medzi aktivitami sa nachádza Interaktive s názvom Podat Prihlasku, ktorej úlohou je spúšťať screenflowy s názvom Vlozenie Informacii a PodaniePrihlasky. Sú ovládané rolou uchádzača. Tieto screenflowy používajú prezentácie InfoOPKP a PrihlaskaP, ktoré sú zobrazené na Obr. 28. Pri volaní screenflowu Podat Prihlasku sa využíva inštančná premenná prihlaska, ktorá je typu PrihlaskaNaVs definovanom v KomponentochStudia. Pri volaní screenflowu Vlozenie Informacii sa využíva inštančná premenná informacieopk, ktorá je typu InfoOPK definovanom v KomponentochStudia. Proces Podat prihlasku na Ing/Mgr tiež využíva vo svojej aktivite Podat Prihlasku screenflow s názvom PodaniePrihlaskyIngMgr. Tento screenflow je takmer rovnaký ako PodaniePrihlasky, ale s tým rozdielom, že si uchádzač nemôže vybrať formu štúdia. 44

52 V tabuľke je zobrazená charakteristika procesu Podat prihlasku na Ing/Mgr. Č. Nazov aktivity typ aktivity Rola Premenné Prechody Begin Begin 2 2 Podat Info o PK Interactive Referentka PGO 3 Podat Prihlasku Interactive Uchadzač 4 Potvrdit Prihlasku Interactive 5 End End Referentka PGO Screenflowy PodaniePrihlaskyIngMgr, Vlozenie informacii podanavcas, potvrditprihlasku Tabuľka : Charakteristika procesu Podat Prihlasku na Ing/Mgr V procesoch sa nachádza podmienený prechod s názvom Nezaplatena prihlaska, ako môžeme vidieť aj na Obr. 3. Podmienkou je potvrditprihlasku == false. A jeden časový prechod s názvom Zle vyplnená, ktorá vracia inštanciu po časovom intervale späť. Obr. 3 Procesy Podanie Prihlasky a Podat Prihlasku na Ing/Mg Skupina 2: Prijimacie konanie na VS, Prijimacie konanie na VS (Ing./Mgr.), Prijimacie konanie na fakultu a Prijimacie konanie na fakultu (Ing./Mgr.) Všetky tieto procesy sú veľmi podobné ako vidíme na Obr. 32 a Obr. 33. Avšak v procesoch, ktoré sa dejú na fakulte, vystupuje rola Dekana a zasa v procesoch, ktoré sú vykonávané na vysokej škole, figuruje rola Rektora. Ďalšou zmenou je interaktívna aktivita Vyjadrit Obtiaznost PK, ktorú ovláda rola Uchádzača a vyskytuje sa iba v procesoch Prijimacie konanie na VS a Prijimacie konanie na fakultu. V procesoch Prijimacie konanie na VS (Ing./Mgr.) a Prijimacie konanie na fakultu (Ing./Mgr.) je táto aktivita nahradená 45

53 aktivitou Dosiahnut vzdelanie, kde sa overuje či Uchádzač dosiahol potrebné vzdelanie podľa 56 ods.2. Premenne inštancie: Premenné inštancie procesu Prijimacie konanie na VS -hodnotenie : Real -odvolanier : bool -odvoalnieu : string -poslatlist : bool -presahujeucivo : bool -rozhodnutieas : string -rozhodnutier : bool -rozhodnutieu : string -vysledok : bool Premenné inštancie procesu Prijimacie konaniena fakultu -hodnotenie : Real -odvolanieu : string -poslatlist : bool -presahujeucivo : bool -rozhodnutier : string -rozhodnutied : bool -rozhodnutieu : string -ukonceniess : string -vysledok : bool -odvolanied : bool Premenné inštancie procesu Prijimacie konanie na VS (Ing./Mgr.) -hodnotenie : Real -odvolanier : bool -odvolanieu : string -poslatlist : bool -rozhodnutieas : string -rozhodnutier : bool -rozhodnutieu : string -ukonceniebc : bool -vyskedok : bool Premenné inštancie procesu Prijimacie konanie na fakultu (Ing./Mgr.) -hodnotenie : Real -odvolanieu : string -poslatlist : bool -rozhodnutier : string -rozhodnutied : bool -rozhodnutieu : string -ukonceniebc : bool -vysledok : bool -odvolanied : bool Ďalej predstavíme v tabuľke 2 pre procesy Prijimacie konanie na VS a Prijimacie konanie na fakultu jednotlivé aktivity, premenné, ktoré sa k nim viažu a vychádzajúce nepodmienené prechody aktivít. 46

54 Č. Nazov aktivity typ aktivity Rola (Fakulta/VS) Premenné (Fakulta/VS) Prechody Begin Begin 2 2 Vyjadrit Obtiaznost ukonceniess, Interactive Uchádzač PK presahujeucivo Vlozit Hodnotenie PK Interactive Zamestnanec hodnotenie Skontrolovat vysledky Automatic vysledok Rozhodnutie o rozhodnutied/ Interactive Dekan/Rektor Prijati rozhodnutier Zaslat list Decision Zamestnanec poslatlist Potvrdit Studium Interactive Uchádzač rozhodnutieu Poslat info o Zapise Decision Zamestnanec poslatlist Preskumat odvolanied/ Interactive Dekan/Rektor Odvolanie odvolanier 9 Zaslat list o vyhoveni Decision Zamestnanec poslatlist 7 Podat Odvolanie Interactive Uchádzač odvolanieu 9 Poslat list o 2 vyhoveni Decision Zamestnanec poslatlist Preskumat Odvolanie 2 Poslat list o 4 nevyhoveni Interactive Rektor/ Akademický senát rozhodnutier/ rozhodnutieas 3 Decision Zamestnanec poslatlist End End Tabuľka 2: Charakteristika procesov Prijimacie konanie na VS a Prijimacie konanie na fakultu V tabuľke 3 opíšeme procesy Prijimacie konanie na VS (Ing./Mgr.) a Prijimacie konanie na fakultu (Ing./Mgr.) jednotlivé aktivity, premenné, ktoré sa k nim viažu a vychádzajúce nepodmienené prechody aktivít. 47

55 Č. Nazov aktivity typ Rola aktivity (Fakulta/VS) Premenné (Fakulta/VS) Prechody Begin Begin 2 2 Dosiahnut Vzdelanie Interactive Uchádzač ukonceniebc Vlozit Hodnotenie Interactive Zamestnanec PK hodnotenie Skontrolovat vysledky Automatic vysledok Rozhodnutie o rozhodnutied/ Interactive Dekan/Rektor Prijati rozhodnutier Zaslat list Decision Zamestnanec poslatlist Potvrdit Studium Interactive Uchádzač rozhodnutieu Poslat info o Zapise Decision Zamestnanec poslatlist Preskumat Odvolanie Interactive Dekan/Rektor odvolanied/odvolanier 9 Zaslat list o vyhoveni Decision Zamestnanec poslatlist 7 Podat Odvolanie Interactive Uchádzač odvolanieu 9 Poslat list o 2 vyhoveni Decision Zamestnanec poslatlist Preskumat Interactive Odvolanie 2 Poslat list o 4 nevyhoveni 5 End End Rektor/ Akademický senát rozhodnutier/ rozhodnutieas 3 Decision Zamestnanec poslatlist 4 5 Tabuľka 3: Charakteristika procesov Prijimacie konanie na VS (Ing./Mgr.) a Prijimacie konanie na fakultu (Ing./Mgr.) V aktivita Automatic s názvom Skontrolovat vysledky je nasledovné vyhodnocovanie: if hodnotenie >= 75 then vysledok = true else vysledok = false end V tejto aktivite automaticky vyhodnocuje, či Uchádzač dosiahol minimálne požiadavky, aby mohol byť prijatý. V tabuľke 4 a tabuľke 5 vidíme podmienené prechody procesov skupiny 2. 48

56 Podmienené prechody Názov Podmienka 2 5 Nedosiahnute vzdelanie ukonceniess == "nie" 3 5 Nedosiahnute vzdelanie - potvrdenie ukonceniess == "nie" 7 5 Nechce studovat rozhodnutieu == "nie" 7 5 Vyprsala lehota časovy prechod s lehotou mesiac 4 4 Nesplene podmienky vysledok == false 5 4 zamietnutie Dekanom rozhodnutied == false 9 2 Zamietnute odvolanie odvolanied == false 2 3 Rektor Nevyhovuje rozhodnutier== "nie" 4 5 Nepodanie odvolania odvolanieu == "nie" 4 5 Uplynula lehota časovy prechod s lehotou 8 dní Tabuľka 4: Podmienené prechody procesov Prijimacie konanie na fakultu (Ing./Mgr.) a Prijimacie konanie na fakultu Podmienené prechody Názov podmiena 2 5 Nedosiahnute vzdelanie ukonceniess == "nie" 3 5 Nedosiahnute vzdelanie - potvrdenie ukonceniess == "nie" 7 5 Nechce studovat rozhodnutieu == "nie" 7 5 Vyprsala lehota časovy prechod s lehotou mesiac 4 4 Nesplene podmienky vysledok == false 5 4 zamietnutie Rektorom rozhodnutier == false 9 2 Zamietnute odvolanie odvolanied == false 2 3 Nevyhovuje sa rozhodnutieas == "nie" 4 5 Nepodanie odvolania odvolanieu == "nie" 4 5 Uplynula lehota časovy prechod s lehotou 8 dní Tabuľka 5: Podmienené prechody procesov Prijimacie konanie na VS (Ing./Mgr.) a Prijimacie konanie na VS 49

57 Obr. 32 Proces Prijimacie konanie na fakultu 5

58 Obr. 33 Proces Prijimacie konanie na VS (Ing./Mgr.) 5

59 Obr. 34 Externe studium na Fakulte (Bc.) 52

60 Skupina 3: Denne studium na Fakulte (Bc.), Denne studium na Fakulte (Ing./Mgr.), Denne studium na VS (Bc.), Denne studium na VS (Ing./Mgr.), Externe studium na Fakulte (Bc.) a Externe studium na VS Táto skupina procesov má tiež rovnaké aktivity iba s malými rozdielmi v roliach, ktoré ich ovládajú. V prípade vysokej školy v procese figuruje rektor a predseda SK a zasa v procesoch fakulty je to dekan a predseda SK Fakulty. Použité premenné v procesoch: Premenné inštancie skupiny 3 -disciplinarnekonanie : string -kredity : int -odovzdatdiplom : bool -poslatpracu : bool -rocnik : int -skusobnakomisia : bool -vyhodnoteniess : bool -vyzva : bool -zapisanekredity : Kredity -zapisany : string -zaplatene Skolne : bool -ziskanekredity : int -ZiskaneKredity2 : int V tabuľke 6 máme zobrazené vlastnosti a vzťahy vyššie uvedených procesov. Príklad procesu Externe studium na Fakulte (Bc.) je na Obr

61 Č. Aktivita Typ Rola Premenne Zapisat Studenta Interactive 2 Zapisat Kredity Interactive Zapisat ziskane kredity Dosiahnutie podmienok Zapisat Kredity za LS Dosiahnute podmienky 2 Poslat BP/DP do CRZP Zostavit skusobnu komisiu Vyhodnotit Statnu skusku Interactive Automatic Interactive Automatic Referentka PGO Študent - bakalár / Študent Inžinier - Magister Učiteľ Učiteľ zapisany (String), zaplateneskolne (Boolean) Vystupujúce Prechody Nepodm. screenflow ZapisatKredity 2 3 ziskanekredity (Integer) ziskanekredity; result ziskanekredity2 (Integer) ziskanekredity; ziskanekredity2; zaplateneskolne; result Podmien Decision Uchádzač poslatpracu (Boolean) 7 8 Interactive Interactive Poslat Vyzvu Decision 2 Zapisat Studenta 2 Vyhodnotit disciplinarne konanie Interactive Interactive 3 Odovzdat Diplom Decision 4 End End Dekan/ Rektor Predseda SK / Predseda SK Fakulty Referentka PGO Referentka PGO Dekan/ Rektor Dekan/ Rektor skusobnakomisia (Boolean) vyhodnoteniess (Boolean) vyzva (Boolean) zapisany (String), zaplateneskolne (Boolean) disciprinarnekonanie (String) odovzdatdiplom (Boolean) ; 6 4; ; ; Tabuľka 6: Vlastnosti procesov : Denne studium na Fakulte (Bc.), Denne studium na Fakulte (Ing./Mgr.), Denne studium na VS (Bc.), Denne studium na VS (Ing./Mgr.), Externe studium na Fakulte (Bc.) a Externe studium na VS Medzi aktivitami sa nachádza Interaktive s názvom Zapisat Kredity, ktorej úlohou je spúšťať screenflow s názvom Zapisat Kredity. Je ovládaný rolou Študent - bakalár alebo Študent Inžinier - Magister. Tento screenflow používa prezentáciu ZapisatKredityP, ktorá je zobrazené na Obr. 28. Pri volaní screenflowu Zapisat Kredity sa využíva inštančná premenná zapisanekredity, ktorá je typu PrihlaskaNaVs definovanom v KomponentochStudia. Ďalej uvedieme podmienené prechody, ktoré sú spomínané v poslednom stĺpci a popíšeme aktivity Automatic. 54

62 Podmienené prechody Názov Podmienka Nezapisany na studium zapisany == "nie" 4 4 Nesplnenie podmienok result == "false" 6 4 Nesplnenie podmienok result == "nesplnil" 6 2 Neplatene skolne result=="nezaplatene" 9 4 Nesplnenie SS vyhodnoteniess == false 6 Dalsie rocniky result =="false" 4 Nezapisany zapisany == "nie" 2 disciplinarnekonanie == Disciplinarne konanie "nie" 9 vyhodnoteniess == false Nesplnenie SS and rocnik <= x Tabuľka 7: Vlastnosti podmienených prechodov V tabuľke 7 vidíme vlastnosti jednotlivých prechodov a ich podmienky, za ktorých inštancia procesu prechádza cez dané prechody. Premenná x v poslednej podmienke je číslo, ktoré udáva maximálnu dĺžku štúdia aj s možným predĺžením. Dosiahnutie podmienok a Dosiahnute podmienky 2 sú automatické aktivity, ktoré obsahujú nasledovný kód: Dosiahnutie podmienok: if ziskanekredity > 5 then result = "true" else result = "false" end Táto aktivita kontroluje, či študent dosiahol minimálny počet kreditov za zimný semester. V prípade, že ich nedosiahne inštancia použije podmienený prechod a celý proces sa ukončí, pretože študent nesplnil podmienky štúdia. Dosiahnute podmienky 2 if zaplateneskolne == false then result = "nezaplatene" end kredity = kredity + ziskanekredity + ziskanekredity2 rocnik = rocnik + if (kredity >=6*(x-2))and(rocnik <= x) then result = "true" else result = "false" end if ( kredity < 6*(x-2)) and ( rocnik = x) then result = "nesplnil" end 55

63 Aktivita Dosiahnute podmienky 2 kontroluje študentovo školné, v ktorom ročníku sa nachádza a po prekročení dĺžky štúdia pošle inštanciu na koniec procesu. Premenná x je číslo, ktoré udáva maximálnu dĺžku štúdia aj s možným predĺžením. Keďže procesy sú veľmi podobné, tak uvedieme ako príklad iba jeden Externe studium na Fakulte (Bc.), ktorý na Obr. 34 Externe studium na Fakulte (Bc.)Obr. 34. Všetky uvedené procesy sú modelované podľa zákona č.3/22 Z. z. o vysokých školách, avšak sú iba ilustračné Proces preložený do Petriho Sietí Vzhľadom na štruktúru Petriho sietí nemôžeme preložiť premenné, ktoré inštancia nesie, ani moduly, ktoré v procese používame a teda ani podmienky v jednotlivých prechodoch. Môžeme, preložiť správanie sa inštancie v jednotlivých aktivitách, ktoré sme sledovali simuláciou procesu. Simulovaním sme zistili, inštanciu procesu v ALBPM môžeme preložiť ako značku v Petriho sieťach. Prechody v ALBPM môžeme preložiť ako prechody v Petriho sieťach, pretože tiež umožňujú prechod inštancie z miesta do miesta, ako je v ALBPM z aktivity do aktivity. Keďže nemôžeme preložiť podmienené ani časové prechody, pretože v Petriho sieťach neexistujú takéto funkcie, preložíme ich ako obyčajné nepodmienené prechody. Ukážka prechodov je na Obr. 35. Obr. 35 Preklad prechodov Ďalej používame v našom projekte StudiumNaVS aktivity Interactive a Decision. Keďže nemôžeme preložiť do Petriho sieti funkcie, pomocou ktorých interaktívne proces prijíma rozhodnutia a hodnoty od užívateľov, môžeme tieto aktivity preložiť ako miesta v Petriho sieťach. 56

64 Obr. 36 Preklad aktivít Decision, Automatic, Interactive, End a Begin Použili sme aj aktivitu Automatic, ktorá vykonáva postupnosť príkazov, ktoré tiež nemajú ekvivalent, preto môžeme aj túto aktivitu nahradiť miestom v Petriho sieťach, tak ako je to znázornené na Obr. 36. Aktivitu Global Creation nie je možné preložiť, pretože nepoužíva žiadny prechod a používa sa na inicializovanie premenných inštancie, ktoré sa v Petriho sieťach nedá znázorniť. Aktivity Begin a End máme aj v Petriho sieťach, ale nazývame ich Source a Sink ako sme uvádzali na strane 24. Hlavný proces StudiumNaVS ešte obsahoval aktivity ako Subflow, Process Creation, Termination Wait a Notification Wait. Subflow alebo inak aj podproces je aktivita, ktorá nám v sebe ukrýva celý ďalší proces a vo veľkej miere nám slúži na to, aby sme modelované procesy mali prehľadnejšie. Preto môžeme Subflow v Petriho sieťach preložiť ako proces, ktorý je ukrytý za aktivitou Subflow. V nástroji PNEditor na vytváranie Petriho sietí, vieme takýto podproces znázorniť aj tak, že zmeníme prechod na podsieť a tak vieme podobne skryť celý proces ako to vidíme na Obr. 4 57

65 Proces Creation a Termination Wait pracujú spoločne, pričom aktivita Proces Creation pracuje takým spôsobom, že spustí podproces a zároveň pošle inštanciu hlavného procesu ďalej. Aktivita Termination Wait tu slúži na to, aby hlavnú inštanciu zachytila a pustila ju až vtedy, keď sa ukončí podproces. Preto môžeme zobraziť Proces Creation ako miesto, z ktorého smeruje prechod rozdeľujúci značku v Petriho sieťach na dve, pričom jednu posiela hlavným procesom a druhú do podprocesu. Termination Wait môžeme predstaviť ako prechod, do ktorého vchádzajú dve hrany. Jedna z hlavného procesu a druhá z podprocesu. Preklad týchto aktivít môžeme vidieť na Obr. 37. Po preložení týchto aktivít môžeme preložiť celé procesy z Aqua Logicu do Petriho sietí, pretože sa nám prakticky opakujú. Na Obr. 38 máme proces Podanie Prihlasky, na Obr. 39 je proces Podat Prihlasku na Ing./Mgr. Proces StudiumNaVS je zobrazený na Obr. 4 a proces Prijimacie konanie na fakultu je na Obr. 4 a Denne studium na VS(Bc.) je na Obr. 42. Obr. 37 Preklad aktivít Proces Creation, Termination Wait, Notification Wait a Subflow. 58

66 Obr. 38 Proces Podanie Prihlasky preložený do Petriho sietí Obr. 39 Podat Prihlasku na Ing./Mrg. preložený do Petriho sietí 59

67 Obr. 4 Proces StudiumNaVS preložený do Petriho sietí 6

68 Obr. 4 Proces Prijimacie konanie na fakultu preložený do PN. 6

69 Obr. 42 Proces Denne studium na VS (Bc.) preložený do Petriho sietí. 62

70 3.2 Proces 2: Zadanie príkladu 3.2. Popis procesu Šťastná cesta procesu Učiteľ zadáva prémiové príklady štyrom prihláseným študentom. Na začiatku im zverejní zadanie príkladu a potom môžu vkladať výsledky do informačného systému. Informačný systém vezme iba prvé dva vložené výsledky. Ďalej proces pokračuje do druhého kola, kde si učiteľ zvolí koľko príkladov zverejní na vypočítanie dvom študentom. Najskôr vloží svoje odpovede prvý študent a potom druhý študent. Po vložení výsledkov do systému sa proces ukončí. Výnimky V prípade, že sa učiteľ rozhodne zrušiť druhé kolo príkladov, môže v tomto prípade vstúpiť do procesu administrátor, ktorý danú inštanciu pošle na koniec procesu Proces 2 realizovaný v BEA Aqua Logic Vytvorili sme projekt s názvom Projekt, kde sme najskôr vytvorili tieto role: Administrátor Učiteľ Študent Študent 2 Študent 3 Študent 4 Ďalej sme si vytvorili modul s názvom KomponentyPrikladov, ktorý obsahuje objekty: Popis -popis : string -PrikladP : Prezentacia Riesenie -riesenie : Real -RiesenieP : Prezentacia Vytvorili sme proces s názvom Zadat Priklady, ktorý je na Obr. 43. Špecifikácie tohto procesu máme v Tabuľka 8, kde sú vypísané všetky názvy aktivít, ich typ, premenné, ktoré inštancia používa, rola, ktorá ich ovláda a vystupujúce prechody z daných aktivít. Vstupným argumentom do procesu Zadat Priklady je popisarg a rieseniearg, ktoré sa ukladajú do inštančnej premenne popis a riesenie. Ďalej sa s nimi pracuje v aktivite Vlozit zadanie prikladu a Vlozit Spravny vysledok, kde sa spúšťajú pomocou screenflowov Vlozit popis a Vlozit riesenie. Screenflow Vlozit popis používa prezentáciu PrikladP a Vlozit riesenie používa prezentáciu RiesenieP. 63

71 Č. Aktivita Typ Rola Premenne Vystupujuce prechody Begin Begin 3 2 Vlozit Priklad Global Creation Učiteľ Screenflow Vlozit popis 3 Rozdelit Ulohy Split 3 4; 3 5; 3 6; Vlozit Vysledok Interactive Študent vysledoks Vlozit Vysledok Interactive Študent 2 vysledoks Vlozit Vysledok Interactive Študent 3 vysledoks Vlozit Vysledok Interactive Študent 4 vysledoks Join Join Dalsie Ulohy Proces Creation 9 Cakanie na proces Notification Wait 2 Vlozit Spravny Screenflow Global Učiteľ vysledok Vlozit riesenie 2 End End Tabuľka 8: Proces Zadat Priklady V aktivite Dalsie Ulohy sa spúšta podproces Dalsie Ulohy na Obr. 44, ktorého vlastnosti máme zobrazené v tabuľke 9. Č. Aktivita Typ Rola Premenne Vystupujuce prechody Begin Begin 2 2 Vlozit Pocet pocetprikaldov Interactive Učiteľ Prikladov (Integer) 2 3; Rozdelit Na Priklady Split N Vlozit zadanie Screenflow Vlozit Interactive Učiteľ prikladu popis Vlozit riesenie Interactive Študent vysledoks (real) Vlozit riesenie Interactive Študent 2 vysledoks2 (real) Join Join Poslat notifikaciu Process Notification 8 9 Zrusit zadanie Grab Administrator 9 End End Tabuľka 9: Proces Dalsie Ulohy Vstupným argumentom do procesu Dalšie Ulohy je popispparg, ktorý sa ukladá do inštančnej premennej popispp a ďalej s ňou pracuje v aktivite Vlozit zadanie prikladu. V aktivite sa spúšťa screenflow Vlozit popis, ktorý je taký istý ako v aktivite Vlozit zadanie prikladu. Aktivita Rozdelit Na Priklady kopíruje inštanciu podľa čísla, ktoré zadá Učiteľ. V tejto aktivite sú nasledovné inštrukcie pre vytvorenie kópií inštancie: 64

72 i = while i < pocetprikladov do copy = clone(this) i = i + end, kde i je lokálna premenná tejto aktivity s dátovým typom Int. Aktivita Poslat notifikaciu má v nastaveniach zvolený hlavný proces Zadat Priklady ako proces, do ktorého má posielať notifikáciu, aby sa uvoľnila inštancia z aktivity Cakanie na proces v hlavnom procese a pokračovala do aktivity End. Obr. 43 Proces Zadat Priklady Obr. 44 Proces Dalsie Ulohy Proces 2 preložený do Petriho sieťach V procese StudiumNaVS sme si preložili aktivity Interactive, Global Creation, Begin, End a Proces Creation, ktoré používame aj v tomto procese. Ďalej používame aktivitu Global, ktorá je vlastnosťami podobná aktivite Global Creation. Avšak, ako aj Global Creation aj Global neprekladáme do Petriho sietí, pretože táto aktivita, tiež nemá žiadne prechody a prakticky môže byť spustená kedykoľvek uprostred procesu. Rola Administrátor používa aktivitu Grab, ktorá slúži na prenesenie inštancie do inej aktivity. Preto môžeme túto aktivitu preložiť podobne ako Interactive, čiže ako miesto v Petriho sieťach. 65

73 Ďalšou nepreloženou aktivitou je Proces Notification a Notification Wait, ktoré sú navzájom prepojené. Spôsob akým pracuje aktivita Process Notification sme spomínali už na strane 2, preto ho môžeme preložiť ako je na Obr. 45, kde značka podprocesu pokračuje ďalej a je zároveň poslaná značka (notifikácia) do Notification Wait. Obr. 45 Preklad aktivít Grab, Notification Wait a Process Notification Zostávajúce aktivitami, ktoré sme prekladali sú Split, Split - N a Join. Aktivitu Split môžeme preložiť ako prechod, ktorý rozdeľuje značku na niekoľko kópií a aktivitu Join ako prechod, ktorý tieto značky spája. Split rozdelí inštanciu na dopredu známi počet kópií, avšak inštancia v aktivite Join nemusí čakať na všetky svoje kópie, môže byť uvoľnená aj skôr a tým zostávajúce inštancie v obvode Split / Join sa zrušia. Poznáme na začiatku počet kópií inštancie a taktiež počet kópií, ktoré májú doraziť do aktivity Join. Preto vieme počet kópií, ktoré zostali v obvode Split / Join na zrušenie. Na Obr. 46 vidíme preklad do Petriho sietí, kde máme označenia M a K. M je známy počet kópií, ktoré musia doraziť do aktivity Join. K je známy počet kópií, ktoré musia byť zrušené, pretože bola splnená podmienka počtu v aktivite Join. Medzi prechodmi Split a Join vidíme dve miesta, čo predstavuje aktivity a dva prechody, ktoré predstavujú prechody aj v BEA Aqua Logic. Ešte pred samotným vykonaním aktivity Join, je potrebné zrušiť nevykonané kópie inštancie. Umožňujú nám to prechody abort, ktoré sú spojené s každým miestom predstavujúcim aktivitu. Vzájomným poprepájaním zaostávajúcich miest s prechodmi abort vieme zaručiť správne zrušenie nevykonaných značiek v obvode Split / Join. Split - N aktivita vytvára N kópií inštancie, pričom N je neznáme číslo, ktoré môže byť zadávané počas chodu procesu účastníkom. Preto dopredu nevieme koľko inštancií alebo značiek ( v Petriho sieťach) budeme potrebovať. Môže nastať situácia, kedy účastník zadá nulu a v tom prípade inštancia skočí z aktivity Split N do aktivity Join a pokračuje ďalej 66

74 v procese. Aktivita Split N má možnosť určiť si počet paralelných inštancií v obvode Split n / Join. Tento počet je na Obr. 47 označený ako MAX. Musíme si tiež stanoviť počet prípadov, pre ktoré bude Split N / Join správne pracovať. Toto horné ohraničnie označujeme písmenom K ako je aj na Obr. 47. Označenie MIN je pre postačujúci počet kópií, ktoré musia doraziť do aktivity Join. Split N sme preložili v spolupráci s Mgr. Zuzanou Ševčíkovou, Ing. Ondrejom Gallom, doc. RNDr. Gabrielom Juhásom, PhD. a Ing. Stanislavom Marčekom do Petriho sietí nasledovne: Značka vstúpi do obvodu Split N / Join, kde máme možnosť ísť prechodom SplitN_max. Touto cestou sa uberáme v prípade, že sa nemá vytvoriť žiadna kópia a otvorí sa nám cesta do Join - N menej a značka sa dostane cez prechod Join - N do ďalšej aktivity. Druhou cestou je možnosť navoliť si počet značiek podľa počtu zadaných kópií inštancie a to tak, že po vstupe spustíme prechod Pumpa menej, ktorý nám vytvorí minimálny počet značiek, aby sme dosiahli Join. Môžeme si však spustiť viac ako MIN cez prechod pumpa viac, ale iba po horné ohraničenie K. Keď si navolíme požadovaný počet značiek prechádzame prechodom SplitN, čím sa nám stane spustiteľný prechod do obvodu Split N / Join. V ľubovoľnom množstve môžeme posúvať značky po miestach alebo aktivitách (v Aqua Logicu), avšak v tomto obvode môže byť maximálne MAX počet paralelných značiek. Keď bude mať miesto pred prechodom JoinN viac dostatočný počet značiek, môžeme ho spustiť a tým umožníme spustenie prechodov abortovac a podobným spôsobom ako v Spli N / Join sa zrušia kópie značiek. Následne môžeme spustiť už len prechod Join a ukončiť Spli N / Join obvod. Ak si však zvolíme menej značiek ako je hodnota MIN, následne sa spustia prechody, ktoré nám inicializujú pôvodný stav a obvod Split N /Join sa ukončí. Proces Zadať príklady preložený do Petriho sietí môžeme vidieť na Obr. 48, kde sme počiatočnú značku dali do miesta Begin. Podproces Dalsie Ulohy vidíme na Obr. 49, ktorý sme tiež prechádzali značkou a skúšali jeho funkčnosť. 67

75 Obr. 46 Preklad aktivity Split a Join 68

76 Obr. 47 Preklad aktivity Split N / Join 69

77 Obr. 48 Preložený proces Zadat Priklady 7

78 Obr. 49 Preložený proces Dalsie Ulohy 7

79 4. Záver Predstavili sme vývojové prostredie BEA Aqua Logic a základné pojmy Petriho sietí. Navrhli sme dva biznis procesy, kde prvým bol Studium na vysokej skole podľa Zákon č. 3/22 Z. z.. A druhým procesom bol model odovzdávania riešení prémiových príkladov s názvom Zadat Priklady. Tiež sme uviedli, že BEA Aqua Logic na analýzu svojho modelu umožňuje iba simuláciu, ktorá je náročná na čas a v prípade komplexnejšieho procesu tak nemusia byť odsimulované všetky možné situácie, ktoré môžu nastať. Preto sme sa rozhodli preložiť biznis procesy z tohto nástroja do matematického vyjadrenia biznis procesu a to pomocou Petriho sietí. Ako sme si mohli všimnúť, Petriho siete uľahčujú simuláciu celého procesu a taktiež pomocou známych algoritmov vieme odhaliť rôzne nedostatky biznis procesu a tak zabrániť rôznym zacykleniam, alebo uviaznutiam inštancie medzi aktivitami. Avšak takéto analýzy nie sú súčasťou tejto práce. Po namodelovaní procesov, v nástroji BEA Aqua Logic, sme ich pomocou simulácie a naštudovaných vlastností jednotlivých aktivít a prechodov prekladali do formálnej notácie Petriho sietí. Najnáročnejšou časťou pri preklade týchto procesov boli samotné aktivity Split, Split - N a Join. Po preklade týchto navrhnutých modelov do Petriho sietí sme vytvorili slovník. Tento prekladový slovník medzi modelovacím nástrojom BEA Aqua Logic a formálnou notáciou Petriho sietí je hlavným výsledkom a prínosom tejto práce a môžeme ho vidieť v prílohe B. Ako sme spomínali už v úvode, neexistuje žiadny nástroj na preklad biznis procesov z nástroja BEA Aqua Logic do Petriho sietí. Takýto prekladový slovník by napríklad mohol byť implementovaný do modelovacieho nástroja BEA Aqua Logic. A tak by bolo umožnené biznis vývojárom analyzovať svoje biznis procesy už počas modelovania. A zároveň kontrolovať svoju prácu a opravovať možné nedostatky prípadne zacyklenia, alebo už spomínané uviaznutia inštancie v procese. 72

80 5. Zoznam bibliografických odkazov [] LEWIS, A.H An introduction to Petri netes. In Coloured Petri Nets [online]. 999 Dostupné na internete: URL:< f>. ISBN [2] HEE, K. V. -- AALST, W. V. D. Workflow Management Models, Methods, and Systems. Cambridge,: MIT Press, s. ISBN [3] JUHÁS, G. -- LEHOCKI, F. -- LORENZ, R. Semantics of Petri Nets: A Comparison. In Proceedings of the 27 Winter Simulation Conference : Washington, USA, Piscataway: IEEE, 27, ISBN [4] ORACLE, B. A. ALBPM Studio Help. [online]. 27. URL: Studio_ReferenceGuide.pdf [5] Zákon o vysokých školách a o zmene a doplnení niektorých zákonov - Zákon č. 3/22 Z. z.

81 6. Zoznam príloh Príloha A: CD médium diplomová v elektronickej podobe, vypracované biznis procesy v BEA Aqua Logic a Petriho sieťach Príloha B: Prekladový slovník z BEA Aqua Logic do Petriho sietí

82 7. Príloha B: Prekladový slovník BEA Aqua Logic Petriho sieť v

83