Skip to content

La modellizzazione di sistemi tolleranti ai guasti con Gspn e Uml e sua applicazione nel progetto Tiran

Gratis La preview di questa tesi è scaricabile gratuitamente in formato PDF.
Per scaricare il file PDF è necessario essere iscritto a Tesionline. L'iscrizione non comporta alcun costo: effettua il Login o Registrati.

Anteprima della tesi: La modellizzazione di sistemi tolleranti ai guasti con Gspn e Uml e sua applicazione nel progetto Tiran, Pagina 14
14 
•  il passaggio di un determinato intervallo di tempo dopo un evento designato, o 
l’occorrenza di un determinato istante  è detto time event. 
Nel nostro esempio si può uscire dallo stato di Checking solo se è stato verificato che tutti 
gli oggetti richiesti sono disponibili ([All items checked && all items available]), in 
questo caso si passerà nello  stato Dispatching. Se invece si sono controllati tutti gli 
oggetti ed è stato verificato che alcuni non sono disponibili allora si passerà nello stato 
Waiting. In fine se non tutti gli oggetti sono stati controllati si passa all’oggetto 
successivo attraverso l’action /get next item e si rientra nello stato di Checking. 
Lo stato Waiting è uno stato in cui si attende che tutti gli oggetti mancanti arrivino, tale 
stato non ha un’activity, questo significa che l’ordine semplicemente attende che si 
realizzi l’evento che un oggetto richiesto sia disponibile. Ogni volta che si rende 
disponibile un oggetto vengono valutate le due guards che permettono l’uscita da tale 
stato, se tutti gli oggetti richiesti sono disponibili allora si passa nello stato Dispatching, 
se invece ne manca ancora qualcuno si ritorna in Waiting. 
Una volta entrati nello stato di Dispatching inizia l’attività do/initiate delivery. Per uscire 
da questo stato c’è una sola transizione etichettata dall’evento delivered (che si suppone 
essere definito altrove), questo significa che la transizione dell’ordine dallo stato di 
Dispatching allo stato di Delivered potrà occorrere solo se si realizza l’evento delivered e 
non per il completamento dell’attività initiate delivery. 
Supponiamo ora di voler descrivere la possibilità che un ordine sia cancellato trovandosi 
in uno stato qualsiasi, potrebbe accadere ad esempio che venga ordinato un oggetto che 
non può rendersi disponibile e quindi l’ordine permarrebbe nello stato Waiting 
all’infinito, o più semplicemente chi ha fatto l’ordine non può pagare e quindi non si 
vuole consegnare la merce, ecc… 
 Per risolvere il problema o si aggiunge un nuovo stato che chiamiamo Cancelled 
raggiungibile da tutti gli altri attraverso transizioni etichettate dall’evento cancelled, 
oppure si può costruire un Superstate come indicato in figura 1.6. Gli stati che sono 
inclusi in un superstate  ereditano qualunque transizione del superstate.  
Vi sono poi due eventi  che non compaiono nel nostro esempio ma sono di una certa 
importanza e precisamente entry ed exit. Qualunque azione che sia etichettata con entry 
viene eseguita qualunque sia lo stato in cui si entra attraverso la corrispondente 
transizione.  L’azione associata all’evento exit viene eseguita qualunque sia la transizione 
che permette di cambiare stato. 

Preview dalla tesi:

La modellizzazione di sistemi tolleranti ai guasti con Gspn e Uml e sua applicazione nel progetto Tiran

CONSULTA INTEGRALMENTE QUESTA TESI

La consultazione è esclusivamente in formato digitale .PDF

Acquista

Informazioni tesi

  Autore: Carlo Martini
  Tipo: Tesi di Laurea
  Anno: 1999-00
  Università: Università degli Studi di Torino
  Facoltà: Scienze Matematiche, Fisiche e Naturali
  Corso: Matematica
  Relatore: Susanna Donatelli
  Lingua: Italiano
  Num. pagine: 135

FAQ

