03p mpp teorijske osnove

Modelovanje poslovnih procesa

- Teorijske osnove -

Siniša Nešković

Fakultet organizacionih naukaKatedra za informacione sisteme

Sadržaj

Pojam sistema Sistemi sa kontinualnim vremenom Sistemi sa diskretnim događajima Prikaz teorija za modelovanje

sistema sa diskretnim događajima Dijagram promene stanja Petrijeve mreže

Pojam sistema

Skup entiteta (realnih ili apstraktnih) i njihovih međusobnih veza koji zajedno čine celinu

U mnogim naučnim oblastima se fenomeni (predmeti izučavanja) mogu posmatrati kao sistemi

Biološki sistemi živi organizmi

Tehnički sistemi strujno kolo,

Organizacioni sistemi Poslovni sistem (preduzeće)

Teorija sistema se bavi izučavanjem opštih osobina sistema

Opšti pojam sistemaUlazi u sistem Dejstva okoline na sistem

Izlazi sistema Dejstva sistema na okolinu

SU Y

u1

u2

ur

...

y1

y2

yk

...

Sistem sa kontinualnim vremenom

Ulazi i izlazi sistema imaju kontinualne vrednosti u vremenuS: T U Y

T - skup trenutaka vremena,U - skup ulaza,Y - skup izlaza iz sistema.

SU Y

u1

u2

ur

...

y1

y2

yk

...

Sistem sa kontinualnim vremenom

Eksplicitni oblik S = { F: T U Y, A } Skup familija funkcija Fa čiji svaki elemenat

napisan u eksplicitnom obliku je:ya(t) = fa (t,u)

Predstavlja izlaz sistema dobijen u "eksperimentu ".

Koncept "eksperimenta" se uvodi ovde da bi se istakla činjenica da isti ulazi ne generišu uvek iste izlaze, odnosno da izlazi iz sistema zavise ne samo od ulaza već i od stanja sistema.

Koncept stanja sistemaStanje sistema je skup informacija o prošlosti i sadašnjosti sistema koji je dovoljan da se utvrde njegovi budući izlazi, pretpostavljajući da su budući ulazi dati

Sistem se preko stanja definiše kao kompozicija funkcija:(i) funkcije prelaza stanja

: T T X U X (ii) izlazne transformacija

: T X Y φ

U X

u1

u2

ur

...

y1

y2

yk

...ηY

Sistem sa diskretnim događajima

Sistemi u kojima su ulazi i izlazi diskretni događajiPonašanje sistema ne zavisi od vremena Sistem se ne predstavlja kao funkcija vremena

Ponašanje sistema (izlazni događaji) zavisi od stanja sistema (akumulirana istorija rada sistema) i poslednjeg ulaznog događajaUlazno-izlazna definicija sistema sa diskretnim događajima :

S: U* Y

Sistem sa diskretnim događajima

Mnoge klase “realnih” sistema se prirodnije opisuju kao sistemi sa diskretnim događajima Softverski sistemi

Ulazi: pritisak na taster, izbor menija Izlazi: prikaz forme i podataka na njoj,

zatvaranje forme Poslovne organizacije (preduzeća)

Ulaz: zahtev za ponudom, narudžbenica Izlaz: ponuda kupcu, faktura

Sistem sa diskretnim događajima

Formalizmi za opisivanje sistema sa diskretnim događajima: Petrijeve mreže Dijagram promene stanja

Petrijeve mrežePetrijeve mreže su matematički formalizam, kojim se opisuju sistemi sa diskretnim događajimaPredložen od strane Carl Adam Petri-ja 1962. god.Petrijeve mreže omogućavaju: Analizu sistema (strukture i dinamike) Validaciju Evaluaciju perfomansi

Petrijeve mrežePetri mrežu (PM) čini bipartitni graf koji se sastoji iz dva tipa čvorova: mesta i tranzicija.

Čvorovi se povezuju sa lukovima. Povezivanje čvorova istog tipa nije dozvoljeno. Stoga se i zovu biparititnim

Mesta se obeležavaju sa krugovima, a tranzicije sa kvadratima

Petrijeve mrežeDefinicija: Petri mreža (PM) je trojka (P,T,F) gde je:

- P konačan skup mesta, - T konačan skup tranzicija, - F skup lukova (relacija toka).

Mesto p se zove ulazno mesto tranzicije t akko postoji usmereni luk iz p u t.

Mesto p je izlazno mesto tranzicije t akko postoji usmereni luk iz t ka p.

U bilo kom trenutku, mesto sadrži nula ili više žetona (tokena), koji se obeležavaju kao crne tačke.

