GATEWAY AND OR

139

 Nella validazione del diagrammi con le specifiche del BMPN se c’e’ un gateway parallelo ci deve esser un merge (attesa entrambi i flussi) o un OR in attesa di uno solo.

 Bizagi supporta il gateway parallelo.

Esempio con Accuprocess di un modello con gateway parallelo e un or Osserviamo come in uscita si formano alla fine in doppio dei token in ingresso Il tool non permette l’uso dei gateway event based

Fig . : 89 Simulazione AND e OR su Accuprocess

Su Bizagi ci appare un messaggio di errore ( il simulatore non supporta diagrammi complessi)

140

Fig. : 90 Validazione diagramma BMPN su Bizagi

Bizagi anche se permette la validazione del Diagramma BPMN e permette la modellazione di diagrammi complessi( gateway event based, start event multipli..) il motore di

simulazione, (Simulation Engine) come riportato sul blog ufficiale del tool non supporta la simulazione di digrammi complessi.

http://feedback.bizagi.com/en/responses/model-generated-with-bizagi-is-not-bpmn-20- compliant-cant-run-simulation */

141 In questo diagramma vediamo come con un solo gateway parallelo porta in uscita al

doppio dei token in ingresso(Bizagi).

Fig. :92 Parallelismo con due And su Accuprocess

Esempio Accuprocess con due gateway notiamo che il numero token in uscita uguale all’ingresso.

Fig. : 93 parallelismo con un And su Accuprocess

Stesso diagramma con un solo gateway notiamo il doppio dei token in uscita! Bizagi con due gateway: numero token uscita e ingresso uguali

142

Fig.:94 Simulazione Parallelismo su Bizagi con due And

Bizagi con due gateway: numero token uscita e ingresso uguali

143 Per verificare l’effettivo funzionamento è stato preparato un caso di test che comprendeva l’uso di suddetti gateway.

Diagramma di test case è uguale a quello simulato su Bizagi (sopra) riportato su Logizian:

Fig.:96 Simulazione su Logizian

Gateway parallelo con Logizian è non implementabile.

Su Logizian è stato verificato che non gestisce casi di simulazione con gateway and e or complessi.

144 Come possiamo vedere dal seguente screenshot, Logizian non esegue la simulazione, anche se dal punto di vista del modeler è possibile disegnare gateway AND, quando si prova a creare uno scenario questi gateway vengono trattati come XOR, cioè permettendo un solo percorso ai token forzatamente selezionato prima della simulazione.

Testcase di gateway AND E OR su IYOPRO

Per testare il tool Iyopro ho utilizzato il TESTCASE, ridisegnato per questo tool:

145 Iyopro non permette di specificare direttamente il numero di token, ma il tempo di

interarrivo delle nuove istanze di processo.

Avendo scelto la durata di simulazione di 24 ore, (non modificabile perche e stata utilizzata una versione Free (Licenza Demo), abbiamo generato una simulazione con queste

caratteristiche :

 Istanze di processo: 200

 Tempo di interrarrivo: 0,5 ore (Le istanze di processo vengono generate ogni mezz’ora)

 Durata singoli task: 2 ore Di seguito i risultati:

Fig. :98 Parallelismo su Accuprocess

In rosso viene evidenziato i token in uscita al task 1 che verranno splittati dal gateway

AND su il Task2 ed il Task 3(vedere figura).

Questi due task avranno, nel periodo di tempo preso in esame, lo stesso numero di

istanze.

Queste poi verranno fuse insieme a quelle provenienti dal gateway successivo al task 0 e inviate al task 4.

In conclusione IYOPRO gestisce entrambi i gateway AND e OR.

SIGNAVIO

146 Non e stato possibile inserire il gateway OR in quanto il tool non lo prevede( si possono inserire solo gateway paralleli e XOR). Abbiamo quindi completato il disegno con un gateway parallelo come in figura:

Fig. : Alert su Signiavio

Questo ha comportato in fase di modellazione un alert (in figura). Dalla documentazione fornita da Siganvio, cio e dovuto al fatto che non rientra nelle BEST PRACTICE disponibili da Signavio mettere in serie un gateway AND ed uno XOR.

Quindi per poter simulare il gateway parallelo,obbiettivo di questo test case, abbiamo eliminato il gate XOR e modificato il disegno come in figura, dato che anche per disegnare

gli AND, Signavio impone la regola che se abbiamo un gateway AND (SPLIT) in ingresso a due rami deve essere seguito da un altro AND (MERGE) che fonde i token

splittati, a dimostrazione di cio riportiamo un disegno dove viene dimostrato un alert seguito dal messaggio di errore:

147

Fig.: 100 Diagramma con errore validazione BPMN

Ecco di seguito il diagramma finale:

Fig. :101 Diagramma per test su BIMP BIMP online simulator

Per eseguire il test su Bimp, il test case é stato esportato tramite Logizian in un file xml. Abbiamo settato i parametri di simulazione:

 Tempo Inter Arrivo Token: COSTANTE 1 X ORA

148

 Probabilita di branching sul primo XOR: 50% su entrambi i rami

 Durata settimana: 5 giorni

 Durata giornata lavorativa: 8 ore

Abbiamo eseguito una media dei risultati avuti da molteplici simulazioni con in ingresso solo due token in modo tale da capire bene quali risultati si avevano per il ramo

superiore dello XOR e quale per il ramo inferiore:

Il tempo minimo si riferisce al ramo superiore dove sono presenti solo Task0 e poi Task4, per una durata totale di 2 ore.

Il tempo massimo invece si riferisce al ramo inferiore dove sono presenti Task1, Task2 e Task3 (eseguiti in parallelo), e Task4, per un totale di 3 ore.

Poi sono state effettuate diverse prove con 100 token e ne e stata fatta la media di cui abbiamo:

Che risultano essere dati congruenti con i parametri di simulazione e la presenza dei gateway And e OR.