Per consultare la tesi è necessario essere registrati e acquistare la consultazione integrale del file, al costo di 29,89€.
Il pagamento può essere effettuato tramite carta di credito/carta prepagata, PayPal, bonifico bancario, bollettino postale.
Confermato il pagamento si potrà consultare i file esclusivamente in formato .PDF accedendo alla propria Home Personale. Si potrà quindi procedere a salvare o stampare il file.
Maggiori informazioni
Ingiustamente snobbata durante le ricerche bibliografiche, una tesi di laurea si rivela decisamente utile:
  • perché affronta un singolo argomento in modo sintetico e specifico come altri testi non fanno;
  • perché è un lavoro originale che si basa su una ricerca bibliografica accurata;
  • perché, a differenza di altri materiali che puoi reperire online, una tesi di laurea è stata verificata da un docente universitario e dalla commissione in sede d'esame. La nostra redazione inoltre controlla prima della pubblicazione la completezza dei materiali e, dal 2009, anche l'originalità della tesi attraverso il software antiplagio Compilatio.net.
  • L'utilizzo della consultazione integrale della tesi da parte dell'Utente che ne acquista il diritto è da considerarsi esclusivamente privato.
  • Nel caso in cui l'Utente volesse pubblicare o citare una tesi presente nel database del sito www.tesionline.it deve ottenere autorizzazione scritta dall'Autore della tesi stessa, il quale è unico detentore dei diritti.
  • L'Utente è l'unico ed esclusivo responsabile del materiale di cui acquista il diritto alla consultazione. Si impegna a non divulgare a mezzo stampa, editoria in genere, televisione, radio, Internet e/o qualsiasi altro mezzo divulgativo esistente o che venisse inventato, il contenuto della tesi che consulta o stralci della medesima. Verrà perseguito legalmente nel caso di riproduzione totale e/o parziale su qualsiasi mezzo e/o su qualsiasi supporto, nel caso di divulgazione nonché nel caso di ricavo economico derivante dallo sfruttamento del diritto acquisito.
  • L'Utente è a conoscenza che l'importo da lui pagato per la consultazione integrale della tesi prescelta è ripartito, a partire dalla seconda consultazione assoluta nell'anno in corso, al 50% tra l'Autore/i della tesi e Tesionline Srl, la società titolare del sito www.tesionline.it.
L'obiettivo di Tesionline è quello di rendere accessibile a una platea il più possibile vasta il patrimonio di cultura e conoscenza contenuto nelle tesi.
Per raggiungerlo, è fondamentale superare la barriera rappresentata dalla lingua. Ecco perché cerchiamo persone disponibili ad effettuare la traduzione delle tesi pubblicate nel nostro sito.

Scopri come funziona »

DUBBI? Contattaci

Contatta la redazione a
[email protected]

Ci trovi su Skype (redazione_tesi)
dalle 9:00 alle 13:00

Oppure vieni a trovarci su

Parole chiave

affidabilità
diagrammi di stato
reti di petri
sistemi a stati discreti
uml
fault tolerance

Non hai trovato quello che cercavi?


Abbiamo più di 45.000 Tesi di Laurea: cerca nel nostro database

Oppure consulta la sezione dedicata ad appunti universitari selezionati e pubblicati dalla nostra redazione

Ottimizza la tua ricerca:

  • individua con precisione le parole chiave specifiche della tua ricerca
  • elimina i termini non significativi (aggettivi, articoli, avverbi...)
  • se non hai risultati amplia la ricerca con termini via via più generici (ad esempio da "anziano oncologico" a "paziente oncologico")
  • utilizza la ricerca avanzata
  • utilizza gli operatori booleani (and, or, "")

Idee per la tesi?

Scopri le migliori tesi scelte da noi sugli argomenti recenti


Come si scrive una tesi di laurea?


A quale cattedra chiedere la tesi? Quale sarà il docente più disponibile? Quale l'argomento più interessante per me? ...e quale quello più interessante per il mondo del lavoro?

Scarica gratuitamente la nostra guida "Come si scrive una tesi di laurea" e iscriviti alla newsletter per ricevere consigli e materiale utile.


La tesi l'ho già scritta,
ora cosa ne faccio?


La tua tesi ti ha aiutato ad ottenere quel sudato titolo di studio, ma può darti molto di più: ti differenzia dai tuoi colleghi universitari, mostra i tuoi interessi ed è un lavoro di ricerca unico, che può essere utile anche ad altri.

Il nostro consiglio è di non sprecare tutto questo lavoro:

È ora di pubblicare la tesi