ETD

Archivio digitale delle tesi discusse presso l'Università di Pisa

Tesi etd-09032016-114950


Tipo di tesi
Tesi di laurea magistrale
Autore
BOSCIA, FRANCESCO
Indirizzo email
francesco.boscia@gmail.com
URN
etd-09032016-114950
Titolo
Analisi round-trip di processi BPMN
Dipartimento
INFORMATICA
Corso di studi
INFORMATICA PER L'ECONOMIA E PER L'AZIENDA (BUSINESS INFORMATICS)
Relatori
relatore Prof. Bruni, Roberto
relatore Dott. Spagnolo, Giorgio Oronzo
Parole chiave
  • Petri
  • reti
  • BPMN
  • analisi
Data inizio appello
07/10/2016
Consultabilità
Completa
Riassunto
la tesi affronta il problema della verifica di processi BPMN concentrandosi su tecniche di analisi che consentono di riportare i risultati ottenuti dal modello formale (rete di Petri) alla notazione grafica BPMN. Lo studio ha portato allo sviluppo di un plug-in di ProM che svolge l'analisi in modo automatico
File