corporate 2 templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_mipca.pdfin care se pot...
TRANSCRIPT
![Page 1: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/1.jpg)
Curs 6
ANALIZA FLUXURILOR DE
DATE SI ACTIVITATI - I
![Page 2: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/2.jpg)
2ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
1. Tehnici de analiza
• Aplicate definitiei procesului pentru ca: 1. Procesul sa fie lipsit de erori.
2. Timpul de executie al procesului sa fie minim.
3. Numarul resurselor folosite sa fie minim , iar utilizarea
acestora sa fie caracterizata de eficienta.
• Distingem intre:1. Analiza calitativa – corectitudinea din punct de vedere logic
a procesului definit (absenta deadlock-urilor si a livelock-
urilor)
2. Analiza cantitativa – performantele procesului (indicatori:
timpul de executie, gradul de utilizare a resurselor)
![Page 3: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/3.jpg)
3ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
2. Analiza accesibilitatii
• Vom folosi o retea Petri pentru a descrie
posibila evolutie a procesului modelat.
• O Retea Petri impreuna cu starea sa initiala
determina:
1. Starile care vor fi accesibile.
2. Ordinea in care vor fi atinse acestea.
• Construirea grafului de marcaje
![Page 4: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/4.jpg)
4ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Exemplu (1)
Fie urmatoarea RP:
![Page 5: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/5.jpg)
5ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Exemplu (2)
• Graful de marcaje:
![Page 6: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/6.jpg)
6ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
OBSERVATII:
1. Fiecare nod reprezinta o stare accesibila.
2. Fiecare tranzitie reprezinta o posibila schimbare de stare.
3. Chiar daca o stare este accesibila ea nu este neaparat atinsa.
4. Daca dintr-un nod pornesc mai multe sageti, indicand multiple posibilitati de evolutie, atunci, in mod evident, starea urmatoare nu este predeterminata = alegere nedeterminista
![Page 7: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/7.jpg)
7ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Exemplu:
• Modelarea functionarii semafoarelor aflate la intersectia a doua strazi cu sens unic
• Observatii:
1. Semafoarele functioneaza de o asemenea maniera incat unul dintre ele are mereu culoarea rosu.
2. Cand ambele semafoare au culoarea rosuexista un jeton in starea x.
3. Cand un semafor are culoarea verde, jetonul dispare din x, avand ca rezultat blocarea celuilalt semafor pe culoarea rosu.
![Page 8: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/8.jpg)
8ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Semafoare Varianta 1
![Page 9: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/9.jpg)
9ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Semafoare1 Graf de marcaje
Fiecare stare din graf are
urmatoarea structura:
(rosu1,verde1,galben1,
rosu2,verde2,galben2,x)
![Page 10: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/10.jpg)
10ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
ATENTIE!
• Exista posibilitatea ca un semafor sa se schimbe
intotdeauna pe culoarea verde, in timp ce, cel
de-al doilea semafor sa ramana blocat pe
culoarea rosu.
• Solutie:Introducerea celei de-a doua stari neutre
x2.
![Page 11: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/11.jpg)
11ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Semafoare Varianta 2
![Page 12: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/12.jpg)
12ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Semafoare Varianta 2
![Page 13: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/13.jpg)
13ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
3. Analiza structurala
• Greseli frecvente in definirea unui proces
1. Tranzitii fara conditii de intrare ( este neclara situatia
in care se pot executa) sau fara conditii de iesire (nu
contribuie la rezolvarea unei situatii si se poate
renunta la ele).
2. Tranzitii “moarte” (nu se activeaza niciodata).
3. Blocaje (deadlocks): pot compromite un caz inainte
de a se ajunge la conditia da sfarsit.
4. Livelock: inghetarea procesului intr-o bucla infinita.
5. Activitati ce se executa dupa ce conditia de sfarsit a
fost atinsa.
6. Jetoane ramase in retea dupa ce executia a luat
sfarsit.
![Page 14: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/14.jpg)
14ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Identificati greselile:
![Page 15: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/15.jpg)
15ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Viabilitatea retelei
• Fiecare proces trebuie sa indeplineasca urmatoarele
cerinte minimale pentru a putea fi numit viabil: nu trebuie
sa contina tranzitii redundante si trebuie sa se execute in
totalitate (fara a mai exista jetoane in retea).
• Un flux de activitati definit in termeni de RP are o singura
stare de intrare si o singura stare de iesire.
• !!! Orice tranzitie poate fi executata plecand din starea de
intrare (start) si urmarind un anumit numar pasi
intermediari.
• !!! Starea de iesire (end) este accesibila din fiecare
tranzitie existenta , urmarind un anumit numar de pasi
intermediari.
![Page 16: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/16.jpg)
16ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Viabilitatea retelei
• O retea Petri care satisface conditiile
anterior mentionate poarta denumirea de:
RETEA DE FLUXURI DE ACTIVITATI
(WORKFLOW NET)
![Page 17: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/17.jpg)
17ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Viabilitatea retelei
O retea de fluxuri de activitati este viabila daca:
1. Pentru fiecare jeton din start exista un jeton in end.
2. Cand jetonul apare in end, in celelalte stari nu mai
exista niciun alt jeton.
3. Pentru orice tranzitie, este posibil sa avansam din
starea initiala intr-o alta stare din care tranzitia sa fie
valida.
• Notiunea de viabilitate o include pe aceea de
“obiectivitate” = daca o tranzitie poate fi executata,
atunci acest lucru nu poate fi amanat la infinit.
![Page 18: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/18.jpg)
18ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Cum verificam daca un proces corespunde
unei retele de fluxuri de activitati (WFN)?
• V1: Construim graful de marcaje.- Nu poate fi construit pentru procese de scara larga
fara ajutorul unui computer.
- Nu ofera solutii pentru reabilitarea procesului corespunzator unei retele neviabile.
• V2:Metoda cu suport computerizat- Adaugam o stare aditionala retelei: t*, avand ca
intrare end si ca iesire start => Retea Scurt-Circuitata (Short-Circuited Net SCN)
- viabilitate WFN =( absenta blocajelor(liveness) + marginire) SCN
- Starea “live” = cand este posibil sa execut fiecare tranzitie din retea
![Page 19: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/19.jpg)
19ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Cum verificam daca un proces corespunde
unei retele de fluxuri de activitati (WFN)? (2)
- Marginire = exista o limita superioara finita a numarului de jetoane dintr-o stare.
- Cand un proces nu este viabil se pot genera diagnostice pentru a vedea motivele pentru care acest lucru se intampla.
V3: Metoda fara suport computerizat
- Adaugam la absenta blocajelor si marginire proprietatea de “retea sigura”= in fiecare stare nu poate fi mai mult de un jeton(marginita superior de 1).
- O retea viabila se comporta ca o tranzitie!
- Pot descompune reteaua in blocuri structurale despre care se stie ca sunt viabile!
![Page 20: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/20.jpg)
20ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Blocuri structurale (1)
![Page 21: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/21.jpg)
21ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Blocuri structurale (2)
![Page 22: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/22.jpg)
22ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
Demonstrati ca urmatoarea retea este viabila
prin descompunerea sa in blocuri de baza:
![Page 23: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/23.jpg)
23ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
SOLUTIE :
P1. Bloc de baza cu tranzitia a
P2. Constructie de tip Si prin adaugarea
tranzitiei b
![Page 24: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/24.jpg)
24ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
SOLUTIE (continuare) :
P3)Constructie SAU explicit cu tranzitia c
P4)Constructie secventiala cu tranzitia d
![Page 25: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/25.jpg)
25ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
SOLUTIE (continuare) :
P5)Constructie secventiala cu tranzitia e
P6)Constructie SAU implicit cu tranzitia f
![Page 26: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/26.jpg)
26ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
SOLUTIE (continuare) :
Pasul 7)Constructie iterativa cu tranzitia g
Pasul 8)Constructie secventiala cu tranzitia h
![Page 27: Corporate 2 Templateandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/06_MIPCA.pdfin care se pot executa) sau fara conditii de iesire (nu contribuie la rezolvarea unei situatii](https://reader030.vdocuments.site/reader030/viewer/2022040508/5e49bd030dfc7a31a05864e5/html5/thumbnails/27.jpg)
27ANALIZA FLUXURILOR DE DATE SI
ACTIVITATI
OBSERVATII:
1. Pot exista mai multe posibilitati de a
descompune o retea.
2. Nu toate retelele viabile pot fi descompuse
in subblocuri de baza.
3. In cazul in care, pentru o retea, nu putem
gasi o descompunere, nu este cazul sa
concluzionam ca reteaua initiala nu este
viabila.