Business process modelling Flashcards
Business process management cos’è
Metodologia di esaminare i processi di business di un’organizzazione esistente e renderli più efficaci ed efficienti
business process cos’è
é un set di business activity, step per raggiungere un obbiettivo di business
Business process model cos’è
consiste in un set di modelli di attività e constraint esecutivi per queste ultime
Business process instance cos’è
rappresenta un caso concreto di attività in corso, é un business process model che viene instanziato e runnato
Work flow nets cosa sono
Estensione delle petri net
Come possiamo mappare elementi di petri net per avere work flow
Partendo dalla petri net possiamo rappresentare workflow net
Transizioni diventano attività
Places diventano condizioni
Token rappresentano process istances
Proprietà di petri net per avere work flow net
Unica source senza incoming edge
Unico arrivo senza outgoing edge
Tutte le attività si trovano tra inizio e fine
Un workflow si definisce sound quando
Ogni net execution starts from initial state , con un solo token nella source ed eventualmente finisce nel final state, in solo token senza altri token in giro
Ogni transizione occorre almeno una volta nel percorso
Una petri net é composta da
Places
Transizioni
Archi diretti che connettono places e transizioni
Dinamiche di sistema rappresentate dai token che si spostano tra gli input places
Sapendo che una rete è sound cosa possiamo dire
Una rete not sound é uno warning di possibili problemi a runtime
Una rete sound non ci da sicurezza che esecuzioni termineranno sempre
Un workflow é sound quando (TEOREMA)
se esiste una rete che aggiungendo una transizione dal finale o verso source, abbiamo una rete live e bounded
Liveness cos’è
una net si dice live se per ogni stato ed ogni transizione c’é uno stato raggiungibile dopo quella transizione
Boundness cos’è
una net si bounded se per ogni stato il numero di token é 1 al più
Come si chiama programma per simulare petri net?
Woped, workflow petri designer, permette di disegnare e simulare reti di petri
Complessità nei microservizi da cosa deriva?
Dall’interazione tra questi