Petrijeve mrežeTranzicije mogu predstavljati Procesor, događaj, aktivnost,

Ulazna mesta mogu predstavljati: ulazni podatak, pre-uslov, potrebni resurs

Izlazna mesta mogu predstavljati: izlazni podatak, post-uslov, oslobođeni

resurs

Petrijeve mreže PM se mogu izvršavati!Izvršavanje bazirano na konceptu tokenaDistribucija tokena po mestima se naziva ispaljivanje (eng. fire)Markiranje PM predstavlja preslikavanje koje svakom mestu dodeljuje nenegativan broj koji predstavlja broj tokena u njemuMarkiranje predstavlja stanje sistema

Markiranje [1 1 0]

Petrijeve mrežePostojanje tokena u mestu označava dostupnost resursa ili ispunjenost uslova za tranziciju, dok nepostojanje predstavlja obrnuto.

Tranzicija t je omogućena i može se okinuti, ako sva ulazna mesta imaju bar po jedan token.

Kada se tranzicija ispali, token se uklanja iz svakog ulaznog mesta, a token se proizvodi u svakoj izlaznom mestu. Ispaljivanje je atomska operacija koja se ne može prekinuti.

Ako se ne definiše redosled ispaljivanja tranzicija (eng. execution policy), izvršavanje Petrijeve mreže je nedeterminističko, tj. ako postoji više tranzicija koje imaju uslov za ispaljivanje, bilo koja od njih se može ispaliti.

Petrijeve mreže Korak 1

Petrijeve mreže Korak 2

Petrijeve mreže Korak 3

Petrijeve mreže Korak 4

Petrijeve mreže Korak 5

Petrijeve mreže Korak 6

Petrijeve mreže - primer Dve bilijarske kugle se pomeraju po istoj liniji, paraleno ivici stolaInicijalno se pomeraju jedna prema drugoj istom brzinom.Sudar kugli je perfektno elastičan

Petrijeve mreže - primerPetri mreža koja predstavlja ovu situaciju je:

Inicijalno stanje je: [1 1 0 0]

Petrijeve mreže Kada se sudar kugli dogodi, kugle počinju da se udaljavaju jedna od druge

Petrijeve mreže - primerPetri mreža koja predstavlja ovu situaciju je:

Stanje nakon sudara je: [0 0 1 1]

Petrijeve mreže Kugla A udara u ivicu stola, menja pravac kretanja

Petrijeve mreže - primerPetri mreža koja predstavlja ovu situaciju je:

Stanje nakon sudara je: [1 0 0 1]

Dijagram promene stanja (DPS)

Sistem se posmatra kao konačni automat Ima konačni broj stanja Automat opisuje kako sistem menja svoja

stanja u zavisnosti od događajaPostoji više oblika DPS (eng. State transition diagrams) Moor-ov automat, Mealy-ev automat, UML DPS - Statecharts ili State Machines

UML DPS je zasnovan na Harelovim hijerarhijskim mašinama promene stanja Moguća hijerarhijska dekompozicija stanja

Dijagram promene stanjaPrimer: klima uređaj

Greje

Pasivan

Do: duvajHladno()

Hladi

Zagrevanjegrejača

Do: duvajToplo()

Duva toplo

Grejač Zagrejan / Uključi ventilator()

Hladno(t)Postignuta tempreratura

Isključen

Pretoplo(t)

Postignuta tempreratura

Hladno(t)

Dijagram promene stanja

DPS predstavlja graf koji se sastoji od stanja i tranzicijaStanje Sistem je uvek u nekom stanju U stanju se obavlja neka akcija ili

čeka neki događaj Specijalna stanja: početak i kraj

Dijagram promene stanja

Tranzicija Prevodi sistem iz jednog stanja u drugi Tranziciju okida događaj Tranzicija može imati uslov Događaj može imati argumente Prilikom trazicije se može izvršiti akcija

A B

Događaj / Akcija()[Uslov]

Dijagram promene stanja

Složeno stanje - Nadstanje Jedno stanje može imati podstanja Sistem se nalazu u samo jednom podstanju

Greje

Zagrevanjegrejača

Duva toplo

Dijagram promene stanja

Složeno stanje – Agregirano stanje Stanje je agregacija podstanja - stanje

sistema ima više komponenti Sistem je istovremeno u svakom od

podstanja Greje

Grejač uključen

Grejačisključen

Ventilator uključen

Ventilator isključen

Pretoplo(t)Hladno(t) Hladno(t)Pretoplo(t)